.NET数值转Flags标记枚举的底层原理及BigInteger实现参考

给定如下带[Flags]特性的标记枚举定义：

[Flags]
public enum Options : long
{
    None = 0,
    One = 1 << 0,
    Two = 1 << 1,
    Three = 1 << 2,
    Four = 1 << 3
}

我们可以创建表示多个Options枚举项组合的变量，该变量在底层对应一个数值（本例中为13）：

var oneThreeAndFour = Options.One | Options.Three | Options.Four;

Console.WriteLine(oneThreeAndFour); // 输出: One, Three, Four
Console.WriteLine((long)oneThreeAndFour); // 输出: 13

我们也可以将数值（本例中为13）反向转换为对应的Options枚举组合：

Console.WriteLine((Options)13); // 输出: One, Three, Four

原生转换的底层执行逻辑 #

.NET 对带[Flags]特性的枚举做数值、字符串转换时，完全基于位运算实现，不会预存组合值对应的字符串，核心流程如下：

• 首先通过反射获取该枚举类型下所有具名的离散枚举项，按数值从大到小排序缓存。以上述Options为例，排序后的顺序为Four(8)、Three(4)、Two(2)、One(1)、None(0)。
• 优先处理0值：如果待转换的目标值等于0，直接返回None对应的名称。
• 从高位到低位逐位匹配：用目标值依次和排序后的枚举项做按位与（&）运算：
  • 若(当前剩余值 & 枚举项值) == 枚举项值，说明该枚举项对应的所有标记位都被设置，将该枚举项名称加入临时结果列表，同时用异或（^）运算从剩余值中清除已匹配的位。
  • 若不满足条件则直接跳过，继续匹配下一个数值更小的枚举项。
• 结果处理：
  • 遍历完所有枚举项后，如果剩余值不为0，说明存在未定义的标记位，直接返回原始数值的字符串形式，不做名称拼接。
  • 如果剩余值为0，说明所有标记位都匹配到了对应具名项，将临时结果列表反转（匹配时是从大值到小值收集，反转后和位从低到高的顺序对齐），再用, 拼接成最终字符串返回。

以数值13（二进制1101）为例，完整匹配过程为：

1. 初始剩余值=13，临时结果列表为空
2. 匹配Four(8)：13 & 8 = 8，匹配成功，列表加入Four，剩余值更新为13 ^ 8 = 5（二进制0101）
3. 匹配Three(4)：5 & 4 = 4，匹配成功，列表加入Three，剩余值更新为5 ^ 4 = 1（二进制0001）
4. 匹配Two(2)：1 & 2 = 0，不匹配，跳过
5. 匹配One(1)：1 & 1 = 1，匹配成功，列表加入One，剩余值更新为1 ^ 1 = 0
6. 剩余值为0，反转临时列表得到[One, Three, Four]，拼接后就是最终输出结果。

基于 BigInteger 实现超64位标记枚举 #

按照上述原生逻辑，你完全可以实现支持任意长度标记位的Flags能力，不需要存储拼接字符串，直接存储BigInteger数值即可，核心实现要点：

• 定义标记项时，每个标记对应BigInteger的位值，第n位标记值为BigInteger.One << n，没有64位长度限制。
• 提前将所有自定义标记项按数值从大到小排序缓存，避免每次转换重复排序。
• 数值转组合字符串时完全复用原生的逐位匹配、反转拼接逻辑即可，BigInteger本身支持按位与、按位异或、或运算，和原生整数类型的位运算行为完全一致。
• 组合字符串转数值时，按, 拆分字符串，找到每个名称对应的标记值，将所有值做按位或运算即可还原出原始BigInteger数值。

这种实现方式的存储、转换性能和原生枚举几乎一致，远高于存储解析组合字符串的方案。

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