一.where 约束作用:
在定义泛型的时候,我们可以使用 where 限制参数的范围
在使用泛型的时候,你必须尊守 where 限制参数的范围,否则编译不会通过。
二.约束类型
-
类 约束
类型参数必须是引用类型;这一点也适用于任何类、接口、委托或数组类型、字符串public static T[] ToNull<T>(this T[] arr) where T:class { } T必须是 引用类型
-
结构体 约束
类型参数必须是值类型。可以指定除 Nullable 以外的任何值类型。public static T[] ToNull<T>(this T[] arr) where T:struct { } T必须是 值类型
-
newI() 约束
类型参数必须具有无参数的公共构造函数。当与其他约束一起使用时,new() 约束必须最后指定class EmployeeList<T> where T : Employee, IEmployee, System.IComparable<T>, new() { }
-
<基类名> 约束
类型参数必须是指定的基类或派生自指定的基类public class Employee{} public class GenericList<T> where T : Employee
-
<接口名称> 约束
类型参数必须是指定的接口或实现指定的接口。可以指定多个接口约束。约束接口也可以是泛型的interface IMyInterface { } class Dictionary<TKey, TVal> where TKey : IComparable, IEnumerable where TVal : IMyInterface { public void Add(TKey key, TVal val) { } }
-
U:T 约束
U和T都是泛型 泛型U必须为T提供的参数或派生自为 U 提供的参数 也就是说T和U的参数必须一样class List<T> { void Add<U>(List<U> items) where U : T {/*...*/} }
三.应用场景
- 可用于类:
public class MyGenericClass<T> where T : IComparable { }
- 可用于方法:
public bool MyMethod<T>(T t) where T : IMyInterface { }
- 可用于委托:
delegate T MyDelegate<T>() where T : new()