Типизация Python

Все темы Python Developer

Что дают аннотации типов в динамическом Python?

Аннотации описывают контракт функции и помогают IDE, статическому анализатору и безопасному рефакторингу. Python обычно не проверяет их при вызове, поэтому внешние данные все равно требуют runtime-валидации. Any отключает значимую часть проверки и легко распространяется по коду; на недоверенной границе лучше принять unknown-подобную широкую форму, проверить ее и вернуть точный тип. Аннотации не меняют динамическую природу объектов. Полезность контракта подтверждает статическая проверка проекта, а недоверенные данные по-прежнему проверяют при выполнении.

Когда нужен Generic в Python?

Обобщение нужно, когда между типами есть связь, которую нельзя выразить через object или Any: контейнер хранит элементы одного типа, а функция возвращает тот же тип, что получила. Эту связь задают параметром типа, например TypeVar, и применяют к классу или функции. Анализатор сохраняет конкретный тип при использовании. В рантайме Generic сам по себе не проверяет значения и обычно не создает отдельные реализации.

Чем dict, Mapping и TypedDict отличаются в аннотациях?

dict[K, V] обещает изменяемый словарь с ключами K и значениями V. Mapping[K, V] описывает интерфейс чтения и подходит параметру, которому не нужны изменения. TypedDict задает известные строковые поля, их отдельные типы и обязательность, но в рантайме значение остается обычным dict. Ни одна из этих аннотаций не валидирует JSON автоматически; для этого нужен отдельный валидатор. Полезность контракта подтверждает статическая проверка проекта, а недоверенные данные по-прежнему проверяют при выполнении.

Когда использовать typing.Protocol вместо ABC?

Protocol выбирают для структурной типизации: объект подходит, если имеет нужные методы и атрибуты, даже без наследования. Это удобно на границе репозитория, клиента или адаптера. ABC задает номинальную иерархию и может поставлять общую реализацию и запрещать создание неполного подкласса. @runtime_checkable разрешает ограниченный isinstance, но проверяет наличие атрибутов, а не полную совместимость их сигнатур. Полезность контракта подтверждает статическая проверка проекта, а недоверенные данные по-прежнему проверяют при выполнении.