當前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的任何子類傳給IWriterWrite但是它只接受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大多數人都認為這是一個不好的設計但是現在卻無法改變了
From:http://tw.wingwit.com/Article/program/net/201311/14605.html