泛型约束

泛型约束的概念

让泛型的类型有一定限制

值类型： where 泛型字母 : struct

引用类型： where 泛型字母 : class

存在无参公共构造函数： where 泛型字母 : new()

某个类本身或者其派生类： where 泛型字母 : 类名

某个接口的派生类型： where 泛型字母 : 接口名

另一个泛型类型本身或者其派生类型： where 泛型字母 : 另一个泛型字母

---

//值类型约束
class Test1<T> where T : struct
{public T value;public void TestFunc<K>(K k) where K : struct{}
}
//引用类型约束
class Test2<T> where T : class
{public T value;public void TestFunc<K>(K k) where K : class{}
}
//公共无参构造约束
//抽象函数不能使用
class Test3<T> where T : new()
{public T value;public void TestFunc<K>(K k) where K : new(){}
}
class TestClass
{}
Test3<TestClass> t3 = new Test3<TestClass>();
//类约束
//必须是Test1或者Test1的子类
class Test4<T> where T : Test1
{public T value;public void TestFunc<K>(K k) where K : Test1{}
}
//接口约束
interface IFly
{}
class Test5<T> where T : IFly
{public T value;public void TestFunc<K>(K k) where K : IFly{}
}
//另一个泛型约束
//T要不是U的本身类型，或者T是U的派生类型
class Test6<T,U> where T : U
{public T value;public void TestFunc<K,M>(K k) where K : M{}
}
//约束的组合使用
class Test6<T> where T : class,new()
{}
//多个泛型有约束
class Test6<T,U> where T : class,new() where K:struct
{}

---