C#基础：泛型委托

泛型委托是委托的一种特殊形式，感觉看上去比较怪异，其实在使用的时候跟委托差不多，不过泛型委托更具有类型通用性。

就拿C#里最常见的委托EventHandler打比方。在.NET 2.0以前，也就是泛型出现以前，普通的事件处理函数都由EventHandler定义，如下：

public delegate void EventHandler(object sender, EventArgs e);

EventHandler指代了这样一类函数，这些函数没有返回值，并且有两个参数，第一个参数是object类型，而第二个参数是EventArgs类型。

而.NET 2.0及其以后的版本，由于泛型的引入，所以一些内建（Built-in）的类、接口、委托都有了各自的泛型版本。EventHandler也不例外，它有了自己的泛型版本：EventHandler<T>，它的定义如下：

[Serializable]
public delegate void EventHandler<TEventArgs>(object sender, TEventArgs e) where TEventArgs: EventArgs;

您应该可以发现，第二个参数的类型由EventArgs变成了TEventArgs，而TEventArgs具体是什么，则由调用方决定。假设IntEventArgs和StringEventArgs都继承于System.EventArgs，那么：

• EventHandler<IntEventArgs>指代这样一类函数：这些函数没有返回值，有两个参数，第一个参数是object类型，第二个参数是IntEventArgs类型
• EventHandler<StringEventArgs>指代这样一类函数：这些函数没有返回值，有两个参数，第一个参数是object类型，第二个参数是StringEventArgs类型

其实EventHandler<IntEventArgs>和EventHandler<StringEventArgs>是两个完全不同的委托，它们所指代的函数都分别有着不同的签名形式。请参见下面的示例：

class IntEventArgs : System.EventArgs
{
    public int IntValue { get; set; }
    public IntEventArgs() { }
    public IntEventArgs(int value)
    { this.IntValue = value; }
}

class StringEventArgs : System.EventArgs
{
    public string StringValue { get; set; }
    public StringEventArgs() { }
    public StringEventArgs(string value)
    { this.StringValue = value; }
}

class Program
{
    static void PrintInt(object sender, IntEventArgs e)
    {
        Console.WriteLine(e.IntValue);
    }

    static void PrintString(object sender, StringEventArgs e)
    {
        Console.WriteLine(e.StringValue);
    }

    static void Main(string[] args)
    {
        EventHandler<IntEventArgs> ihandler =
            new EventHandler<IntEventArgs>(PrintInt);
        EventHandler<StringEventArgs> shandler =
            new EventHandler<StringEventArgs>(PrintString);

        ihandler(null, new IntEventArgs(100));
        shandler(null, new StringEventArgs("Hello World"));
    }
}

有关泛型的具体特性与其在面向对象思想中的应用，将在后续与泛型相关的文章中重点阐述。