強(qiáng)類型和弱類型指的是兩個(gè)具有直接或者間接繼承關(guān)系的兩個(gè)類。如果一個(gè)類是另一個(gè)類的直接或者間接基類，那么它為弱類型，直接或者間接子類為強(qiáng)類型。后續(xù)的介紹中會(huì)用到的兩個(gè)類Foo和Bar先定義在這里。Bar繼承自Foo。Foo是弱類型，而Bar則是強(qiáng)類型。

　　有了強(qiáng)類型和弱類型的概念，我們就可以這樣的定義協(xié)變和逆變：如果類型TBar是基于強(qiáng)類型Bar的類型，而類型TFoo是基于弱類型Foo的類型，協(xié)變就是將TBar類型的實(shí)例賦值給TFoo類型的變量，而逆變則是將TFoo類型的實(shí)例賦值給TBar類型的變量。

　　委托中的協(xié)變與逆變的使用

　　協(xié)變和逆變主要體現(xiàn)在兩個(gè)地方：接口和委托，先來(lái)看看在委托中如何使用協(xié)變和逆變。現(xiàn)在我們定義了如下一個(gè)表示無(wú)參函數(shù)的泛型委托Function，類型參數(shù)為函數(shù)返回值的類型。泛型參數(shù)之前添加了一個(gè)out關(guān)鍵字表示T是一個(gè)協(xié)變變體。那么在使用過(guò)程中，基于強(qiáng)類型的委托Fucntion實(shí)例就可以賦值給基于弱類型的委托Fucntion變量。

 

---