К обсуждениям

Python 3.15 RC1: AST-конструкторы теперь строго проверяют поля

Редакция VOne Технологии

Практическая миграционная проверка Python 3.15 RC1 для gh-137600: отдельный обратимый fixture, таблица наблюдений, отрицательный контроль, стоп-линия и обезличенный пакет для повтора.

Граница изменения: 137600

Конструкторы AST-узлов в Python 3.15 выдают TypeError, если не передано обязательное поле или keyword не соответствует полю узла. Это подтверждает границу интерфейса, но не доказывает наличие дефекта в конкретном проекте. Отдельная пользовательская боль здесь такая: Кодогенератор мог годами создавать неполное дерево, получая лишь предупреждение; теперь сбой происходит в точке сборки узла. Перед опытом запишите версию interpreter, точную точку вызова и ожидаемую ветку. RC1 остаётся preview: изолируйте его от рабочего интерпретатора.

Обратимый тест одного контракта

Минимальный стенд для этой боли: Создайте по одному узлу Constant, Name и BinOp: полный, без обязательного поля и с вымышленным keyword; затем отдельно вызовите fix_missing_locations и compile. Все входы должны быть синтетическими, короткими и воспроизводимыми. Положительный и отрицательный controls запускайте в свежих объектах или процессах, если cache, import state или lifetime могут перенести эффект. Cleanup должен удалять только созданный temp-root и не касаться рабочих данных.

Таблица наблюдений и отрицательный контроль

Для каждого запуска заполняйте строку «тип узла | набор полей | этап сбоя | тип и текст исключения | compile вызван». Сначала выполните baseline на прежней поддерживаемой версии, затем RC1 и снова свежий baseline, если опыт мог изменить состояние. Пустое поле не равно нулю, отсутствие исключения не подтверждает верное значение, а расхождение повторов означает unstable, а не разрешение выбрать удобную строку.

Зелёный критерий и стоп-линия

Статус passed допустим, только если полные узлы создаются и компилируются, а два дефектных варианта падают именно в конструкторе с TypeError. Отметка not reproduced говорит только об этом fixture; blocked — о нехватке источника или capability. Стоп-линия для этой миграции: Не подменяйте ошибку добавлением None во все поля: сверьте _fields конкретного узла и исправьте схему генератора. Нельзя получать зелёный результат broad except, отключением защиты, скрытием warnings или повторением до случайного успеха.

Минимальный пакет для повтора

Для повтора передайте только: минимальный Python-файл, repr трёх узлов, _fields, traceback до первой рамки вне stdlib и версия интерпрета. Добавьте московский timestamp, точную версию 3.15.0rc1, команду воспроизведения и заранее заданный критерий. Удалите usernames, hostnames, IP, абсолютные домашние пути, tokens, cookies, environment dumps, рабочие файлы и лишние журналы. Источники подтверждают change boundary, но не результ вашего опыта, не массовость боли и не будущую индексацию.

Материал подготовлен редакцией VOne с помощью ИИ по открытым официальным и первичным источникам; факты, даты и ссылки перепроверены. Реальные пользовательские данные и вымышленные результаты тестов не использовались.

Источники и проверка

Информация актуальна на дату публикации. Правила сервисов, приложений и сетей могут меняться.

Ответы

0 опубликовано
Ответов пока нет. Вы можете начать обсуждение.

Ваш ответ

Добавьте свой опыт или уточнение по теме.

Вы публикуете как Аноним Аватар отличает разговоры, но не раскрывает личные данные.

Ответ появится сразу. Не публикуйте личные данные, ключи и приватные ссылки.