泛型委托主要为我们解决定义委托的数量比较多,在.NET FreamWork 支持泛型之后,我们就可以用泛型的方式来定义委托,首先泛型的好处其中之一就是减少复杂性,提高可重用性(详细请参考.NET泛型解析(上)),下面我们通过实例来了解一下泛型委托的魅力.

实例 4 : 泛型委托之Action

//Action实例Action<string>action=newAction<string>(Person.GetPersonName);action.Invoke("Albin");Console.ReadLine();

在上述代码中,我们创建了一个泛型委托 action, 并且我们在创建的时候可以看到Action<> 它要求的是一个委托的参数类型,并且在创建实例的时候和我们实例1一样要求一个void (string)Target, 无返回值,有一个参数. 并且参数类型指定为了 in,说明它是可以逆变的(.NET可变性解析(协变和逆变));

.NET FreamWork为我们提供了17个Action委托,它们从无参数到最多16个参数,这个完全够我们用了(除非你的委托要传16以上的参数,那么只有自己定义了) , 其中注意一点 : Action给我们提供的是只有参数而不带返回值的委托,那么如果我们要传递带有返回值和参数的呢? 这时,.NET FreamWork也考虑到了这一点,它为我们提供了另外一个函数 Func,它和Action一样提供了17个参数另加一个返回值类型,当第一次使用它们的时候,感觉整天天空都是蓝蓝的...简直太帅了.

下面我们通过一个实例来了解一下Func函数

实例 5 : 泛型委托之Func

//Func实例Func<string,string>func=newFunc<string,string>(Person.GetName);varresult=func.Invoke("ThisisArg");Console.WriteLine(result);Console.ReadLine();classPerson{publicstaticstringGetName(stringname){returnname;}}

在上述的代码中,我们创建了一个Func的实例,要求func所要回调的方法有一个string类型的返回值,并且有一个string类型的参数,所以我们在Person类中定义了一个 GetName的方法,在func.Invoke(""),调用的时候,它所返回值的类型为GetName所返回的类型.最后输出结果为 :

泛型委托的好处:

在平时的开发过程中,我们应尽量使用泛型委托的方式来使用委托,避免使用自定义的委托

第一 : 可以减少我们委托的定义数量

第二 : 泛型是类型安全的

第三 :方便进行协变和逆变

第四 : 简化代码

C#语法糖 : 所谓语法糖是在C#代码中,简化代码量、是代码编写的更加优美,所以称之为语法糖.

匿名函数 : 在C#2.0中引入的匿名函数,所谓匿名函数就是没有实际方法声明的委托实例,它们是直接内嵌在代码中的

Lambda : 在C#3.0中引入的Lambda表达式,它比匿名方法更加的简洁

在这里不会过深的去描述Lambda和匿名这一块,因为过几天会编写关于 《.NET解析之Lambda和匿名的内部机制实现》 方面的文章.在这里我们只需要知道就可以了.

实例 6 : 通过Lambda , 匿名方法类简化委托的代码.

MyPersonDelegatepersonDelegate=p=>Console.WriteLine(p.ToString());personDelegate.Invoke("无返回值,有参数");MyDelegatemyDelegate=()=>Console.WriteLine("无参,无返回值");myDelegate();MyPersonDelegateStrdelegateStr=p=>{returnp;};Console.WriteLine(delegateStr.Invoke("有参数,有返回值"));Console.ReadLine();

实例 7: 通过闭包实现

varf=Func();Console.WriteLine(f());Console.ReadLine();publicstaticFunc<int>Func(){vari=10;return()=>{returni;};}

上述的代码我们可以反编译看一下 :

可以看出来return返回的是一个匿名委托,因为Func它是要求必须有一个返回值的,从中返回的一个匿名的委托对象,在匿名委托中,我加了一个Console.WriteLine(i); 在实例的中的代码中是没有的, 这一点主要是因为 能体现出一个方法体来,如果按照我们实例的写法反编译出来直接就是 return () => i; 闭包本身就不好理解, 这个可以专门拿出一个文章来讲解它.在这里就不深究了.

委托链/多播委托/合并删除委托源码解析

[__DynamicallyInvokable,TargetedPatchingOptOut("PerformancecriticaltoinlineacrossNGenp_w_picpathboundaries")]publicstaticDelegateCombine(Delegatea,Delegateb){if(a==null){returnb;}returna.CombineImpl(b);}

上述代码为 Combine的内部实现,我们可以看到a为null则引用了一个空的方法实例,直接返回另一个委托对象,通过CombineImpl来串联两个委托的调用列表

删除委托

