Почему `a == b или c или d` всегда принимает значение True?

Я пишу систему безопасности, которая запрещает доступ неавторизованным пользователям.

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Кевину, Джону или Инбару. Я тоже пробовал обратную логику if "Kevin" or "Jon" or "Inbar" == name, но результат тот же.

Во многих случаях Python выглядит и ведет себя как естественный английский, но это тот случай, когда эта абстракция терпит неудачу. Люди могут использовать контекстные подсказки, чтобы определить, что «Джон» и «Инбар» являются объектами, соединенными с глаголом «равно», но интерпретатор Python более буквальный.

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

логически эквивалентно:

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

Что для пользователя Боба эквивалентно:

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

orОператор выбирает первый аргумент с положительным значением истинности :

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("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=[])])"
>>>

Таким образом, testиз ifзаявления выглядит следующим образом :

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применяется к нескольким values, а именно, a == bи c, dи e.

Простая инженерная задача, давайте немного дальше.

In [1]: a,b,c,d=1,2,3,4
In [2]: a==b
Out[2]: False

Но унаследованный от языка C Python оценивает логическое значение ненулевого целого числа как True.

In [11]: if 3:
    ...:     print ("yey")
    ...:
yey

Теперь Python основывается на этой логике и позволяет использовать логические литералы, такие как или на целых числах, и т.

In [9]: False or 3
Out[9]: 3

в заключение

In [4]: a==b or c or d
Out[4]: 3

Правильный способ написать это:

In [13]: if a in (b,c,d):
    ...:     print('Access granted')

В целях безопасности я также рекомендую вам не кодировать жестко пароли.

Есть 3 проверки условий в if name == "Kevin" or "Jon" or "Inbar":

• name == "Кевин"
• "Джон"
• «Инбар»

и этот оператор if эквивалентен

if name == "Kevin":
    print("Access granted.")
elif "Jon":
    print("Access granted.")
elif "Inbar":
    print("Access granted.")
else:
    print("Access denied.")

Поскольку elif "Jon"всегда будет истинным, доступ предоставляется любому пользователю

Решение

Вы можете использовать любой из приведенных ниже способов

Быстро

if name in ["Kevin", "Jon", "Inbar"]:
    print("Access granted.")
else:
    print("Access denied.")

Медленный

if name == "Kevin" or name == "Jon" or name == "Inbar":
    print("Access granted.")
else:
    print("Access denied.")

Медленный + ненужный код

if name == "Kevin":
    print("Access granted.")
elif name == "Jon":
    print("Access granted.")
elif name == "Inbar":
    print("Access granted.")
else:
    print("Access denied.")