C#9.0:Init相關總結

背景

在以前的C#版本裡面,如果需要定義一個不可修改的的類型的做法一般是:聲明為readonly,並設置為隻包含get訪問器,不包含set訪問器。如下:

public class PersonInfo
 {
  /// <summary>
  /// 身份編號
  /// </summary>
  public string UserCode { get; }

  /// <summary>
  /// 姓名
  /// </summary>
  public string UserName { get; }

  /// <summary>
  /// 初始化賦值
  /// </summary>
  /// <param name="_userCode"></param>
  /// <param name="_userName"></param>
  public PersonInfo(string _userCode,string _userName)
  {
   UserCode = _userCode;
   UserName = _userName;
  }
 }

這種方式是可行的,也達到我們的目的,但是代碼量多,需要增加額外的構造方法來實現初始化賦值,並且如果字段越多,帶參構造函數也會越大,開發工作量也越大,更不好維護。

為瞭改變這種狀態,C#9.0提供瞭一種解決方案:在對象初始換的時候就配置為隻讀的方式。

特別對一口氣創建含有嵌套結構的樹狀對象來說更有用。下面是一個用戶信息初始化的案例:

PersonInfo pi = new PersonInfo() { UserCode="1234567890", UserName="Brand" }; 

從這個例子說明瞭,要進行對象初始化,我們必須先要在需要初始化的屬性中添加set訪問器,然後才能在對象初始化器中通過給屬性或者索引器賦值來實現。如下:

public class PersonInfo
 {
  /// <summary>
  /// 身份編號
  /// </summary>
  public string UserCode { get; set; }

  /// <summary>
  /// 姓名
  /// </summary>
  public string UserName { get; set; }
 }

所以對於初始化來說,屬性必須是可變的,set訪問器就必須存在。這就是問題所在,很多情況下為瞭避免屬性初始化之後再被改變,就需要不可變對象類型,因此setter訪問器在這裡明顯不適用。

基於這種有這種常見的需要和局限性,C#9.0引入瞭隻用來初始化的init設置訪問器。這時,上面的PersonInfo類就可以定義成下面的樣子:

public class PersonInfo
 {
  /// <summary>
  /// 身份編號
  /// </summary>
  public string? UserCode { get; init; }

  /// <summary>
  /// 姓名
  /// </summary>
  public string? UserName { get; init; }
 }

這邊通過采用init訪問器,代碼變得簡潔易懂瞭,滿足瞭上面的隻讀需求,而且更易編碼和維護。

定義和使用

init(隻初始化屬性或索引器訪問器):隻在對象構造階段進行初始化時可以用來賦值,算是set訪問器的變體,set訪問器的位置使用init來替換。init有著如下限制:

1、init訪問器隻能用在實例屬性或索引器中,靜態屬性或索引器中不可用。

2、屬性或索引器不能同時包含init和set兩個訪問器

3、如果基類的屬性有init,那麼屬性或索引器的所有相關重寫,都必須有init。接口也一樣。

什麼時候設置init訪問器

除過在局部方法和lambda表達式中,帶有init訪問器的屬性和索引器可以在下面幾種情況中可設置的。這幾個設置的時機都是在對象的構造階段。過瞭構造階段,後續賦值操作就不允許瞭。

1、在對象初始化器工作期間

2、在with表達式初始化器工作期間

3、在所處或者派生的類型的實例構造函數中,在this或者base使用上

4、在任意屬性init訪問器裡面,在this或者base使用上

5、在帶有命名參數的attribute使用中

在這些限制條件下,意味著我們上面定義的PersonInfo隻能在對象初始化的時候使用,第二次賦值就不被允許瞭。

即:一旦初始化完成之後,隻初始化屬性或索引就保護著對象的狀態免於改變。

 var person = new PersonInfo() { UserCode="12345678", UserName="Brand" };
 //提示錯誤:隻能在對象初始器或實例構造函數中分配 init-only
 person.UserName = "Brand1"; 

init屬性訪問器和隻讀字段

因為init訪問器隻能在初始化時被調用,所以在init屬性訪問器中可以改變封閉類的隻讀字段。

需要註意的是,從init訪問器中來給readonly字段賦值僅限於跟init訪問器處於同一類型中定義的字段,通過它是不能給父類中定義的readonly字段賦值的,關於這繼承有關的示例,我們會在2.4類型間的層級傳遞中看到。

public class PersonInfo
 {
  private readonly string userCode = "<unknown>";
  private readonly string userName = "<unknown>";

  public string UserCode
  {
   get => userCode;
   init => userCode = (value ?? throw new ArgumentNullException(nameof(UserCode)));
  }
  public string UserName
  {
   get => userName;
   init => userName = (value ?? throw new ArgumentNullException(nameof(UserName)));
  }
 }

