所谓泛型,即通过参数化类型来实现在同一份代码上操作多种数据类型。泛型编程是一种编程范式,它利用“参数化类型”将类型抽象化,从而实现更为灵活的复用。 在定义泛型类时,可以对客户端代码能够在实例化类时用于类型参数的类型种类施加限制。如果客户端代码尝试使用某个约束所不允许的类型来实例化类,则会产生编译时错误。这些限制称为约束。约束是使用 where 上下文关键字指定的。 下表列出了五种类型的约束:
--------------------------------------- 一.派生约束 1.常见的 public class MyClass5<T> where T :IComparable { } 2.约束放在类的实际派生之后 public class B { } public class MyClass6<T> : B where T : IComparable { } 3.可以继承一个基类和多个接口,且基类在接口前面 public class B { } public class MyClass7<T> where T : B, IComparable, ICloneable { } 二.构造函数约束 1.常见的 public class MyClass8<T> where T : new() { } 2.可以将构造函数约束和派生约束组合起来,前提是构造函数约束出现在约束列表的最后 public class MyClass8<T> where T : IComparable, new() { } 三.值约束 1.常见的 public class MyClass9<T> where T : struct { } 2.与接口约束同时使用,在最前面(不能与基类约束,构造函数约束一起使用) public class MyClass11<T> where T : struct, IComparable { } 四.引用约束 1.常见的 public class MyClass10<T> where T : class { } 五.多个泛型参数 public class MyClass12<T, U> where T : IComparable where U : class { } 六.继承和泛型 public class B<T>{ } 1. 在从泛型基类派生时,可以提供类型实参,而不是基类泛型参数 public class SubClass11 : B<int> 2.如果子类是泛型,而非具体的类型实参,则可以使用子类泛型参数作为泛型基类的指定类型 public class SubClass12<R> : B<R> 3.在子类重复基类的约束(在使用子类泛型参数时,必须在子类级别重复在基类级别规定的任何约束) 4.构造函数约束 七.泛型方法(C#2.0泛型机制支持在"方法声名上包含类型参数",这就是泛型方法) 1.泛型方法既可以包含在泛型类型中,又可以包含在非泛型类型中 public class MyClass5 public void MyMethod<T>(T t){ } 2.泛型方法的声明与调用 public class MyClass5 3.泛型方法的重载
//第一组重载
//第二组重载 public class MyClass8<T,U> 以下重载是错误的: //第一组重载 //第二组重载,假设有两个泛型参数
4.泛型方法的覆写 (1)public class MyBaseClass1 (2)public class MyBaseClass2 八.虚拟方法 public class BaseClass4<T> public class SubClass5<T> : BaseClass4<T> //使用泛型继承时,方法也是泛型 九.编译器只允许将泛型参数隐式强制转换到 Object 或约束指定的类型 class MyClass<T> where T : BaseClass, ISomeInterface 变通方法:使用临时的 Object 变量,将泛型参数强制转换到其他任何类型 class MyClass2<T> 十.编译器允许您将泛型参数显式强制转换到其他任何接口,但不能将其转换到类 class MyClass1<T>
十一.使用临时的 Object 变量,将泛型参数强制转换到其他任何类型 class MyClass2<T> 十二.使用is和as运算符 public class MyClass3<T> |
|
来自: scholes_goal > 《Cs》