Как аннотации типов влияют на исполнение кода в Python?

Type Hints в Python: Влияние и Особенности

Это важный вопрос, часто вызывающий недопонимание. Type annotations в Python НЕ влияют на исполнение кода напрямую — это инструмент для разработчиков и инструментов анализа.

Как Python обрабатывает Type Hints

Python полностью игнорирует type hints во время выполнения:

def greet(name: str) -> str:
    return f"Hello, {name}!"

# Это сработает без ошибок, несмотря на аннотацию
result = greet(123)  # Работает! Python не проверяет типы
print(result)  # "Hello, 123!"

Type hints хранятся в атрибуте __annotations__, но не используются интерпретатором:

def add(a: int, b: int) -> int:
    return a + b

print(add.__annotations__)  # {a: <class int>, b: <class int>, return: <class int>}

# Функция работает с любыми типами
print(add("hello", " world"))  # "hello world" — строки поддерживают +

Когда Type Hints Проверяются

Проверка типов происходит извне Python:

1. Static Type Checkers (mypy, pyright, pydantic)

# ❌ mypy предупредит об ошибке
def add(a: int, b: int) -> int:
    return a + b

result = add("5", "3")  # Type error: Argument 1 has incompatible type "str"

2. Runtime Validation Libraries

Pydantic проверяет типы во время исполнения:

from pydantic import BaseModel, ValidationError

class User(BaseModel):
    name: str
    age: int

try:
    user = User(name="John", age="not a number")
except ValidationError as e:
    print(f"Validation error: {e}")

3. Decorators и Функции Валидации

Можно создать декоратор для runtime проверки:

import functools
from typing import get_type_hints

def validate_types(func):
    @functools.wraps(func)
    def wrapper(*args, **kwargs):
        hints = get_type_hints(func)
        # Проверка типов аргументов
        return func(*args, **kwargs)
    return wrapper

@validate_types
def greet(name: str) -> str:
    return f"Hello, {name}!"

Производительность

Type hints практически не влияют на производительность:

import timeit

# Функция без аннотаций
def add_no_hints(a, b):
    return a + b

# Функция с аннотациями
def add_with_hints(a: int, b: int) -> int:
    return a + b

# Оба варианта работают с одинаковой скоростью
print(timeit.timeit(lambda: add_no_hints(1, 2), number=1000000))  # ~0.04s
print(timeit.timeit(lambda: add_with_hints(1, 2), number=1000000))  # ~0.04s

Практические Преимущества Type Hints

1. IDE Поддержка и Автодополнение

from typing import List

def process_users(users: List[dict]) -> None:
    # IDE знает, что users — это список словарей
    # Предложит методы list и подскажет ключи dict
    for user in users:
        print(user["name"])  # IDE узнает о доступных ключах

2. Документирование кода

def fetch_user(user_id: int) -> dict:
    """Получает пользователя по ID."""
    # Ясно видно, что функция принимает int и возвращает dict
    pass

3. Статический анализ кода

# mypy найдёт проблемы ДО запуска
mypy --strict mymodule.py

# Ошибки типов обнаруживаются во время разработки

Advanced Type Hints

Для сложных сценариев Python предоставляет мощный инструментарий:

from typing import Union, Optional, Callable, TypeVar, Generic

# Union — несколько возможных типов
def process(value: Union[int, str]) -> None:
    pass

# Optional — может быть None
def find_user(user_id: int) -> Optional[dict]:
    pass

# Callable — функция
def apply_function(func: Callable[[int], str]) -> str:
    return func(42)

# TypeVar — обобщённые типы
T = TypeVar(T)

def get_first(items: List[T]) -> T:
    return items[0]

PEP 484 и Modern Python

Начиная с Python 3.9+ можно использовать встроенные типы:

# Старый способ
from typing import List, Dict
def process(users: List[dict]) -> Dict[str, int]:
    pass

# Новый способ (Python 3.9+)
def process(users: list[dict]) -> dict[str, int]:
    pass

Заключение

Type hints не влияют на исполнение кода, но:

• Помогают IDE предлагать автодополнение
• Позволяют mypy/pyright находить ошибки
• Служат самодокументирующимся кодом
• Облегчают рефакторинг и поддержку
• Работают с Pydantic для валидации данных

Применяй type hints везде, кроме простых скриптов. Это инвестиция в качество кода и спокойствие.