類型層級間的傳遞

我們知道隻包含get訪問器的屬性或索引器隻能在所處類的自身構造函數中被初始化,但init訪問器可以進行設置的規則是可以跨類型層級傳遞的。

帶有init訪問器的成員隻要是可訪問的,對象實例並能在構造階段被知曉,那這個成員就是可設置的。

1、在對象初始化中使用,是允許的

public class PersonInfo
 {
  /// <summary>
  /// 身份編號
  /// </summary>
  public string UserCode { get; init; }

  /// <summary>
  /// 姓名
  /// </summary>
  public string UserName { get; init; }

  public PersonInfo()
  {
   UserCode = "1234567890";
   UserName = "Brand";
  }
 }

2、在派生類的實例構造函數中,也是允許的,如下面這兩個例子:

public class PersonInfoExt : PersonInfo
 {
  public PersonInfoExt()
  {
   UserCode = "1234567890_0";
   UserName = "Brand1";
  }
 }
var personext = new PersonInfoExt() { UserCode="1234567890_2", UserName="Brand2" };

從init訪問器能被調用這一方面來看,對象實例在開放的構造階段就可以被知曉。因此除過正常set可以做之外,init訪問器的下列行為也是被允許的。

1、通過this或者base調用其他可用的init訪問器

2、在同一類型中定義的readonly字段,是可以通過this給賦值的

init中是不能更改父類中的readonly字段的,隻能更改本類中readonly字段。示例代碼如下:

class PersonInfo1
 {
  protected readonly string UserCode_R;
  public String UserCode
  {
   get => UserCode_R;
   init => UserCode_R = value; // 正確:在同一類中定義的readonly屬性,可以直接通過this給賦值的
  }
  internal String UserName { get; init; }
 }

 class PersonInfo1Ext : PersonInfo1
 {
  protected readonly int NewField;
  internal int NewProp
  {
   get => NewField;
   init
   {
    NewField = 100; // 正確
    UserCode = "123456";  // 正確
    UserCode_R = "1234567";  // 出錯,試圖修改基類中的readonly字段UserCode_R
   }
  }

  public PersonInfo1Ext()
  {
   UserCode = "123456"; // 正確
   UserCode_R = "1234567"; // 出錯,試圖修改基類中的readonly字段UserCode_R
  }
 }

如果init被用於virtual修飾的屬性或者索引器,那麼所有的覆蓋重寫都必須被標記為init,是不能用set的。同樣地,我們不可能用init來覆蓋重寫一個set的。

public class PersonInfo
 {
  /// <summary>
  /// 身份編號
  /// </summary>
  public virtual string UserCode { get; init; }

  /// <summary>
  /// 姓名
  /// </summary>
  public virtual string UserName { get; set; }
 }

 public class PersonInfoExt1 : PersonInfo
 {
  public override string UserCode { get; init; }
  public override string UserName { get; set; }
 }

 public class PersonInfoExt2 : PersonInfo
 {
  // 錯誤: 基類的init屬性必須由init來重寫PersonInfo.UserCode
  public override int UserCode { get; set; }
  // 錯誤: 基類的init屬性必須由set來重寫PersonInfo.UserName
  public override string UserName { get; init; }
 }

init在接口接口中應用

一個接口中的默認實現,也是可以采用init進行初始化,下面就是一個應用模式示例。

interface IPersonInfo
 {
  string Usercode { get; init; }
  string UserName { get; init; }
 }

 class PersonInfo
 {
  void NewPersonInfo<T>() where T : IPersonInfo, new()
  {
   var person = new T()
   {
    Usercode = "1234567890",
    UserName = "Jerry"
   };
   person.Usercode = "111"; // 錯誤
  }
 }

init訪問器是允許在readonly struct中的屬性中使用的,init和readonly的目標都是一致的,就是隻讀。示例代碼如下:

readonly struct PersonInfo
 {
  /// <summary>
  /// 身份編號
  /// </summary>
  public string UserCode { get; init; }

  /// <summary>
  /// 姓名
  /// </summary>
  public string UserName { get; set; }
 }

但是要註意的是:

1、不管是readonly結構還是非readonly結構,不管是手工定義屬性還是自動生成屬性,init都是可以使用的。

2、init訪問器本身是不能標記為readonly的。但是所在屬性或索引器可以被標記為readonly

struct PersonInfo
 {
  /// <summary>
  /// 身份編號
  /// </summary>
  public readonly string UserCode { get; init; }

  /// <summary>
  /// 姓名
  /// </summary>
  public string UserName { get; readonly init; }
 }

以上就是C#9.0:Init相關總結的詳細內容,更多關於C#9.0:Init的資料請關註WalkonNet其它相關文章!

推薦閱讀: