Как улучшить читаемость и надёжность алгоритма проверки скобок?

Question

Читаемость улучшается, когда логика проста и разделена на понятные блоки: явные именования, единый стиль обработки символов, ранние выходы при ошибках. Надёжность повышают проверки краевых случаев и покрытие тестами. Полезно выделить маппинг пар скобок в одну структуру и не раздувать условные ветки. Ещё важно заранее решить, что делать с не-скобочными символами: игнорировать или считать ошибкой.

YeaHub · Accepted Answer

ОпределениеЧитаемость — это насколько легко другому разработчику понять код, а надёжность — насколько предсказуемо он ведёт себя на разных входных данных, включая ошибочные.Что влияет на читаемость1) Явная структура данных для парВместо нескольких if удобнее использовать один словарь.PAIRS = {')': '(', ']': '[', '}': '{'}
OPEN = set(PAIRS.values())
CLOSE = set(PAIRS.keys())
2) Ранние выходы вместо “глубоких” вложенных условийПеред списками важно зафиксировать идею: чем меньше вложенности, тем легче читать и меньше шансов пропустить ветку.Если закрывающая скобка встретилась при пустом стеке — ошибкаЕсли тип не совпадает — ошибкаИначе продолжаем3) Понятные именаstack — нормально и общепринятоpairs / PAIRS — говорит о назначенииch / char — нейтрально и понятно4) Договорённость о поведении на “лишних” символахНужно выбрать одну политику и сделать её явной:Игнорировать всё, кроме скобок (часто удобнее)Считать любой другой символ ошибкой (если валидируете формат)Пример “игнорировать”:def is_valid_brackets(s: str) -> bool:
    stack: list[str] = []
    pairs = {')': '(', ']': '[', '}': '{'}
    open_set = set(pairs.values())

for ch in s:
        if ch in open_set:
            stack.append(ch)
        elif ch in pairs:
            if not stack or stack.pop() != pairs[ch]:
                return False
        # else: игнорируем прочие символы

return not stack
Что повышает надёжность1) Проверка краевых случаевПустая строка "" → корректноСтрока без скобок "abc" → зависит от политики (часто корректно)Только открывающие "(((" → некорректноТолько закрывающие ")))" → некорректноСмешанные типы "([{}])" → корректно2) Тестирование короткими наборамиВместо сложных сценариев лучше держать компактный набор базовых примеров.def test_is_valid_brackets():
    assert is_valid_brackets("") is True
    assert is_valid_brackets("()[]{}") is True
    assert is_valid_brackets("([{}])") is True
    assert is_valid_brackets("(]") is False
    assert is_valid_brackets("([)]") is False
    assert is_valid_brackets("(()") is False
Краткий выводЧитаемость достигается простыми правилами: минимум вложенности, явные структуры данных и предсказуемое поведение на входе. Надёжность — через раннее обнаружение ошибок, обработку краевых случаев и тесты.