Подсказки по типам: типы аннотаций

Подсказки типов (аннотации типов) — это необязательные объявления, в которых говорится: «эта переменная/параметр имеет тип X». Python НЕ проверяет их во время выполнения: они предназначены для вас, вашего редактора (автозаполнение!) и таких инструментов, как mypy или pyright, выполняющие статическую проверку типов.

Аннотирование переменных

nome: str = "Ada"
anni: int = 36
attivo: bool = True
prezzi: list[float] = [1.2, 3.4]

Синтаксис: name: type = value. Без значения это чистое объявление:

risultato: int  # nessuna assegnazione, solo "annuncio del tipo"

Функции аннотирования

def saluta(nome: str, urlante: bool = False) -> str:
    s = f"Ciao {nome}"
    return s.upper() if urlante else s

def somma(numeri: list[int]) -> int:
    return sum(numeri)

Синтаксис: param: type для каждого параметра, -> type для возврата. Функция, которая ничего не возвращает, использует -> None.

Встроенные универсальные типы (Python 3.9+)

nomi: list[str] = ["a", "b"]
mappa: dict[str, int] = {"x": 1}
coppia: tuple[int, str] = (1, "ok")
unici: set[int] = {1, 2, 3}

Необязательно и Союз

Значение, которое может быть None:

def trova_utente(id: int) -> str | None:
    if id == 1:
        return "Ada"
    return None

X | None — это современный синтаксис (Python 3.10+). Эквивалент: Optional[X] из typing. Для объединений нескольких типов: int | str | float.

набор текста: полезные инструменты

from typing import Any, Callable

def applica(f: Callable[[int], int], x: int) -> int:
    return f(x)

valore: Any = "qualunque cosa"  # disabilita il check

• Any = «не проверять» (используйте экономно).
• Callable[[arg1, arg2], return] = функция, которая принимает эти параметры и возвращает этот тип.

mypy: средство проверки типов

Вы устанавливаете mypy, запускаете mypy file.py, и он сообщает вам, совпадают ли типы:

$ mypy script.py
script.py:5: error: Argument 1 to "somma" has incompatible type "str"; expected "int"

Проверка типов с помощью mypy

Подсказки типов Python не применяются интерпретатором во время выполнения; они игнорируются во время выполнения. Чтобы проверить правильность типа, вы должны запустить внешний инструмент статического анализа, например mypy, выполнив команду mypy script.py в своем терминале.

Попробуйте сами

Обзор упражнения

Дополнительная задача