c#4.0協變逆變的理解

協變 對應傳回型別。
逆變 對應參數類型。

第一點：不管是協變還是逆變，其實都是完全遵從類型相容的，只是將一個本來應該預設實現的東西，改為顯式的聲明。這個是從調用者角度出發的觀點，你可以把協變和逆變都認為是“理所當然”的。

第二點，在理解的時候，需要把參考的對象固定為函數相對函數的相容上。

 

把父類看作更大的類型。

 從小到大 是協調的。

從大到小 是反常的。

 舉例：

 大 funA（小）。

 小 funB（大）。

 funA 包容 funB。因為所有用到funA的場合都能替換成funB,反之不成立。

 

從函數相容的角度（funB -> funA)：

傳回型別是協調的。

參數類型是反常的。

 

從調用者角度，從來都是由小類型傳到大類型的。

四種調用場合：

大 a = funB()

funB(小)

大 a = funA()

funA(小)

 

只屬於funB的特定場合：

小 a = funB()

funB(大)