協變與逆變

1.協變

2.逆變

在泛型之前，我們都知道可以將乙個派生類物件賦值給基類變數，這叫做賦值相容性。看下面這個例子

相容性示意圖如上。但是當我們新增泛型機制時：

class animal 
class dog:animal {}
delegate t factory();
class program
static void main()
}

在上面的main函式中，**嘗試吧delegate factory委託型別賦值給felegate factory委託型別的animalmaker變數，此時會出現乙個問題，編譯器提示不能隱式把右邊的型別轉換為左邊的型別。問題在於儘管dog是animal的派生類，但是委託factory沒有從委託factory派生，兩個委託是同級的，他們都是從的delegate型別派生，後者又派生自object型別。

那麼如何解決呢？

如果派生類只是用於輸出值，那麼這種結構化的委託有效性之間的常數關係叫做協變。為了讓編譯器知道這是我們的額期望，必須使用out關鍵字標記委託宣告中的型別引數。即將前面的委託宣告修改為：

delegate t factory();

有了協邊的理解，那麼對於逆變的理解就很容易理解了。對於逆變，只需要把關鍵字out改為in即可。

class animal 
class dog: animal {}
class program
static void main()
}

和之前的請款一樣，預設情況下不可以賦值兩種不相容的型別，但是，如果型別引數只用作委託方法中的輸入引數，就可以。因為即使呼叫**傳入了乙個程度更高的派生類的引用，委託中的方法也只期望乙個程度更低的派生類引用，當然也就仍然能就收並指導如何操作。因此main函式中的第二句能正常執行。

協變與逆變

逆變與協變

C 協變與逆變

協變和逆變

協變與逆變

逆變與協變

C 協變與逆變

協變和逆變

相關推薦