CLR读书笔记——委托
协变性和逆变性
协变性是指方法能返回从委托返回类型派生的一个类型。
逆变性是指获取的参数可以是委托参数类型的基类。
举个例子吧,看以下定义的委托,以及方法。
delegate Object MyCallBack(FileStream fs);
以下方法可以绑定该委托
String SomeMethod(Stream s);
在该方法中返回类型String是Object的派生子类,这种协变性是允许的。
方法参数Stream是委托参数FileStream的基类,这种逆变性也是允许的。
但是要注意的是:协变性与逆变性只能应用于引用类型,不能应用于值类型和void,所以,以下方法不能绑定到MyCallBack委托。
Int32 SomeOtherMethod(Stream s);
我们再来定义一个委托:
internal delegate void Feedback(Int32 value)
你一定很想了解内部编译器生成了什么吧?编译器会定义如下一个完整的类。
1 internal class FeedBack:System.MulticastDelegate 2 { 3 public FeedBack(Object object,InPtr method); 4 5 public virtual void Invoke(Int32 value); 6 7 public virtual IAsyncResult BeginInvoke(Int32 value,AsyncCallback callback,Object object); 8 9 public virtual EndInvoke(IAsyncResult result); 10 11 }
所有委托类型均派生自MulticastDelegate这个类型,后者又派生自Object。
由于所有委托类型均派生自MulticastDelegate,所以继承了MulticastDelegate的方法、字段和属性。
其中三个属性我们需要注意,非常重要。
_target: 这是一个Object类型的字段,当委托包装的是一个静态方法时,值为null,当委托包装一个实例方法时,这个字段引用的是回掉方法要操作的对象,换言之,这个字段 指出要传给实例方法的隐式参数this的值。通俗来说,就是当委托包装为一个实例的时候,这个字段保存的是实例方法的对象。
_methodPtr: 一个内部的整数值,CLR用它来标识要回调的方法
_invocationList: 该字段通常为Null,构造一个委托链时,它可以引用一个委托数组。