c# 泛型约束 - 技术栈

在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() 约束类型参数必须具有无参数的公共构造函数。通过使用泛型约束，可以确保类型参数满足特定的条件，从而在编译时捕获错误并提供更安全和可靠的代码。