协变性和逆变性
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的派生类型,但这种方式是错误的。