详解C#泛型（一）

　　一、c#中的泛型引入了类型参数的概念，类似于c++中的模板，类型参数可以使类型或方法中的一个或多个类型的指定推迟到实例化或调用时，使用泛型可以更大程度的重用代码、保护类型安全性并提高性能；可以创建自定义的泛型类型（类、结构、接口、委托）和泛型方法；

　　1.在泛型类型的定义或泛型方法的声明中，类型参数是类型的占位符，这些占位符指代的类型需要在实例化泛型类型或调用泛型方法时进行指定；

　　※类型参数一般以t命名，如果是多个，使用t、u、v等，如果有指定约束，可以结合约束命名，例如需要继承自myclass的类型参数命名为tmyclass；任何命名都并不会给类型参数增加额外作用；

　　2.泛型是运行时起作用的一套机制，根据运行时类型参数被指定为值类型还是引用类型其使用方式有所不同：

　　※当类型参数被指定为值类型时，会在第一次指定该特定值类型的类型时创建该类型唯一的专用化泛型类型，泛型类型中的类型参数会被替换为相应的值类型；

　　※当类型参数被指定为引用类型时，会在第一次指定任意引用类型时创建一个通用化泛型类型，泛型类型中的类型参数会被替换为该引用类型，并在之后每次指定为引用类型时重用该泛型类型并修改其中类型参数的类型；造成这种差异的原因可能在于所有的引用大小相同；

　　二、这篇我们先了解下泛型类，泛型类的定义中可以将类型参数用作成员变量的类型或方法中参数列表、返回值的类型：

class myclass<t> //声明具有一个类型参数的泛型类，可以有多个类型参数，用,隔开：<t, u>
{
    public t myobj; //声明t类型的字段
    private type mygenericfield = typeof(t); //在泛型类内部可以获取类型参数的类型信息
    //do…
}
//声明泛型类的实例，指定类型参数为int类型
myclass<int> myobj = new myclass<int>();

　　1.在定义泛型类型时，可以对类型参数的种类添加限制，这些限制称为约束（constraint），使用约束可以增加类型参数所能进行操作和调用方法的数量；约束使用上下文关键字where指定，位于基类和接口之后，例如：

class myclass<t> : mybaseclass where t : mytype //指定基类约束，t需要是指定的类mytype或继承自类mytype，基类约束需要在所有约束之前，基类约束本身也可以是泛型类型，例如mytype<t>

　　※其它特殊的约束：

　　where t : imyinterface //指定接口约束，t需要是指定的接口imyinterface或实现接口imyinterface，可以同时指定多个接口约束，接口约束本身也可以是泛型类型，例如imyinterface<t>
　　where t : class //指定类型约束，t需要是类类型
　　where t : struct //指定类型约束，t需要是值类型，但不可以是可空类型
　　where t : new() //类型参数必须有公共的无参数构造函数，与其他约束一起使用时，new()约束必须最后指定；由于结构的定义中一定包含无参数构造函数，所以struct约束包含new()约束，二者不可同时使用，通常与class约束一起使用：class, new()
　　where t : struct where u : class //给多个类型参数指定约束
　　where u : t //类型参数作为约束，类型参数u继承自类型参数t

　　※可以对一个类型参数应用多个约束，多个约束使用,隔开：where t : mytype, imyinterface；

　　※没有约束的类型参数称为未绑定类型参数（unbounded type parameter），这些类型参数的变量在使用时不可以使用==和!=运算符，因为无法保证运行时指定的类型支持这些运算符；

　　※对于使用类型约束class的类型参数，应避免对其变量使用==和!=运算符，因为在泛型中这些运算符仅会根据引用来判断是否相等，即使类型对==和!=运算符进行了重载也不行；如果必须根据值进行判断，应给类型参数加入基类约束iequatable<t>或icomparable<t>并在类型中实现它们，比较时使用equals或compareto；

　　※从c#7.3开始，可以使用特殊类型system.delegate、system.multicastdelegate和system.enum作为基类约束中的基类，还可以使用非托管类型unmanaged作为类型约束中的类型；

　　2.非泛型类（即具体类，concrete class）只可以继承自具体类或封闭式构造类（即指定了所有类型参数的泛型类，closed constructed class），不可以继承自开放式构造类（即没有完全指定所有类型参数的泛型类，open constructed class）；泛型类可以继承自具体类和封闭式构造类，也可以继承自开放式构造类，继承自开放式构造类时，派生类的类型参数中必须包含基类中未指定类型的类型参数，同时，派生类中这些类型参数的约束必须为基类中对应类型参数约束的超集；可以总结为以下几种情况：

//对于基类为具体类或仅有一个类型参数的情况
class baseclass { }
class basegenericclass<t> { }
//定义一个泛型类，继承具体类baseclass
class myclass<t> : baseclass { }
//定义一个泛型类，继承自指封闭式构造类basegenericclass<int>
class myclass<t> : basegenericclass<int> { }
//定义一个泛型类，继承自开放式构造类basegenericclass<t> 
class myclass<t> : basegenericclass<t> { }
//定义一个非泛型类，继承自封闭式构造类basegenericclass<int>
class myclass : basegenericclass<int> { }
//对于基类有多个类型参数的情况
class multiplebasegenericclass<t, u> { }
//定义一个泛型类，继承自开放式构造类multiplebasegenericclass<t, int>
class myclass<t> : multiplebasegenericclass<t, int> { }
//定义一个泛型类，继承自开放式构造类multiplebasegenericclass<t, u>
class myclass<t, u> : multiplebasegenericclass<t, u> { }
//定义一个非泛型类，继承自封闭式构造类multiplebasegenericclass<int, string>
class myclass : multiplebasegenericclass<int, string> { }

　　※在继承中，派生类类型的对象可以通过隐式转换赋值给基类类型的变量，这同样适用于泛型类型的对象，例如泛型类list<t>继承自泛型接口ilist<t>，那么可以把list<int>类型的对象隐式转换为ilist<int>类型的变量：

ilist<int> ilist = new list<int>();

　　3.泛型类为不可变量，泛型类型相同但类型参数指定类型不同的泛型类型即是不同的类型，它们之间不能进行类型转换（即使类型参数指定的类型之间存在类型转换关系），例如不能把list<derivedclass>类型的对象赋值给一个list<baseclass>类型的变量；

　　4.泛型类最常见的用途是创建泛型集合类，在命名空间system.collections.generic中包含系统定义的各种泛型集合类，应尽可能的使用这些泛型集合来代替普通的集合；

 

---

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

作者：minotauros
出处：

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