题否定numpy布尔数组python tilde一元运算符

Question

应该是一个简单的问题，但我无法在任何地方找到答案。~python中的运算符被记录为按位反转运算符。精细。我注意到，看似精神分裂的行为：

~True -> -2
~1 -> -2
~False -> -1
~0 -> -1
~numpy.array([True,False],dtype=int) -> array([-2,-1])
~numpy.array([True,False],dtype=bool) -> array([False,True])

在前4个示例中，我可以看到python正在实现（如所记录）~x = -(x+1)， 即使 输入 是boolean ，其输入也被视为int
。因此，对于标量布尔值，~不被视为逻辑取反。并不是说在使用int类型的布尔值定义的numpy数组上，行为是相同的。

为什么~然后在布尔数组上用作逻辑求反运算符（还请注意：~numpy.isfinite(numpy.inf) -> True？）？

我必须not()在标量上使用，但是not()对否定数组无效，这非常烦人。然后对于数组，我必须使用~，但是~将不能使标量取反…

Answer 1

not是通过__nonzero__特殊方法实现的，该方法需要返回True或False，因此无法给出所需的结果。而是~使用通过__not__特殊方法实现的运算符。出于相同的原因，&和|用来代替and和or。

PEP
335
旨在允许布尔运算符的重载，但由于开销过大而被拒绝（例如，使if语句复杂化）。
PEP
225建议了“按元素”运算符的通用语法，这将提供更通用的解决方案，但已被推迟。看来，目前的局势虽然尴尬，但不足以迫使人们改变。

np.isfinite在标量上调用时返回的类型值np.bool_不是bool。 np.bool_也是从bool
dtype数组中提取标量值时得到的类型。如果你使用np.True_和np.False_到位的True和False你会得到下一致的行为~。