Python 0 项的 IntFlags 行为
Python IntFlags behavior for 0 item
在下面使用 Python3 中 enum
的 IntFlag
的示例代码中,我可以理解前 5 个行为。
但我无法理解最后 3 种行为。我认为这些结果应该是False
。谁能详细说明这些行为?知道如何定义使 3 个结果为“假”的 CLEAR 吗?
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
CLEAR
表示空标志集。
documentation 似乎从未明确提及这一点,但据我了解,in
运算符测试左侧的标志是否是右侧的子集-手边。
然而,Flag.__contains__
方法(被IntFlag
继承)的source code支持这种理解——该方法实现了操作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
始终为真。
在下面使用 Python3 中 enum
的 IntFlag
的示例代码中,我可以理解前 5 个行为。
但我无法理解最后 3 种行为。我认为这些结果应该是False
。谁能详细说明这些行为?知道如何定义使 3 个结果为“假”的 CLEAR 吗?
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
CLEAR
表示空标志集。
documentation 似乎从未明确提及这一点,但据我了解,in
运算符测试左侧的标志是否是右侧的子集-手边。
然而,Flag.__contains__
方法(被IntFlag
继承)的source code支持这种理解——该方法实现了操作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
始终为真。