代码改变世界

协变性和逆变性

2013-10-23 08:08  Yang-Onion  阅读(244)  评论(0编辑  收藏  举报

协变性:方法能够返回从委托的返回类型派生的一个类型。

逆变性:方法获取的参数可以是委托的参数的基类。

例如:

delegate Object MyCallBack(FileStream f);

String MyMethod(Stream s);

协变性,MyMethod的返回值String派生自委托MyCallBack返回类型Object.

逆变性,MyMethod的参数Stream是委托MyCallBack参数FileStream的基类.

注意:协变性和逆变性只能用于引用类型不能用于值类型的void。因为值类弄和void的存储结构是变化的,但引用类型始终是一个指针。

例如:

错误:Int32 MyOtherMethod(Stream s);

虽然,Int32也是委托MyCallBack返回类型Object的派生类型,但这种方式是错误的。

home page tracking
NutriSystem Diet