.NET泛型中的协变与逆变

2008-11-10 09:18:25.0     推荐:0    收藏:0    评论:0     来源:中国IT实验室
当前。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#上。
[第1页]   [第2页]   [下一页]
您可以针对本文进行:[评论]  [收藏]  [推荐]  
  • 共有0条评论  点击查看更多评论
  • 网友评论仅供网友表达个人看法,并不表明e800同意其观点或证实其描述
我想发表评论:
用户名密码
  • 匿名发表
    验证码: