0项的Python IntFlags行为

Question

在下面使用Python3中enum的IntFlag的示例代码中，我可以理解前5种行为。但我不能理解最后三种行为。我认为这些结果应该是False。有人能详细说明这些行为吗？知道我如何定义CLEAR吗？CLEAR使3个结果为"假"？

In [3]: from enum import IntFlag, auto
In [4]: class Functions(IntFlag):
...:     CLEAR=0
...:     FUNC1=auto()
...:     FUNC2=auto()
...:     FUNC3=auto()
...:     FUNC12=FUNC1|FUNC2
...:     ALL=FUNC1|FUNC2|FUNC3
...:
In [5]: Functions.FUNC1 in Functions.FUNC12 #OK
Out[5]: True
In [6]: Functions.FUNC2 in Functions.FUNC12 #OK
Out[6]: True
In [7]: Functions.FUNC3 in Functions.FUNC12 #OK
Out[7]: False
In [8]: Functions.FUNC12 in Functions.ALL #OK
Out[8]: True
In [9]: Functions.ALL in Functions.FUNC12 #OK
Out[9]: False
In [10]: Functions.CLEAR in Functions.ALL #?
Out[10]: True
In [11]: Functions.CLEAR in Functions.FUNC12 #??
Out[11]: True
In [12]: Functions.CLEAR in Functions.FUNC1 #???
Out[12]: True

Answer 1

CLEAR表示空的标志集。

文档似乎从未明确提到这一点，但据我所知，in运算符测试左侧的标志是否是右侧的子集。

然而，Flag.__contains__方法的源代码(由IntFlag继承(支持这种理解——该方法实现了操作other in self:

def __contains__(self, other):
"""
Returns True if self has at least the same flags set as other.
"""
if not isinstance(other, self.__class__):
raise TypeError(
"unsupported operand type(s) for 'in': '%s' and '%s'" % (
type(other).__qualname__, self.__class__.__qualname__))
return other._value_ & self._value_ == other._value_

空集是任何其他集的子集，因此Functions.CLEAR in Functions.x对任何x都成立。

或者，就所执行的具体逐位操作而言，CLEAR为0，因此CLEAR in x评估0 & x == 0，这始终为真。