首页 > 代码库 > 协变性和逆变性

协变性和逆变性

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之所以不支持,是因为它们的存储结构是变化的,而引用类型的存储结构始终是一个指针

协变性和逆变性