在 C# 中,泛型约束是一种限制泛型类型参数的方式。泛型约束可用于限制可以用作类型参数的类型,并为泛型类型参数提供额外的功能。
以下是一些常见的泛型约束:
- where T : struct - 此约束指定 T 必须是值类型。
- where T : class - 此约束指定 T 必须是引用类型。
- where T : new() - 此约束指定 T 必须具有无参数的公共构造函数。
- where T : SomeBaseClass - 此约束指定 T 必须派生自 SomeBaseClass 类。
- where T : ISomeInterface - 此约束指定 T 必须实现 ISomeInterface 接口。
使用泛型约束可以帮助编写更安全、更易于维护的代码。例如,如果您编写一个需要使用“+”运算符的方法,但是类型参数 T 并不一定包含此运算符,则可以使用 where T : IAddable 约束来限制 T 必须实现 IAddable 接口,该接口定义了“+”运算符。
以下是一个示例:
public static T Add<T>(T a, T b) where T : IAddable { return a + b; }
在这个例子中,方法使用 where T : IAddable 约束,以确保 T 实现了 IAddable 接口,该接口定义了“+”运算符。这意味着如果您尝试将一个不实现 IAddable 接口的类型传递给此方法,则会发生编译时错误。