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

Question

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

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 时才授予访问权限。我也尝试过相反的逻辑，如果“Kevin”或“Jon”或“Inbar”== name，但结果是相同的。

<小时/>

_{这个问题旨在作为这个非常常见问题的规范重复目标。还有一个热门问题How to test multiple variables for equality against a single value?具有相同的根本问题，但比较目标相反。这个问题不应该作为那个问题的重复问题而被关闭，因为这个问题是 Python 新手遇到的，他们可能很难将反向问题中的知识应用到他们的问题中。}

_{对于in而不是==，这里有解决方案:How to test the membership of multiple values in a list}

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"):

or 运算符 chooses the first operand即"truthy" ，即 would satisfy an if condition (或者最后一个，如果没有一个是“真实的”):

if "Jon":

由于“Jon”为真，因此 if block 将执行。这就是导致无论给出的名称如何都会打印“授予访问权限”的原因。

所有这些推理也适用于表达式if "Kevin"or "Jon"or "Inbar"== name。第一个值 "Kevin" 为 true，因此执行 if block 。

<小时/>

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

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())]))

正如我们所看到的，它是应用于四个子表达式的 boolean 运算符or:比较a == b；以及简单表达式 c、d 和 e。