///<summary>Removesthelastoccurrenceoftheinvocationlistofadelegatefromtheinvocationlistofanotherdelegate.</summary>///<returns>Anewdelegatewithaninvocationlistformedbytakingtheinvocationlistof<paramrefname="source"/>andremovingthelastoccurrenceoftheinvocationlistof<paramrefname="value"/>,iftheinvocationlistof<paramrefname="value"/>isfoundwithintheinvocationlistof<paramrefname="source"/>.Returns<paramrefname="source"/>if<paramrefname="value"/>isnulloriftheinvocationlistof<paramrefname="value"/>isnotfoundwithintheinvocationlistof<paramrefname="source"/>.Returnsanullreferenceiftheinvocationlistof<paramrefname="value"/>isequaltotheinvocationlistof<paramrefname="source"/>orif<paramrefname="source"/>isanullreference.</returns>///<paramname="source">Thedelegatefromwhichtoremovetheinvocationlistof<paramrefname="value"/>.</param>///<paramname="value">Thedelegatethatsuppliestheinvocationlisttoremovefromtheinvocationlistof<paramrefname="source"/>.</param>///<exceptioncref="T:System.MemberAccessException">Thecallerdoesnothaveaccesstothemethodrepresentedbythedelegate(forexample,ifthemethodisprivate).</exception>///<exceptioncref="T:System.ArgumentException">Thedelegatetypesdonotmatch.</exception>///<filterpriority>1</filterpriority>[__DynamicallyInvokable,SecuritySafeCritical]publicstaticDelegateRemove(Delegatesource,Delegatevalue){if(source==null){returnnull;}if(value==null){returnsource;}if(!Delegate.InternalEqualTypes(source,value)){thrownewArgumentException(Environment.GetResourceString("Arg_DlgtTypeMis"));}returnsource.RemoveImpl(value);}

上述代码为Remove的内部实现,从另一个委托的调用列表中移除委托的调用列表的最后一个匹配的项,通过RemoveImpl方法移除,RemoveImpl方法内部实现:

///<summary>Removestheinvocationlistofadelegatefromtheinvocationlistofanotherdelegate.</summary>///<returns>Anewdelegatewithaninvocationlistformedbytakingtheinvocationlistofthecurrentdelegateandremovingtheinvocationlistof<paramrefname="value"/>,iftheinvocationlistof<paramrefname="value"/>isfoundwithinthecurrentdelegate'sinvocationlist.Returnsthecurrentdelegateif<paramrefname="value"/>isnulloriftheinvocationlistof<paramrefname="value"/>isnotfoundwithinthecurrentdelegate'sinvocationlist.Returnsnulliftheinvocationlistof<paramrefname="value"/>isequaltothecurrentdelegate'sinvocationlist.</returns>///<paramname="d">Thedelegatethatsuppliestheinvocationlisttoremovefromtheinvocationlistofthecurrentdelegate.</param>///<exceptioncref="T:System.MemberAccessException">Thecallerdoesnothaveaccesstothemethodrepresentedbythedelegate(forexample,ifthemethodisprivate).</exception>protectedvirtualDelegateRemoveImpl(Delegated){if(!d.Equals(this)){returnthis;}returnnull;}

source.RemoveImpl(value); source将从中移除value的调用列表, value提供将从其中移除source的调用列表的调用列表.
一个新委托,其调用列表的构成方法为:获取source的调用列表,如果在source的调用列表中找到了value的调用列表,则从中移除value的最后一个调用列表.
如果value为null,或在source的调用列表中没有找到value的调用列表,则返回source.如果value的调用列表等于source的调用列表,或source为空引用,则返回空引用.
例如 : 在我们的实例3中如果将 var deleRemove = (MyPersonDelegate)Delegate.Remove(personIntanceDelegate,dele);将source的值改为dele,将value的值改为personIntanceDelegate,则会返回一个Null.
泛型委托源码解析
首先我们来看一下Action的委托:

在这里我们就拿出一些Action中有8个参数的来举例了,注释中标明 :Encapsulates a method that has eight parameters and does not return a value. 意思 : 封装另一个方法,具有八个参数并且不返回值的方法,在来看一下Action的定义,Action被定义为delegate类型void返回的方法,并且有1-18个指定为in的参数,我们说过了in可以进行逆变.

然后我们在来看Func

因为Func的参数也较多,我们这里只拿出带有8个参数的来举例了,从注释中我们知道 :Encapsulates a method that has eight parameters and returns a value of the type specified by the ,封装一个方法,具有八个参数并返回一个值所指定的方法,同时,返回值为out,可以进行协变.

因为这篇文章篇幅已经较长,对于异步委托在下篇文章中进行解析.委托和反射留在反射的文章中进行解析.另外希望本文能够帮助到你了解到更多或者更深.

如果你觉得本文对你有帮助的话,请点右下角的推荐,或者直接关注我,后续将不断更新.NET解析这一系列的文章....