C#7.3枚举约束:为什么我不能使用enum关键字？

Question

为了将泛型类型参数约束为枚举类型,我之前将它们限制为这样,这是我在C#7.3之前为枚举约束类型T的最佳方法:

void DoSomething<T>() where T : struct, IComparable, IConvertible, IFormattable

现在,C#7.3添加了一个新功能来约束泛型类型System.Enum.我尝试使用今天发布的VS2017 15.7更新的枚举约束,并且当我这样写时它会成功编译(假设我有一个using System;指令):

void DoSomething<T>() where T : Enum

但是,使用enum关键字不起作用并导致编译器抛出以下错误(后面有更多错误,期待一个方法体,但我猜这里并不值得一提):

void DoSomething<T>() where T : enum
                                ^ error CS1031: Type expected
                                  error CS1002: ; expected
                                    ^ error CS1001: Identifier expected
                                      error CS1514: { expected
                                      error CS1513: } expected

由于有一个struct约束适用于结构,我不明白为什么enum这里不适用于枚举.这是真正的enum不映射到一个实际的类型一样int会为这样做Int32,但我认为它应该表现一样的struct约束.

我是否只是陷入了尚未完全实现的实验性特征陷阱,或者是否在规范中故意这样做(为什么？)？

Answer 1

struct对泛型的约束不映射到实际类型(尽管理论上可以映射到ValueType).类似地,enum没有干净地映射到实际类型的方式string,int或者long,它设置了特殊的语法来创建映射到整数值的符号常量类; 因此public enum Stuff而不是public class Stuff : Enum.请注意,如果后者已经实现了,那么它会更加微妙,因为它会根据继承的类型更改语法,而不是根据非class关键字更改语法.

所以,总而言之,是的,where T : enum并不意味着工作,因为它enum是一个关键字,而不是一个类型别名.如果你真的想看到它的工作,因为enum至少闻起来像这样的上下文中的类型别名,请去请求它!

编辑:对于一些历史参考,这里是2008年的一个问题,表明它Enum不是一个有效的约束,因为它是一个特殊的类.