枚举中相等运算符和 is 运算符之间的区别

如何解决枚举中相等运算符和 is 运算符之间的区别

鉴于以下 enum，

enum ExampleOptions
{
  OptionA,OptionB
}

这两个陈述之间有什么真正的区别吗？

ExampleOptions option = ExampleOptions.OptionA;

bool equals1 = option == ExampleOptions.OptionA; // true
bool equals2 = option is ExampleOptions.OptionA; // true

据我所知，使用 == 和 is 的唯一区别主要在于 is 需要一个常量操作数（因此，操作顺序很重要）。

我曾经使用 == 运算符只是因为我想避免诸如
之类的丑陋语句 !(option is ExampleOptions.OptionA)。
但是，在 C#9 发布并添加了 is not 运算符之后；我发现 is/is not 是编写此类语句的一种更简洁、更冗长的方式。

决定使用哪个运算符有什么隐藏的后果吗？

解决方法

据我所知，使用 == 和 is 的唯一区别主要是期望一个常量操作数（因此，操作顺序很重要）。

还有很多不同之处，例如 is 允许您编写如下语句：

val is ExampleOptions.OptionA or ExampleOptions.OptionB or ExampleOptions.OptionD

而不是带有 || 和重复命名变量的老式语句。

is 也（这很重要！）不调用 operator ==，它直接检查实例。这不适用于枚举，但如果您的对象带有不检查 == 的用户定义的 null 运算符，var != null 很可能会因异常而崩溃，而 var is not null 会如您所愿。

,

至于枚举比较 is 似乎是语法糖。

bool equals1 = option == ExampleOptions.OptionA; // true
bool equals2 = option is ExampleOptions.OptionA; // true

两个语句编译成完全相同的 IL（在 .NET5 中测试），它们调用 CIL 指令 ceq，我认为它代表相等比较。
因此，您认为没有功能差异的假设似乎是正确的。

// [115 13 - 115 61] 
IL_0003: ldloc.0      // option
IL_0004: ldc.i4.0
IL_0005: ceq
IL_0007: stloc.1      // equals1

// [116 13 - 116 61]
IL_0008: ldloc.0      // option
IL_0009: ldc.i4.0
IL_000a: ceq
IL_000c: stloc.2      // equals2