Как рефакторить код, не меняя его внешний результат и вывод?

Question

Рефакторинг делают маленькими шагами и постоянно проверяют, что результат не изменился. Сначала фиксируют текущее поведение тестами или контрольными примерами. Затем меняют код так, чтобы каждый шаг был легко проверяем и откатываем. Если есть ввод/вывод, важно сохранить формат и порядок.

YeaHub · Accepted Answer

ОпределениеРефакторинг — это изменение внутренней структуры кода без изменения его внешнего поведения: результата, побочных эффектов, формата вывода и контрактов.Безопасный процесс рефакторинга1) Зафиксировать поведениеПеред изменениями важно иметь способ доказать, что ничего не сломалось.Написать тестыИли собрать набор входов и ожидаемых выходов (golden cases)2) Делать маленькие атомарные шагиПереименовать переменнуюВынести повтор в функциюУпростить условиеУбрать дублированиеКаждый шаг должен быть проверяем отдельно.3) Сохранять контракт функцииНужно следить за тремя вещами:Сигнатура (аргументы и возвращаемое значение)Исключения (что и когда выбрасывается)Побочные эффекты (логирование, запись в файл, печать)Пример: рефакторинг без изменения поведенияБыло (условно “слишком много условий”):def is_valid(s: str) -> bool:
    stack = []
    for ch in s:
        if ch == '(' or ch == '[' or ch == '{':
            stack.append(ch)
        else:
            if ch == ')':
                if not stack or stack.pop() != '(':
                    return False
            elif ch == ']':
                if not stack or stack.pop() != '[':
                    return False
            elif ch == '}':
                if not stack or stack.pop() != '{':
                    return False
    return len(stack) == 0
Стало (логика та же, код проще):def is_valid(s: str) -> bool:
    stack = []
    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

return not stack
Типовые риски“Случайно” поменяли поведение на не-скобочных символахПоменяли порядок вывода или формат строкиИзменили тип возвращаемого значения (например, 0/1 вместо False/True)Краткий выводБезопасный рефакторинг опирается на фиксацию поведения и маленькие проверяемые изменения. Если тесты есть — рефакторить можно уверенно и быстрее.