Python“在”中不检查类型？

Question

>>> False in [0]
True
>>> type(False) == type(0)
False

我偶然发现这一点的原因是：

在单元测试中，我为每种类型创建了有效和无效示例值的列表。 （“我的类型”我的意思是，它们并不 100% 等于 python 类型） 因此，我想迭代所有值的列表，如果它们在我的有效值中，则期望它们通过，另一方面，如果它们不在我的有效值中，则期望它们失败。 现在效果不太好：

>>> valid_values = [-1, 0, 1, 2, 3]
>>> invalid_values = [True, False, "foo"]
>>> for value in valid_values + invalid_values:
...     if value in valid_values:
...         print 'valid value:', value
... 
valid value: -1
valid value: 0
valid value: 1
valid value: 2
valid value: 3
valid value: True
valid value: False

当然我不同意最后两个“有效”值。

这是否意味着我真的必须迭代我的 valid_values 并比较类型？

Answer 1

问题不在于缺少类型检查，而是因为在 Python 中 bool 是 int 的子类。试试这个：

>>> False == 0
True
>>> isinstance(False, int)
True

Answer 2

根据 文档，__contains__ 已完成通过迭代集合并按 == 测试元素。因此，实际的问题是由 False == 0 是 True 这一事实引起的。

Answer 3

正如其他人所写的，“in”代码不会执行您希望它执行的操作。你还需要别的东西。

如果您确实想要进行类型检查（检查的是完全相同的类型），那么您可以在列表中包含该类型：

>>> valid_values = [(int, i) for i in [-1, 0, 1, 2, 3]]
>>> invalid_values = [True, False, "foo"]
>>> for value in [v[1] for v in valid_values] + invalid_values:
...   if (type(value), value) in valid_values:
...     print value, "is valid"
...   else:
...     print value, "is invalid"
... 
-1 is valid
0 is valid
1 is valid
2 is valid
3 is valid
True is invalid
False is invalid
foo is invalid
>>> 

处理子类型有点困难，并且取决于您想要做什么。

Answer 4

由于 True == 1 和 False == 0 很难区分两者。

一种可能但丑陋的方法（也不能保证在所有 Python 实现中都有效，但在 CPython 中应该没问题）：

>>> for value in valid_values + invalid_values:
...    if value in valid_values and not any(v is value for v in invalid_values):
...        print ('valid value:', value)
...
valid value: -1
valid value: 0
valid value: 1
valid value: 2
valid value: 3