在C#中,泛型约束用于指定泛型类型参数的限制条件,以确保类型参数满足特定的条件。以下是C#中常见的泛型约束:
where T : struct: 这个约束要求类型参数必须是一个值类型(如int、float等)。
where T : class: 这个约束要求类型参数必须是一个引用类型(如类、接口、委托等)。
where T : new(): 这个约束要求类型参数必须具有一个无参数的公共构造函数。
where T :: 这个约束要求类型参数必须是指定的基类或派生自指定的基类。
where T :: 这个约束要求类型参数必须实现指定的接口。
where T : U: 这个约束要求类型参数必须与指定的类型参数(U)相同,或者是从指定的类型参数(U)派生的类型。
这些约束可以单独使用,也可以组合使用。例如,下面的示例演示了如何使用多个约束:
csharp
public interface IExampleInterface
{
void ExampleMethod();
}
//ExampleClass的泛型必须要实现IEampleInterface的接口,且默认带无参构造函数
public class ExampleClass<T> where T : IExampleInterface, new()
{
public void ExampleMethod(T exampleObject)
{
exampleObject.ExampleMethod();
}
}
public class ExampleImplementation : IExampleInterface
{
public void ExampleMethod()
{
Console.WriteLine("ExampleMethod called");
}
}
static void Main(string[] args)
{
ExampleClass<ExampleImplementation> example = new ExampleClass<ExampleImplementation>();
example.ExampleMethod(new ExampleImplementation());
}
在这个示例中,ExampleClass是一个泛型类,使用了两个约束:where T : IExampleInterface 约束类型参数必须实现 IExampleInterface 接口,where T : new() 约束类型参数必须具有无参数的公共构造函数。通过使用泛型约束,可以确保类型参数满足特定的条件,从而在编译时捕获错误并提供更安全和可靠的代码。