理解軟件測試開發技術.NET泛型中的協變與逆變

理解軟件測試開發技術.NET泛型中的協變與逆變 .NET泛型方法

關鍵字：.NET 協變 逆變

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

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

　　使用Out類型的一個例子就是IEnumerable(Of T)。如果某函數接受一個IEnumerable(Of Animal)類型參數，那么我們就可以給它傳一個IEnumerable(of Bird)。對于In類型，一個不太恰當的例子就是順序?？匆幌孪旅娴慕涌冢篒nterface 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類型?；蛟S這里應該針對IList創建一個基類，該類會將接受T與返回T的方法區分開來。

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

原文轉自：http://www.anti-gravitydesign.com