Мало кто понимает, что OR — ленивый оператор, который проверяет условия слева направо и останавливается на первом истинном.
Звучит как оптимизация, но может сыграть злую шутку, если этого не знать.
Как работает ленивое вычисление? 😀
Когда Python или SQL видит OR, он работает так:
• Проверяет первое условие слева
• Если оно истинно — возвращает результат и останавливается
• Если ложно — идёт проверять второе условие
Простыми словами: как только нашёл хоть одну правду — всё, дальше не смотрит. Это экономит ресурсы, но может пропустить важную логику.
Пример проблемы в Python: 🟢
Представим: мы проверяем пользователя — есть ли у него права админа или он прошёл дополнительную проверку безопасности.
def is_admin(user):
print("Проверяем права админа")
return user == 'admin'
def security_check(user):
print("Запускаем проверку безопасности")
# Тут могла быть запись в лог, отправка в аналитику и т.д.
return True
# Проверяем пользователя
user = 'admin'
access = is_admin(user) or security_check(user)
print(f"Доступ: {access}")
Вывод:
Проверяем права админа
Доступ: True
Проблема: Функция security_check() вообще не запустилась. Python увидел, что is_admin() вернул True, и дальше не пошёл. А там могла быть важная логика — запись в лог, отправка метрики, валидация. Всё это пропустилось из-за особенности работы оператора OR.
Пример проблемы в SQL: 🟢
Представим таблицу users с миллионом записей. Хотим найти пользователей, которые либо из Москвы, либо потратили больше 100 тысяч рублей.
SELECT
user_id,
city,
total_spent
FROM users
WHERE
1=1
AND (calculate_total_spent(user_id) > 100000 -- Тяжёлая функция
OR city = 'Moscow');
Проблема: Функция calculate_total_spent() очень дорогая — считает сумму по всем заказам пользователя. Если поставить её первой, она будет вычисляться для каждой строки. А если бы мы поставили city = 'Moscow' первым — для москвичей функция могла бы не считаться.
Важно: В SQL такая логика оператора OR не гарантирована стандартом. PostgreSQL и другие СУБД могут переставить условия или выполнить их параллельно. Оптимизатор сам решает, в каком порядке проверять.
Итог:
Оператор OR останавливается на первом истинном условии. В Python это гарантировано и работает всегда. В SQL — не гарантировано, оптимизатор может переставить условия.
❤️Поддержать канал бустами, чтобы у автора появился дополнительный функционал можно - здесь (это бесплатно и доступно с подпиской telegram premium)
❓ Сталкивались с такими проблемами? Знали про отличия между Python и SQL? Делитесь в комментариях!
✔️ Подпишитесь на канал, чтобы не пропустить следующие посты.
Обучаю АНАЛитике и Провожу консультации (подробности здесь):
🚬 Вопросы, обучение, консультации
@dima_sqlit