定义:在定义泛型的时候,我们可以使用 where 限制参数的范围。
使用:在使用泛型的时候,你必须尊守 where 限制参数的范围,否则编译不会通过。
六种类型的约束:
T:类(类型参数必须是引用类型;这一点也适用于任何类、接口、委托或数组类型。)
class MyClass<T, U> where T : class///约束T参数必须为“引用 类型{ }” where U : struct///约束U参数必须为“值 类型” { }
T:结构(类型参数必须是值类型。可以指定除 Nullable 以外的任何值类型。)
class MyClass<T, U> where T : class///约束T参数必须为“引用 类型{ }” where U : struct///约束U参数必须为“值 类型” { }
T:new()(类型参数必须具有无参数的公共构造函数。当与其他约束一起使用时,new() 约束必须最后指定。)
class EmployeeList<T> where T : Employee, IEmployee, System.IComparable<T>, new() { // ... }
T:<基类名>(类型参数必须是指定的基类或派生自指定的基类。)
public class Employee{} public class GenericList<T> where T : Employee
T:<接口名称>(类型参数必须是指定的接口或实现指定的接口。可以指定多个接口约束。约束接口也可以是泛型的。)
/// <summary> /// 接口 /// </summary> interface IMyInterface { } /// <summary> /// 定义的一个字典类型 /// </summary> /// <typeparam name="TKey"></typeparam> /// <typeparam name="TVal"></typeparam> class Dictionary<TKey, TVal> where TKey : IComparable, IEnumerable where TVal : IMyInterface { public void Add(TKey key, TVal val) { } }
T:U(为 T 提供的类型参数必须是为 U 提供的参数或派生自为 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()