Learning CLR via C#(2)

Tips:

• 選擇性參數和預設參數的配合：

static void Test(){    M(c: 5);}static void M(int a = 1, int b = 2, int c = 3){    //do sth}

這樣可以前兩個參數使用預設值。

• 從CLR的角度看，out和ref完全一致。C#編譯器將這兩個關鍵字區別對待，這個區別決定了由哪個方法負責初始化所引用的對象。
• 可以為索引器重新命名，預設為Item。可通過屬性System.Runtime.CompilerServices.IndexerNameAttribute重新命名。 
• 泛型方法，對於任何參考型別，都會使用相同的代碼。因為本質上都是操作一個指標。
• 逆變數參數只能出現在輸入位置，比如作為方法的參數。協變數參數只能出現在輸出位置，比如作為方法的傳回型別。

IEnumerable<object> objs = new List<string>();

這個運算式看起來非常自然，可惜的是Framework4.0之前這樣賦值是不可能的。

因為IEnumerable<out T>的泛型參數是一個協變數。仔細考慮下，objs的傳回值需要一個object類型，但是我們傳入的是一個能返回string類型的List，那麼無疑，這個傳入的值是有效，因為string類型是object的子類。

 

相反，看如下的運算式：

Action<string> b = new Action<object>(o => Console.WriteLine(o.GetType()));

這個就比較違反我們的思維定勢了，怎麼能把一個object類型隱式轉型賦值給一個string類型？

因為Action<in T>的泛型參數是一個逆變數。仔細想想，如果現在有一個委託只需要object類型的參數就可以工作，我們給它一個string當然沒問題。

 

總結一下就是，協變數可以由他的衍生類別更改為他的基類，逆變數可以由他的基類更改為衍生類別。

public delegate TResult Func<in T, out TResult>(T arg);

看這個委託的定義，我們可以這樣使用：

Func<string, Exception> fn2 = new Func<object, ArgumentException>((o) => null);

主要是看轉換過程。

第一個泛型參數是逆變數，因為他從object更改成了string，即從基類更改為衍生類別。第二個是協變數，因為它從ArgumentException更改成Exception，即從衍生類別更改為基類。

1. 型別參數可以指定零個或一個主要約束（參考型別、struct、class），零個或多個次要約束（介面、型別參數約束），零個或一個構造器約束（無參）。
2. 將一個泛型參數的變數轉型為另一個參數是非法的，除非將其轉型為與一個約束相容的類型。

private void Cast<T>(T generic){    int a = (int)generic;    string b = (string)generic;}

上述代碼會編譯失敗，若要編譯成功，可以先轉型為object

private void Cast<T>(T generic){    int a = (int)(object)generic;    string b = (string)(object)generic;}

1. default(T)告訴C#編譯器和CLR的JIT編譯器，如果T是一個參考型別，就將其設為null，如果是實值型別，就將temp的所有位設為0.
2. 無論泛型是否被約束，使用==或！=操作符將一個泛型型別變數與null進行比較都是合法的：

private void Cast<T>(T generic){    if (generic == null)    {        //do sth    }}