C# where泛型约束

创建时间：2020/5/20 17:55

where泛型类型约束

泛型定义中的 where 子句指定对用作 泛型类型、方法、委托或本地函数 中 类型参数 的 参数类型 的约束。 约束可指定接口、基类或要求泛型类型为引用、值或非托管类型。

约束类型：

接口约束

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

基类约束

表明用作该泛型类型的类型参数的类型具有指定的类作为基类（或者是该基类）。

基类约束一经使用，就必须出现在该类型参数的所有其他约束之前。 某些类型不允许作为基类约束：Object、Array 和 ValueType。 在 C# 7.3 之前，Enum、Delegate 和 MulticastDelegate 也不允许作为基类约束。 在 C# 8.0 及更高版本中的可为 null 上下文中，强制执行基类类型的为 null 性。 如果基类不可为 null（例如 Base），则类型参数必须不可为 null。 如果基类可为 null（例如 Base?），则类型参数可以是可为 null 或不可为 null 的引用类型。 当基类不可为 null 时，如果类型参数是可为 null 的引用类型，编译器将发出警告。

public class UsingEnum<T> where T : System.Enum { }
public class UsingDelegate<T> where T : System.Delegate { }
public class Multicaster<T> where T : System.MulticastDelegate { }

class和struct约束

class 约束要求类型是不可为 null 的引用类型。 若要允许可为 null 的引用类型，请使用 class? 约束，该约束允许可为 null 和不可为 null 的引用类型。

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

notnull 约束

将类型参数限制为不可为 null 的类型。 该类型可以是值类型，也可以是不可为 null 的引用类型

与其他约束不同，如果类型参数违反 notnull 约束，编译器会生成警告而不是错误。 警告仅在 nullable enable 上下文中生成。 重要 ：包含 notnull 约束的泛型声明可以在可为 null 的不明显上下文中使用，但编译器不会强制执行约束。

string str1 = "test";
string str2 = "test";

unmanaged 约束

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

string str1 = "test";
string str2 = "test";

构造函数约束new()

让编译器知道：提供的任何类型参数都必须具有可访问的无参数构造函数。

string str1 = "test";
string str2 = "test";

出现在 where 子句的最后。 new() 约束不能与 struct 或 unmanaged 约束结合使用。

where子句

用在查询表达式中，用于指定将在查询表达式中返回数据源中的哪些元素。 它将一个布尔条件（谓词 ）应用于每个源元素（由范围变量引用），并返回满足指定条件的元素。 一个查询表达式可以包含多个 where 子句，一个子句可以包含多个谓词子表达式。

在下面的示例中，where 子句筛选出除小于五的数字外的所有数字。 如果删除 where 子句，则会返回数据源中的所有数字。 表达式 num < 5 是应用于每个元素的谓词。

string str1 = "test";
string str2 = "test";

一个 where 子句可以包含一个或多个返回布尔值的方法。 在下面的示例中，where 子句使用一种方法来确定范围变量的当前值是偶数还是奇数。

string str1 = "test";
string str2 = "test";