为什么“a == x or y or z”总是评估为True？我如何将“a”与所有这些进行比较？

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

name = input("Hello. Please enter your name: ")
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。我也尝试过相反的逻辑，if "Kevin" or "Jon" or "Inbar" == name，但结果是一样的。

_{This question is intended as the canonical duplicate target of this very common problem. There is another popular question How to test multiple variables for equality against a single value? https://stackoverflow.com/questions/15112125/how-to-test-multiple-variables-against-a-single-value that has the same fundamental problem, but the comparison targets are reversed. This question should not be closed as a duplicate of that one as this problem is encountered by newcomers to Python who might have difficulties applying the knowledge from the reversed question to their problem.}

_{For in instead of ==, there are solutions here: How to test the membership of multiple values in a list https://stackoverflow.com/questions/6159313/how-to-test-the-membership-of-multiple-values-in-a-list}

在许多情况下，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"):

The or操作员选择第一个操作数 https://stackoverflow.com/questions/47007680那是"truthy" https://stackoverflow.com/questions/39983695，即哪个会满足if状况 http://docs.python.org/3/library/stdtypes.html#truth-value-testing（或者最后一个，如果没有一个是“真实的”）：

if "Jon":

既然“乔恩”是真的，if块执行。这就是导致无论给出的名称如何都会打印“授予访问权限”的原因。

所有这些推理也适用于表达式if "Kevin" or "Jon" or "Inbar" == name。第一个值，"Kevin"，是真的，所以if块执行。

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

1. 使用多个==运算符显式检查每个值：

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

2. 组成有效值的集合（例如集合、列表或元组），并使用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 or c or d or e: ...确实是这样解析的。内置的ast模块提供了答案：

>>> import ast
>>> ast.parse("a == b or c or d or e", "<string>", "eval")
<ast.Expression object at 0x7f929c898220>
>>> print(ast.dump(_, indent=4))
Expression(
    body=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())]))

正如我们所看到的，它是布尔运算符or应用于四个子表达式：比较a == b;以及简单的表达方式c, d, and e.