先說兩個引子
1，類型的向上轉(zhuǎn)型和向下轉(zhuǎn)型
Animal類型 轉(zhuǎn)為 Dog 類型為向下轉(zhuǎn)型，反之。
2，泛型的轉(zhuǎn)型問題
List<Dog> 不能轉(zhuǎn)為 List<Animal>
為了解決上述問題，C#提供了逆變與協(xié)變的關(guān)鍵字，in和out。
干嘛用的?
用來聲明泛型是否允許向上或向下轉(zhuǎn)型。
和函數(shù)參數(shù)上的in和out關(guān)鍵字是否相同?
有些許聯(lián)系，但完全不一樣。
普通泛型上的應用在此略過，我們直接說泛型委托上的。
泛型委托的in與out
例如Func的定義的一種
public delegate TResult Func<in T, out TResult>(T arg)
在這里，請問in和out的含義是什么?
為什么要這樣寫? 不寫行不行?
我直接說我的理解:
in代表允許T類型向下轉(zhuǎn)型，out代表允許TResult類型向上轉(zhuǎn)型。
可以不寫，不寫之后不支持轉(zhuǎn)型。
例如我們列出三個繼承關(guān)系的class
Object, Animal, Dog
列出兩種泛型委托
delegate T FunA<out T>
delegate void FunB<in T>(T arg)
這是兩種簡單的in和out的情況。
我們可以分別進行嘗試
FunA<Animal> a1 = () => new Animal();
FunA<Dog> a2 = a1; //報錯
FunA<Object> a3 = a1;
作為一個老練的程序員，你應該能很容易看出來，第二句是有風險的。
如果該語句能執(zhí)行:
Dog d = a2(); 好像沒問題，但是實際上它得到的是父類Animal的實例。這將是會報錯的向下轉(zhuǎn)型。還好這種事編譯器不會讓其發(fā)生。
所以說，返回值的類型，是不可以向下轉(zhuǎn)的。
因為我這個函數(shù)牌子上承諾返回Animal, 你卻給我掛了個返回Dog的牌子，那怎么能行，我辦不到。
所以得出結(jié)論，返回值的類型不可以向下轉(zhuǎn)型(逆變，in)，只可以用out修飾，或者干脆不修飾。
那么in呢?
FunB<Animal> b1 = ani => ani.someMethod();
FunB<Dog> b2 = a1;
FunB<Object> b3 = a1;//報錯
我這個b1函數(shù)內(nèi)，要調(diào)用Animal類型的方法
如果給我套個Object的簽名，假設b3(new Object())成立。
那就是到Object實例里找Animal的方法。很明顯有出錯的可能。
所以得出結(jié)論，參數(shù)類型不可以向上轉(zhuǎn)型(協(xié)變，out)，只能用in來修飾，或者干脆修飾。
所以
網(wǎng)上有些文章寫，因為是參數(shù)所以用in，因為是返回值所以用out。是搞錯了因果關(guān)系。
因為參數(shù)不可以協(xié)變，所以不可以用out，只能用in或者不寫
因為返回值不可以逆變，所以不可以用in，只能用out或者不寫
至于in和out是命名上的巧合，還是微軟有意為之方便大家記憶，就無從得知了
但如果想不被復雜的概念搞混，稀里糊涂的記住。搞清其內(nèi)部真實原因是很有必要的。
