Как работает короткое замыкание (short-circuit) в логических операциях?

В Python, как и во многих других языках программирования, логические операторы and и or используют принцип короткого замыкания (short-circuit evaluation). Это означает, что интерпретатор оценивает выражение слева направо и прекращает вычисление, как только результат становится однозначно определенным.

Для оператора and:

• Если первое выражение оценивается как False, то все выражение гарантированно будет False, независимо от значения второго выражения. В этом случае второе выражение не вычисляется. Оператор and возвращает значение первого выражения (которое является False).
• Если первое выражение оценивается как True, то необходимо вычислить и второе выражение, чтобы определить итоговый результат. В этом случае оператор and возвращает значение второго выражения.

Пример с and:

x = 5
y = 0

# y != 0 не будет вычислено, так как x > 10 вернет False
if x > 10 and y != 0 and 10 / y > 2:
  print("Выполнится, только если все условия True")
else:
  print("Как минимум одно условие False")

# Вывод: Как минимум одно условие False

# Порядок важен! Если поменять местами, то будет ошибка ZeroDivisionError
# if y != 0 and x > 10 and 10 / y > 2: # Вызовет ZeroDivisionError
#   print("Выполнится, только если все условия True")
  

Для оператора or:

• Если первое выражение оценивается как True, то все выражение гарантированно будет True, независимо от значения второго выражения. В этом случае второе выражение не вычисляется. Оператор or возвращает значение первого выражения (которое является True).
• Если первое выражение оценивается как False, то необходимо вычислить и второе выражение, чтобы определить итоговый результат. В этом случае оператор or возвращает значение второго выражения.

Пример с or:

x = 5
y = 0

# y != 0 не будет вычислено, так как x < 10 вернет True
if x < 10 or y != 0 or 10 / y > 2:
  print("Как минимум одно условие True")
else:
  print("Все условия False")

# Вывод: Как минимум одно условие True
  

Значение короткого замыкания:

• Эффективность: Предотвращает ненужные вычисления, что может значительно улучшить производительность, особенно если вычисления ресурсоемкие.
• Безопасность: Позволяет избежать ошибок, таких как ZeroDivisionError или IndexError, путем проверки условий перед выполнением потенциально опасных операций.
• Читаемость кода: Позволяет писать более компактный и понятный код, избегая вложенных условных операторов.

Короткое замыкание - важная концепция, которую необходимо понимать для написания эффективного и безопасного кода на Python.