Sugestii de tip: tipuri de adnotare

Sugestiile de tip (adnotările de tip) sunt declarații opționale care spun „această variabilă/parametru are tipul X”. Python NU le verifică în timpul execuției: sunt pentru tine, editorul tău (completare automată!) și instrumente precum mypy sau drop care efectuează verificarea statică de tip.

Adnotarea variabilelor

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

Sintaxa este name: type = value. Fără valoare, este o declarație pură:

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

Funcții de adnotare

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)

Sintaxă: param: type pentru fiecare parametru, -> type pentru returnare. O funcție care nu returnează nimic folosește -> None.

Tipuri generice încorporate (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}

Opțional și Unire

O valoare care poate fi None:

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

X | None este sintaxa modernă (Python 3.10+). Echivalent: Optional[X] din typing. Pentru uniuni de mai multe tipuri: int | str | float.

tastare: instrumente utile

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 = „nu verifica” (folosește cu moderație).
• Callable[[arg1, arg2], return] = o funcție care preia acei parametri și returnează acel tip.

mypy: verificatorul de tip

Instalați mypy, rulați mypy file.py și vă spune dacă tipurile sunt aliniate:

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

Verificarea tipurilor cu mypy

Sugestiile de tip Python nu sunt impuse în timpul rulării de către interpret; sunt ignorate în timpul execuției. Pentru a valida corectitudinea tipului, trebuie să rulați un instrument extern de analiză statică, cum ar fi mypy, executând comanda mypy script.py în terminalul dvs.

Încercați-l singur

Exercițiu de revizuire

Provocare suplimentară