Python3的IntFlag类型0值成员in运算异常原因及修正方法

IntFlag 类型对in运算符的实现是基于位包含判断：当判断a in b是否成立时，实际执行的逻辑等价于 (a.value & b.value) == a.value。
你定义的CLEAR成员值为0，0和任何整数做按位与运算结果都是0，所以不管右操作数是哪个IntFlag成员，CLEAR.value & 任意值永远等于CLEAR.value，所以你看到的三个涉及CLEAR的in运算都返回True，这是IntFlag的默认设计规则，不是运行错误。

根据你的使用场景，可以选择两种方案实现需求：

• 方案1：将CLEAR定义为占用独立位的普通成员，不使用0值
  如果你需要CLEAR作为一个可组合的独立功能选项，直接给它分配未被其他成员占用的位即可：

from enum import IntFlag, auto
class Functions(IntFlag):
    # 给CLEAR分配高位独立位，避免和其他功能位冲突，也可以直接用auto()分配低位
    CLEAR = 1 << 8
    FUNC1 = auto()
    FUNC2 = auto()
    FUNC3 = auto()
    FUNC12 = FUNC1|FUNC2
    ALL = FUNC1|FUNC2|FUNC3

修改后CLEAR的位不会和其他功能位重叠，CLEAR in Functions.FUNC1这类判断就会返回你期望的False。

• 方案2：保留CLEAR的0值语义，自定义包含判断逻辑
  如果你必须保留CLEAR=0代表"无任何功能启用、清空所有位"的语义，就不要直接使用in运算符，自定义判断函数排除0值的特殊情况即可：

def flag_contains(container: IntFlag, item: IntFlag) -> bool:
    # 0值成员默认不被包含在任何实例中
    if item.value == 0:
        return False
    return (container & item) == item

后续使用flag_contains(Functions.FUNC1, Functions.CLEAR)调用即可得到False的结果。

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