where(泛型类型约束)(C# 参考)

泛型定义中的 where 子句指定对用作泛型类型、方法、委托或本地函数中类型参数的参数类型的约束。 约束可指定接口、基类或要求泛型类型为引用、值或非托管类型。 约束声明类型参数必须具有的功能,并且约束必须位于任何声明的基类或实现的接口之后。

例如,可以声明一个泛型类 AGenericClass,以使类型参数 T 实现 IComparable<T> 接口:

public class AGenericClass<T> where T : IComparable<T> { }

注意

有关查询表达式中的 where 子句的详细信息,请参阅 where 子句

where 子句还可包括基类约束。 基类约束表明用作该泛型类型的类型参数的类型具有指定的类作为基类(或者是该基类)。 该基类约束一经使用,就必须出现在该类型参数的所有其他约束之前。 某些类型不允许作为基类约束:ObjectArrayValueType。 以下示例显示现可指定为基类的类型:

public class UsingEnum<T> where T : System.Enum { }

public class UsingDelegate<T> where T : System.Delegate { }

public class Multicaster<T> where T : System.MulticastDelegate { }

在可为 null 的上下文中,将强制执行基类类型的为 null 性。 如果基类不可为 null(例如 Base),则类型参数必须不可为 null。 如果基类可为 null(例如 Base?),则类型参数可以是可为 null 的引用类型,也可以是不可为 null 的引用类型。 当基类不可为 null 时,如果类型参数是可为 null 的引用类型,编译器将发出警告。

where 子句可指定类型为 classstructstruct 约束不再需要指定 System.ValueType 的基类约束。 System.ValueType 类型不能用作基类约束。 以下示例显示 classstruct 约束:

class MyClass<T, U>
    where T : class
    where U : struct
{ }

在可为 null 的上下文中,class 约束要求类型是不可为 null 的引用类型。 若要允许可为 null 的引用类型,请使用 class? 约束,该约束允许可为 null 和不可为 null 的引用类型。

where 子句可以包含 notnull 约束。 notnull 约束将类型参数限制为不可为 null 的类型。 该类型可以是值类型,也可以是不可为 null 的引用类型。 对于在 nullable enable中编译的代码,可以使用 约束。 与其他约束不同,如果类型参数违反 notnull 约束,编译器会生成警告而不是错误。 警告仅在 nullable enable 上下文中生成。

添加可为空引用类型可能会在泛型方法的 T? 含义中产生歧义。 如果 Tstruct,则 T?System.Nullable<T> 相同。 但是,如果 T 是引用类型,则 T? 表示 null 是有效值。 出现歧义的原因是,重写方法不能包含约束。 新 default 约束解决了这种歧义。 当基类或接口声明一个方法的两个重载(一个指定 struct 约束,另一个未应用 structclass 约束)时,需添加该约束:

public abstract class B
{
    public void M<T>(T? item) where T : struct { }
    public abstract void M<T>(T? item);

}

使用 default 约束来指定派生类在派生类中没有约束的情况下重写方法,或指定显式接口实现。 此做法仅对重写基方法的方法或显式接口实现有效:

public class D : B
{
    // Without the "default" constraint, the compiler tries to override the first method in B
    public override void M<T>(T? item) where T : default { }
}

重要

包含 notnull 约束的泛型声明可以在可为 null 的不明显上下文中使用,但编译器不会强制执行约束。

#nullable enable
    class NotNullContainer<T>
        where T : notnull
    {
    }
#nullable restore

where 子句还可包括 unmanaged 约束。 unmanaged 约束将类型参数限制为名为“非托管类型”的类型。 unmanaged 约束使得在 C# 中编写低级别的互操作代码变得更容易。 此约束支持跨所有非托管类型的可重用例程。 unmanaged 约束不能与 classstruct 约束结合使用。 unmanaged 约束强制该类型必须为 struct

class UnManagedWrapper<T>
    where T : unmanaged
{ }

where 子句也可包括构造函数约束 new()。 该约束使得能够使用 new 运算符创建类型参数的实例。 new() 约束可以让编译器知道:提供的任何类型参数都必须具有可访问的无参数构造函数。 例如:

public class MyGenericClass<T> where T : IComparable<T>, new()
{
    // The following line is not possible without new() constraint:
    T item = new T();
}

除非后跟 new() 反约束,否则 where 约束会出现在 allows ref struct 子句中的最后。 new() 约束不能与 structunmanaged 约束结合使用。 所有满足这些约束的类型必须具有可访问的无参数构造函数,这使得 new() 约束冗余。

此反约束声明 T 的类型参数可以是 ref struct 类型。 例如:

public class GenericRefStruct<T> where T : allows ref struct
{
    // Scoped is allowed because T might be a ref struct
    public void M(scoped T parm)
    {

    }
}

该泛型类型或方法必须遵循 T 的任何实例的引用安全规则,因为它可能是 ref structallows ref struct 子句不能与 classclass? 约束结合使用。 allows ref struct 反约束必须遵循该类型参数的所有约束。

对于多个类型参数,每个类型参数都使用一个 where 子句,例如:

public interface IMyInterface { }

namespace CodeExample
{
    class Dictionary<TKey, TVal>
        where TKey : IComparable<TKey>
        where TVal : IMyInterface
    {
        public void Add(TKey key, TVal val) { }
    }
}

还可将约束附加到泛型方法的类型参数,如以下示例所示:

public void MyMethod<T>(T t) where T : IMyInterface { }

请注意,对于委托和方法两者来说,描述类型参数约束的语法是一样的:

delegate T MyDelegate<T>() where T : new();

有关泛型委托的信息,请参阅泛型委托

有关约束的语法和用法的详细信息,请参阅类型参数的约束

C# 语言规范

有关详细信息,请参阅 C# 语言规范。 该语言规范是 C# 语法和用法的权威资料。

另请参阅