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

Python 3.15 RC1: наследнику Protocol нужен runtime_checkable

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

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

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

В Python 3.15 депрецированы isinstance/issubclass для protocol-класса, который не украшен runtime_checkable явно, но наследует от такого protocol; в 3.20 ожидается TypeError. Это подтверждает границу интерфейса, но не доказывает наличие дефекта в конкретном проекте. Отдельная пользовательская боль здесь такая: Рантайм-ветка плагина может считать, что decorator на базовом Protocol автоматически разрешает проверку всех наследников; при будущем обновлении это станет исключением вместо bool. Перед опытом запишите версию interpreter, точную точку вызова и ожидаемую ветку. RC1 остаётся preview: изолируйте его от рабочего интерпретатора.

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

Минимальный стенд для этой боли: Объявите @runtime_checkable Base с method run, Derived без decorator и ExplicitDerived с decorator; прогоните isinstance для object с run и без run, issubclass для двух classes и warning capture с always-filter. Все входы должны быть синтетическими, короткими и воспроизводимыми. Положительный и отрицательный controls запускайте в свежих объектах или процессах, если cache, import state или lifetime могут перенести эффект. Cleanup должен удалять только созданный temp-root и не касаться рабочих данных.

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

Для каждого запуска заполняйте строку «protocol | decorator явный | объект имеет run | isinstance | issubclass | warning или TypeError | static checker». Сначала выполните baseline на прежней поддерживаемой версии, затем RC1 и снова свежий baseline, если опыт мог изменить состояние. Пустое поле не равно нулю, отсутствие исключения не подтверждает верное значение, а расхождение повторов означает unstable, а не разрешение выбрать удобную строку.

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

Статус passed допустим, только если каждый protocol, который участвует в runtime-проверке, имеет собственный @runtime_checkable, положительный и отрицательный controls расходятся по наличию run. Отметка not reproduced говорит только об этом fixture; blocked — о нехватке источника или capability. Стоп-линия для этой миграции: Не добавляйте decorator к protocol, который должен оставаться только статическим: runtime Protocol проверяет лишь наличие атрибутов, а не полную сигнатуру и семантику. Нельзя получать зелёный результат broad except, отключением защиты, скрытием warnings или повторением до случайного успеха.

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

Для повтора передайте только: три protocol-декларации, два test classes, bool/исключения, warning capture, вывод static checker и обоснование runtime-границы. Добавьте московский timestamp, точную версию 3.15.0rc1, команду воспроизведения и заранее заданный критерий. Удалите usernames, hostnames, IP, абсолютные домашние пути, tokens, cookies, environment dumps, рабочие файлы и лишние журналы. Источники подтверждают change boundary, но не результ вашего опыта, не массовость боли и не будущую индексацию.

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

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

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

Ответы

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

Ваш ответ

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

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

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