理解軟件測試開發技術.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.kjueaiud.com/
