详解C#泛型（二）

　　一、自定义泛型方法（generic method），将类型参数用作参数列表或返回值的类型：

void myfunc<t>() //声明具有一个类型参数的泛型方法
{
    type generictype = typeof(t); //在泛型方法体内部获取类型参数的类型信息
    //do…
}
//调用泛型方法
myfunc<int>();

　　1.声明泛型方法时，可以在参数列表中使用这个类型参数：void myfunc<t>(t obj) { }；此时在调用该泛型方法时可以省略类型参数的指定由编译器推断其类型，例如：myfunc<int>(mynum)与myfunc(mynum)完全等效；

　　2.声明泛型方法时，可以在返回值类型中使用这个类型参数：t myfunc<t>() { return default(t); }；编译器的类型推断功能不适用于仅在返回值类型中使用类型参数的情况，此种情况在调用时必须显式指定类型参数；

　　3.声明泛型方法时，方法的参数列表和返回值可以指定相同或不相同的类型参数，如果不相同则一般参数列表的类型参数在前，返回值的类型参数在后：u myfunc<t, u>(t obj) { return default(u); }，此时依然不能使用编译器的类型推断功能；如果相同，则在调用时可以使用编译器的类型推断功能省略类型参数的显式指定；
类型参数数量的不同，可以构成重载方法：

void myfunc() { }
void myfunc<t>() { }
void myfunc<t, u>() { }

　　4.泛型方法中的类型参数也可以指定约束；

　　5.在泛型类中声明的方法，方法的参数列表和返回值可以使用泛型类的类型参数作为类型；泛型方法可出现在泛型或具体类型中，只有当方法有属于自己的类型参数时才是泛型方法，在泛型类中声明泛型方法时，二者类型参数的占位符不可以相同：

class myclass<t> //声明一个泛型类，类型参数占位符为t
{
    void myfunc(t obj) //声明一个非泛型方法，使用泛型类的类型参数t作为参数类型
    {
        //do…
    }
    //不能声明泛型方法void myfunc<t>，泛型方法的类型参数占位符不能与类的类型参数占位符相同
    void myfunc<u>(t obj1, u obj2) //声明一个泛型方法，类型参数占位符为u
    {
        //do…
    }
}
class myclass //定义一个具体类
{
    void myfunc<t>(t obj) //声明一个泛型方法
    {
        //do…
    }
}            

 　　二、自定义泛型接口（generic interface），将类型参数用作参数列表或返回值的类型：

interface imyinterface<t> //定义具有一个类型参数的泛型接口
{
    void myfunc(t obj); //声明参数为t的方法
}
//声明泛型类继承自泛型接口
public class myclass<t> : imyinterface<t>
{
    public void myfunc(t obj)
    {
        //do…
    }
}
//指定类型参数为string类型，创角泛型类的实例赋值给泛型接口的变量
imyinterface<string> imyinterface = new myclass<string>();

　　1.适用于泛型类的规则基本也适用于泛型接口；

　　三、自定义泛型委托（generic delegate），将类型参数用作参数列表或返回值的类型：

delegate void mydelegate<t>(t obj); //定义具有一个类型参数的泛型委托，参数列表中有一个参数
void mygenericfunc<t>(t obj) //声明一个泛型方法，参数列表中有一个参数
{
    //do…
}
void myfunc(string str)
{
    //do…
}
//声明泛型委托的实例，指定类型参数为string类型，此时可匹配的方法签名为void myfunc(string str)
mydelegate<string> mydelegate;
//赋值一个指定类型参数为string的泛型方法
mydelegate = mygenericfunc<string>;
//添加一个参数列表为string类型的具体方法
mydelegate += myfunc;

　　1.泛型委托同泛型类一样，需要在实例化时指定类型参数的类型；

　　2.泛型委托的实例同具体委托的实例一样，只需要方法的参数列表和返回值类型相同即可进行匹配，因此不管目标方法是指定了符合要求类型的泛型方法还是具体方法都可以进行匹配；　

　　四、反射中的泛型：

type mytype = typeof(myclass<>); //获取未指定任何类型参数的开放式构造类的类型信息，多个类型参数时添加,：typeof(myclass<,>)
mytype = mytype.makegenerictype(typeof(int)); //通过类型信息的实例方法makegenerictype()构建指定所有类型参数的封闭式构造类的类型信息，如未指定所有类型参数会抛出异常argumentexception
//也可以直接获取封闭式构造类的类型信息，当类型参数在一开始就确定时推荐使用此种方式
//mytype = typeof(myclass<int>); //多个类型参数时需要同时指定：typeof(myclass<int, string>)

　　1.通过反射只可以获取未指定任何类型参数的开放式构造类的类型信息和指定所有类型参数的封闭式构造类的类型信息，即无法获取myclass<int, >的类型信息；

 

---

如果您觉得阅读本文对您有帮助，请点一下“推荐”按钮，您的认可是我写作的最大动力！

作者：minotauros
出处：

本文版权归作者和博客园共有，欢迎转载，但未经作者同意必须保留此段声明，且在文章页面明显位置给出原文连接，否则保留追究法律责任的权利。