C# Flags枚举定义Unknown时右移运算符失效，All与Unknown均输出-1

问题复现 #

用户定义的位标志枚举如下：

[Flags]
public enum MyEnum
{
    None = 0,
    First = 1,
    Second = 2,
    Third = 4,
    // 其余按2的幂递增的位标志值省略
    Unknown = All >> 1,
    All = ~None,
}

执行打印逻辑：

Console.WriteLine((int)MyEnum.All);
Console.WriteLine((int)MyEnum.Unknown);

实际控制台输出两个值均为-1，与“Unknown为紧邻All之前最高位独立枚举值”的预期完全不符。

核心问题成因 #

• 枚举成员求值顺序错误：C#枚举的成员是按从上到下的定义顺序逐次计算取值的，Unknown定义在All之前，计算Unknown的移位表达式时，All还没有完成赋值，此时All的默认取值为0，移位计算得到的结果从源头就不符合预期。
• 有符号整数的算术移位特性：即使调整两个成员的定义顺序，将All放在Unknown之前，也会因为默认枚举底层类型为有符号int，出现移位结果异常：C#对有符号整数执行右移操作时采用算术移位规则，会将符号位的值填充到移位后空出的高位位置。All = ~None是32位全1的-1，对其执行算术右移1位后结果仍然是-1，根本无法得到最高独立位的取值。
• 衍生逻辑bug：基于移位得到的全1 Unknown值，会触发HasFlag判断逻辑异常，例如MyEnum.Unknown.HasFlag(MyEnum.First)会返回true，完全违背位标志枚举的设计逻辑。

最终修正方案 #

如果需求是让Unknown作为独立的最高位标志值，和其他低位枚举的位运算行为保持一致，最简洁可靠的实现是直接将Unknown取值设置为int.MinValue：

[Flags]
public enum MyEnum
{
    None = 0,
    First = 1,
    Second = 2,
    Third = 4,
    // 其余按2的幂递增的位标志值
    Unknown = int.MinValue,
    All = ~None,
}

修正后的行为校验：

• 取值打印：(int)MyEnum.All = -1（32位全1掩码），(int)MyEnum.Unknown = -2147483648（仅最高位为1）
• 位行为校验：MyEnum.Unknown.HasFlag(MyEnum.First)返回false，All掩码会正常覆盖所有低位标志+Unknown位，完全符合预期。

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