.NET泛型中的協變與逆變

當前.NET語言如VB和C#還不支援泛型的協變(covariance)與逆變(contravariance)。儘管微軟中的很多人也在談論它，但是在不遠的將來這還是不太可能出現。對協變與逆變的完整介紹要花很長時間。基於此，請大家參考Eric Lippert的關於C#中的協變與逆變的系列文章。為了在VB中增加協變與逆變的泛型支援，Lucian Wischik提出了下面的語法。

　　型別引數可由關鍵字“In”和“Out”修飾。“In”型別只能作為方法引數。與此類似，“Out”型別只能作為方法的返回型別。

　　使用Out型別的一個例子就是IEnumerable(Of T)。如果某函式接受一個IEnumerable(Of Animal)型別引數，那麼我們就可以給它傳一個IEnumerable(of Bird)。對於In型別，一個不太恰當的例子就是順序。看一下下面的介面：

　　Interface IWriter(Of T) Write(value As T)

　　如果你向接受Writer(Of Animal)型別引數的函式傳一個IWriter(Of Bird)，當然就不對了。該方法可以將Animal的任何子類傳給IWriter.Write，但是它只接受Birds。

　　如果使用註解，該介面看起來像下面這樣：

　　Interface IEnumerable(Of Out T)Interface IWriter(Of In T)

　　這是針對VB編寫的，它也可以用在C#上。

　　interface IEnumerableinterface IWriter

　　不幸的是，這種語法並不能直接應用在大多數常見的場景中。比如IList(Of T)，當傳給一個向集合中寫入的方法時，T應該是In型別。但是當傳給一個從集合中讀取的方法時，T應該是Out型別。或許這裡應該針對IList建立一個基類，該類會將接受T與返回T的方法區分開來。

　　追溯過去，C#和VB都支援陣列協變(out/IEnumerable情況)，儘管在逆變的情況下這會導致執行時錯誤(in/IWriter情況)。這樣做的目的是使C#更相容於Java。大多數人都認為這是一個不好的設計，但是現在卻無法改變了。

來自 “ ITPUB部落格 ” ，連結：http://blog.itpub.net/12639172/viewspace-541454/，如需轉載，請註明出處，否則將追究法律責任。