泛型支持的几种约束类型
约束 | 说明 |
where T:struct | 对于结构约束,类型T必须是值类型 |
where T:class | 类约束指定类型T必须是引用类型 |
where T:IFoo | 指定类型T必须实现接口IFoo |
where T:Foo | 指定类型T必须派生自基类Foo |
where T:new() | 指定类型T必须有一个默认构造函数;当使用多个约束时,这个约束必须放在最后 |
where T1:T2 | 这个约束也可以指定,类型T1派生自泛型类型T2 |
注意:只能为默认构造函数定义构造函数约束,不能为其他构造函数定义构造函数约束。
使用泛型类型还可以合并多个约束。where T:IFoo,new()约束和MyClass<T>声明指定,类型T必须实现IFoo接口,且必须有一个默认构造函数。
注意:在C#中,where子句的一个重要限制是,不能定义必须由泛型类型实现的运算符。运算符不能再接口中定义。在where子句中,指定定义基类、接口和默认构造函数。
例如:
public class BaseCalss { }
public interface IStudy { }
public class GenericCalss<T1, T2, T3,T4,T5>
where T1 : struct //T1必须是值类型
where T2 : class //T2必须是引用类型
where T4 : BaseCalss //T4必须继承基类型BaseCalss、
where T5:IStudy //T5必须是IStudy接口
where T3 : new() //T3这个类型中,必须有一个无参数的构造方法,这个约束必须放到最后
{
public T2 GetOneByIndex(T1 position)
{
// return this.ProductList[position]; //直接写是错误的
//var 推断类型
// var index = position; //因为我们不能特别明确的知道T1是什么类型,使用var的时候,后面的类型必须是明确的; var推断类型
//dynamic动态类型
dynamic index = position; //dynamic是在运行时解析对象类型,在编译阶段是不解析的。
return this.ProductList[index];
}
}