EAFP вместо LBYL: почему Python поощряет 'сделать и обработать ошибку', а не 'проверить всё заранее'

C-программист приучен думать в терминах предохранителей: перед strcpy проверить длину, перед разыменованием указателя проверить на NULL, перед open() проверить access(). Это разумно в языке, где ошибка — это undefined behavior или падение процесса. Такой стиль называется LBYL — Look Before You Leap: сначала выясняем, безопасно ли действие, потом действуем.

Python поощряет обратную модель — EAFP, Easier to Ask Forgiveness than Permission: сначала выполняем действие, а если оно невозможно, интерпретатор сообщает об этом исключением, которое мы перехватываем. Исключения в Python — стандартный и основной механизм сообщения об ошибках, и EAFP опирается на две особенности языка, которых нет в C:

1. Динамическая/утиная типизация. Типы в Python привязаны к объектам и проверяются во время выполнения, а пригодность объекта для операции определяется наличием нужных методов, а не классом. Проверить это заранее в общем случае невозможно — isinstance-проверки на каждый шаг превращают Python в плохую копию C с ручной типизацией.
2. TOCTOU (time-of-check to time-of-use). Между проверкой и действием проходит время, за которое состояние мира могло измениться — файл удалили, ключ словаря убрал другой поток, сокет отвалился. Проверка создаёт ложное чувство безопасности, а не устраняет проблему.

Классическая ошибка си-программиста:

import os

if os.path.exists(path):
    with open(path) as f:
        data = f.read()

Между os.path.exists и open файл может быть удалён другим процессом — это ровно тот же класс гонки, из-за которого проверку прав через access() перед open() в C считают небезопасной. Идиоматичный Python:

try:
    with open(path) as f:
        data = f.read()
except FileNotFoundError:
    data = None

Здесь нет окна гонки: попытка и обработка её результата — одно действие с точки зрения кода.

То же со словарями. Инстинкт C-программиста — «проверить границы перед доступом»:

if key in d:
    value = d[key]
else:
    value = default

Это работает, но делает два обращения к хеш-таблице вместо одного и остаётся LBYL-мышлением. Идиоматичнее:

value = d.get(key, default)

а если нужна ветка с побочным эффектом — try/except KeyError. dict.get — не «трюк», а прямое следствие EAFP: спросить объект напрямую надёжнее, чем гадать заранее.

def get_timeout(config):
    if "network" in config:
        network = config["network"]
        if isinstance(network, dict) and "timeout" in network:
            timeout = network["timeout"]
            if isinstance(timeout, (int, float)):
                return timeout
    return 30

def get_timeout(config):
    try:
        return config["network"]["timeout"]
    except (KeyError, TypeError):
        return 30

def get_first_score(data, key):
    if key in data and isinstance(data[key], list) and len(data[key]) > 0:
        return data[key][0]
    return None

flowchart TB
    subgraph LBYL["LBYL: проверка заранее"]
        A1[Проверить: файл существует?] --> A2{Существует}
        A2 -->|окно гонки| A3[Другой процесс удаляет файл]
        A3 --> A4[open всё равно падает с ошибкой]
    end
    subgraph EAFP["EAFP: сделать и обработать"]
        B1[Попытаться открыть файл] --> B2{Успех?}
        B2 -->|да| B3[Работать с файлом]
        B2 -->|нет| B4[except FileNotFoundError]
    end