C#中new()约束为何允许枚举作为类型实参？

这个问题问得非常到位！很多开发者在学习泛型new()约束时，都会对枚举的适配情况感到困惑——毕竟在C#语法层面，我们根本没法给枚举定义构造函数，更别说公共无参构造了。其实答案藏在C#语法规则和CLR底层实现的差异里：

1. CLR对枚举的特殊处理 #

虽然C#不允许我们为枚举显式定义任何构造函数，但在CLR的底层实现中，所有枚举类型都会被自动生成一个公共的无参构造函数。而new()约束的检查逻辑是基于CLR的类型规则，而非C#的语法限制——只要CLR确认类型有公共无参构造，就会满足约束要求。

2. 枚举作为值类型的特性 #

枚举本质上是一种特殊的值类型（继承自System.Enum，而System.Enum又继承自System.ValueType）。和结构体一样，所有值类型在CLR中都会被默认提供无参构造函数，用来初始化类型的默认值（对于枚举来说，就是数值0对应的枚举项；如果没有定义值为0的枚举成员，就会返回数值0本身）。

我们可以通过代码验证这一点：

public class Factory<T> where T : new()
{
    public T Create() => new T();
}

// 定义一个枚举，没有显式指定0值的成员
enum Status { Active = 1, Inactive = 2 }

// 测试枚举的实例化
var factory = new Factory<Status>();
Status statusInstance = factory.Create();
Console.WriteLine((int)statusInstance); // 输出 0
Console.WriteLine(statusInstance);      // 输出 0（因为没有对应枚举成员）

3. 和类、结构体的对比 #

• 对于类：如果没有显式定义任何构造函数，C#编译器会自动生成公共无参构造，满足new()约束；如果显式定义了带参构造，默认无参构造会被移除，此时就不满足约束了。
• 对于结构体：无论是否显式定义带参构造，CLR都会保证其拥有公共无参构造，因此天然满足new()约束。
• 对于枚举：和结构体一样，属于值类型范畴，CLR自动提供无参构造，所以能通过new()约束的检查，哪怕C#语法不允许我们自定义构造函数。

简单来说，new()约束的核心要求是CLR层面存在公共无参构造，而枚举恰好满足这个底层条件，这就是它能作为new()约束类型实参的原因。

内容的提问来源于stack exchange，提问作者gamerdev