快速理解C#高级概念(一) Delegate委托

做.NET开发很久,最近重新温习《C#高级编程》一书。发现很多曾经似懂非懂的问题，其实也是能够慢慢钻研慢慢理解的。

所以，打算开写《C#高级编程系列》博文。其中会借鉴《C#高级编程》一书的概念，也会参照其他高手的博文，希望大家谅解。有不对的地方，欢迎指正。

（另：本博文不会讲解定义，语法方面的基础知识。）

下面如题，我们来讲委托。

Delegate委托，在.NET中应用的非常广泛。会涉及到Lambda表达式，事件，匿名方法等(请关注后续博文)。

那么何为委托？

通俗的来讲，委托除了必须指定delegate关键字和没有方法实体之外，和指定方法没有更多区别。你可以当它是一个占位符，比如你在写代码的时候并不知道你将要处理的是什么。你只需要知道你将要引入的参数类型和输出类型是什么并定义它即可。这就是书本上所传达的方法签名必须相同的意思。

 

下面我们来定义一个基本的委托：

    public class Test
    {
        //定义委托
        public delegate void D_Math(int a, int b);
        public void Add(int a, int b)
        {
            Console.WriteLine("Add方法结果：{0}", a + b);
        }
        public void Cut(int a, int b)
        {
            Console.WriteLine("Cut方法结果：{0}", a - b);
        }
    }
    [TestClass]
    public class UnitTest1
    {
        [TestMethod]
        public void TestMethod1()
        {
            Test t = new Test();
            Test.D_Math D = new Test.D_Math(t.Add);//委托实例化,也可Test.D_Math D =t.Add;
            D += t.Cut;//委托可以以队列方式执行多个方法,以+=运算符或者-=来增加或者取消队列中的方法
            D(5, 6);

        }
    }

以上看出来委托实用的地方了吗？即委托可以执行任何引入参数类型相同且返回类型相同的方法，甚至可以执行签名相同的方法队列。

那么我们的方法签名（即引入参数和输出参数）真的必须与委托完全一致吗？答：不是的，我们不能忽略协变与逆变。

我们这里简单介绍一下协变与逆变的知识。

“协变”是指能够使用与原始指定的派生类型相比，派生程度更大的类型。

“逆变”则是指能够使用派生程度更小的类型。

那么，我们的委托也是接受协变与逆变的。

意思是，如果定义一个delegate，那么不仅仅签名完全相同的方法可以赋值给delegate变量。

如果一个方法的参数表符合delegate声明，但返回的类型是（delegate声明返回类型）的派生类，那也可以将这个方法赋值给这个delegate变量。

如果一个方法的返回类型符合delegate的声明，但参数是（delegate声明参数类型）的祖先类，那也可以将这个方法赋值给这个delegate变量。

如果一个方法的参数和返回类型都符合上面两行的假设，那也可以将这个方法赋值给这个delegate变量。

以下以两个简单示例解释协变与逆变：

协变：

      public class A { }
    public class B:A { }//B继承自A
    public class Test
    {
        //定义委托
        public delegate A D_Math();
        public B Add()
        {
            return new B();
 
        }
        public A Add2() 
        {
            return new A();
        }
    }
    [TestClass]
    public class UnitTest1
    {
        [TestMethod]
        public void TestMethod1()
        {
            Test.D_Math d = new Test.D_Math(new Test().Add);//委托返回A,而Add方法返回B,此为协变。
        }
    }

逆变：

 public class A { }
    public class B:A { }//B继承自A
    public class Test
    {
        //定义委托
        public delegate void D_Math(B b);
        public void Add(B b)
        {
 
        }
        public void Add2(A a) 
        {
 
        }
    }
    [TestClass]
    public class UnitTest1
    {
        [TestMethod]
        public void TestMethod1()
        {
            Test.D_Math d = new Test.D_Math(new Test().Add2);//委托引入参数B,而Add方法参数为A类型,此为协逆变。
        }
    }