首页 > 代码库 > 协变性和逆变性
协变性和逆变性
1、协变性是指方法能返回从委托的返回类型派生的一个类型。
2、逆变性是指方法获取的参数可以是委托的参数类型的基类。
=================================分割线=================================
delegate Object MyCallback(FileStream s);
string SomeMethod(Stream s);
如上面的例子,SomeMethod 的返回类型(string)派生自委托的返回类型(Object);这种协变性是允许的。SomeMethod 的参数类型(Stream)是委托的参数类型(FileStream)的基类;这种逆变性是允许的。
=================================分割线=================================
注意:只有引用类型才支持协变性与逆变性,值类型或void不支持。所以不能把下面的方法绑定到MyCallBack委托:
int SomeOtherMethod(Stream s);
虽然 SomeOtherMethod 的返回类型(int)派生自MyCallback的返回类型(Object),但这种形式的协变性是不允许的,因为int是值类型。显然,值类型和void之所以不支持,是因为它们的存储结构是变化的,而引用类型的存储结构始终是一个指针。
协变性和逆变性
声明:以上内容来自用户投稿及互联网公开渠道收集整理发布,本网站不拥有所有权,未作人工编辑处理,也不承担相关法律责任,若内容有误或涉及侵权可进行投诉: 投诉/举报 工作人员会在5个工作日内联系你,一经查实,本站将立刻删除涉嫌侵权内容。