Type hints: adnotacje typów

Podpowiedzi typów lub type hints (anotacje typów) to opcjonalne deklaracje, które mówią: „ta zmienna/parametr ma typ X”. Python NIE weryfikuje ich w czasie wykonywania kodu: są one przeznaczone dla Ciebie, Twojego edytora (autouzupełnianie!) oraz narzędzi takich jak mypy lub pyright, które wykonują statyczną analizę typów.

Anotowanie zmiennych

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

Składnia to nazwa: typ = wartosc. Bez wartości jest to czysta deklaracja:

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

Anotowanie funkcji

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)

Składnia: param: typ dla każdego parametru, -> typ dla zwracanej wartości. Funkcja, która nic nie zwraca, używa -> None.

Wbudowane typy generyczne (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}

Optional i Union

Wartość, która może wynosić None:

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

X | None to nowoczesna składnia (Python 3.10+). Odpowiednik: Optional[X] z modułu typing. Dla unii wielu typów: int | str | float.

typing: przydatne narzędzia

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 = „nie sprawdzaj” (używaj oszczędnie).
• Callable[[arg1, arg2], return] = funkcja przyjmująca podane parametry i zwracająca dany typ.

mypy: parser typów

Instalujesz mypy, uruchamiasz mypy plik.py i informuje Cię, czy typy się zgadzają:

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

Sprawdzanie typów za pomocą mypy

Anotacje typów w Pythonie nie są egzekwowane w czasie wykonywania przez interpreter; są ignorowane podczas wykonywania programu. Aby zweryfikować poprawność typów, musisz uruchomić zewnętrzne narzędzie do analizy statycznej, takie jak mypy, wpisując w terminalu polecenie mypy script.py.

Spróbuj sam

Ćwiczenie powtórzeniowe

Dodatkowe wyzwanie