为什么`A==b或c或D`的计算结果总是为真？[副本]

Question

我正在编写一个安全系统，拒绝未经授权的用户访问。

import sys

print("Hello. Please enter your name:")
name = sys.stdin.readline().strip()
if name == "Kevin" or "Jon" or "Inbar":
    print("Access granted.")
else:
    print("Access denied.")

它按预期授予授权用户访问权限，但也允许未经授权的用户进入！

Hello. Please enter your name:
Bob
Access granted.

为什么会出现这种情况？我已经明确声明，只有当name等于Kevin、Jon或inbar时才授予访问权限。我也尝试过相反的逻辑，如果“kevin”或“jon”或“inbar”==name，但结果是一样的。

Answer 1

在许多情况下，Python的外观和行为都类似于自然英语，但这是一种抽象失败的情况。人们可以使用上下文线索来确定“jon”和“inbar”是连接到动词“equals”的对象，但Python解释器更多的是字面意思。

if name == "Kevin" or "Jon" or "Inbar":

逻辑上等价于：

if (name == "Kevin") or ("Jon") or ("Inbar"):

对于用户Bob,它相当于：

if (False) or ("Jon") or ("Inbar"):

或运算符选择具有正真值的第一个参数：

if ("Jon"):

并且由于“jon”具有正真值，因此执行if块。这就是为什么无论给出的名称是什么，“授予的访问权限”都要打印出来的原因。

如果“kevin”或“jon”或“inbar”==name,所有这些推理也适用于表达式。第一个值“kevin”为true，因此执行if块。

有两种常见的方法可以正确构造这个条件。

>

使用多个==运算符对每个值进行显式检查:
如果name==“kevin”或name==“jon”或name==“inbar”:

组成一个有效值序列，并使用in运算符测试成员资格:
if name in{“kevin”,“jon”,“inbar”}:

总的来说，在这两种方法中，最好选择第二种方法，因为它更容易阅读，速度也更快：

>>> import timeit
>>> timeit.timeit('name == "Kevin" or name == "Jon" or name == "Inbar"', setup="name='Inbar'")
0.4247764749999945
>>> timeit.timeit('name in {"Kevin", "Jon", "Inbar"}', setup="name='Inbar'")
0.18493307199999265

对于那些可能想要证明if a==b或c或d或e：...确实是这样解析的。内置的AST模块提供了一个答案：

>>> import ast
>>> ast.parse("if a == b or c or d or e: ...")
<_ast.Module object at 0x1031ae6a0>
>>> ast.dump(_)
"Module(body=[If(test=BoolOp(op=Or(), values=[Compare(left=Name(id='a', ctx=Load()), ops=[Eq()], comparators=[Name(id='b', ctx=Load())]), Name(id='c', ctx=Load()), Name(id='d', ctx=Load()), Name(id='e', ctx=Load())]), body=[Expr(value=Ellipsis())], orelse=[])])"
>>>

因此if语句的test如下所示：

BoolOp(
 op=Or(),
 values=[
  Compare(
   left=Name(id='a', ctx=Load()),
   ops=[Eq()],
   comparators=[Name(id='b', ctx=Load())]
  ),
  Name(id='c', ctx=Load()),
  Name(id='d', ctx=Load()),
  Name(id='e', ctx=Load())
 ]
)

可以看到，它是应用于多个值的布尔运算符或，即A==B和C、D和E。