为什么我可以将0.0分配给枚举值，而不是1.0

出于好奇：为什么我可以将0.0分配给枚举类型的变量，而不是1.0？看下面的代码：

public enum Foo
{
    Bar,
    Baz
}

class Program
{
    static void Main()
    {
        Foo value1 = 0.0;
        Foo value2 = 1.0;   // This line does not compile
        Foo value3 = 4.2;   // This line does not compile
    }
}

我认为数值类型和枚举值之间的转换只能通过强制转换进行吗？那就是我可以写Foo value2 = (Foo) 1.0;以便Main编译第2行。为什么0.0C＃中的值有例外？

可以使用0.0的错误。编译器将所有值为零的常数表达式都隐式地视为0。

现在，按照C＃5规范的第6.1.3节，编译器允许从0 的常量表达式到您的枚举的隐式转换是正确的int：

隐式枚举转换允许将小数-整数-文字0转换为任何枚举类型和其基础类型为枚举类型的任何可空类型。在后一种情况下，通过转换为基础枚举类型并包装结果来评估转换（第4.1.10节）。

我之前曾与C＃团队讨论过此事：他们希望将意外转换从0.0（实际上是0.0m和0.0f）删除为枚举值，但是不幸的是，我收集到它破坏了太多代码-尽管首先不应该允许它。

Mono mcs编译器禁止所有这些浮点转换，尽管它确实允许：

const int Zero = 0;
...

SomeEnum x = Zero;

尽管它Zero是一个常量表达式，但不是十进制整数。

将来看到C＃规范发生更改以允许任何值为0的整数常量表达式（即模仿mcs），我不会感到惊讶，但是我不希望浮点转换正式地正确。（当然，在预测C＃的未来之前，我错了。）

乔恩的答案是正确的。我要补充以下几点。

• 我造成了这个愚蠢而令人尴尬的错误。很多道歉。

• 该错误是由我误解了编译器中“表达式为零”谓词的语义所致；我相信它只是在检查整数零相等性，而实际上它正在按照“这是该类型的默认值吗？”的方式检查更多内容。实际上，在早期版本的错误中，实际上可以将任何类型的默认值分配给枚举！现在仅是数字的默认值。（课程：请仔细命名您的辅助谓词。）

• 实际上，我尝试实现的行为被弄乱了，这是一个针对稍有不同的错误的解决方法。您可以在此处阅读整个可怕的故事：https : //docs.microsoft.com/zh-cn/archive/blogs/ericlippert/the-root-of-all-evil-part-one和 https://docs.microsoft .com / zh-CN / archive / blogs / ericlippert / all-evil-part-two的根源 （课程：在修正旧错误的同时引入新的更差的错误非常容易。）

• C＃团队决定保留这种错误行为，而不是修复它，因为破坏现有代码而没有令人信服的好处的风险太大。（课程：第一次就做对了！）

• 我在Roslyn中编写的用于保存此行为的代码可以IsConstantNumericZero在https://github.com/dotnet/roslyn/blob/master/src/Compilers/CSharp/Portable/Binder/Semantics/Conversions/ConversionsBase.cs中的方法中找到-有关Roslyn行为的确切信息，请参见。我几乎在“转换”目录中编写了所有代码；我鼓励您阅读所有这些内容，因为关于C＃与注释中的规范有何不同，有很多有趣的事实。我用SPEC VIOLATION装饰每个，以便于查找。

还有一个有趣的地方：C＃还允许在枚举初始值设定项中使用任何枚举值，而不管其零度如何：

enum E { A = 1 }
enum F { B = E.A }  // ???

规范对于是否应该合法还有些含糊，但是同样，由于在编译器中已经存在很长时间了，因此新的编译器可能会保持这种行为。

根据定义，C＃中的枚举是整数值。为了保持一致，C＃不应接受这些分配中的任何一个，而应将0.0其默默地视为integral 0。这可能是C的遗留物，在C中，文字0被特殊对待，并且可以采用任何给定的类型-整数，浮点数，空指针…命名。

枚举实际上是打算（在支持它的所有语言中）是一种使用有意义且唯一的字符串（标签）而不是数字值的方法。因此，在您的示例中，仅应在处理Foo枚举数据类型时使用Bar和Baz。即使许多编译器会让您舍弃它（整数通常在内部是整数），也永远不要使用（比较或分配）整数（在这种情况下，编译器会不小心将0.0视为0）。

从概念上讲，可以将整数n添加到枚举值，以使n个值更远，或者采用val2 - val1来查看它们之间有多远，但是除非语言规范明确允许，否则我应该没问题。会避免的。（以您可以使用的方式，将枚举值视为类似于C指针。）没有理由不能用浮点数实现枚举，并且它们之间有固定的增量，但是我没有听说过这可以用任何语言完成。