0Pricing
Frontend Academy · Lezione

Generics: T extends e vincoli

Scrivere funzioni e interfacce generiche, vincolare i parametri di tipo con extends e usare valori predefiniti generici per creare API flessibili.

Generics: T extends e vincoli è una lezione Frontend Academy gratuita su CoddyKit. Questa è la lezione 1 di 4. Puoi leggere la lezione completa qui gratuitamente — poi esercitati direttamente nel browser con un editor di codice integrato e un tutor IA disponibile 24/7. Fa parte del percorso di apprendimento Frontend Academy, e i tuoi progressi si sincronizzano tra il web e l'app CoddyKit. Il corso Frontend Academy include 4 lezioni in totale.

Che cosa sono i generics?

I generics consentono di scrivere funzioni, classi e interfacce che funzionano con più tipi mantenendo la sicurezza dei tipi. Invece di scrivere funzioni separate per ogni tipo, si scrive un'unica funzione generica parametrizzata da una variabile di tipo.

Una semplice funzione generica

Il parametro di tipo T viene dichiarato tra parentesi angolari. TypeScript deduce T dal tipo dell'argomento: non è necessaria alcuna annotazione esplicita nel punto della chiamata.

function identity<T>(value: T): T {
  return value;
}

identity(42);      // T is inferred as number, returns number
identity('hello'); // T inferred as string
identity<boolean>(true); // explicit

Interfacce e tipi generici

Parametrizzi interfacce e tipi con i generics per descrivere strutture dati riutilizzabili.

interface Box<T> {
  value: T;
  label?: string;
}

const numBox: Box<number> = { value: 42 };
const strBox: Box<string> = { value: 'hello', label: 'greeting' };

extends — Vincolare i tipi generici

Utilizzi T extends SomeType per limitare i tipi che T può rappresentare. La funzione accetta solo tipi che soddisfano il vincolo.

function getLength<T extends { length: number }>(item: T): number {
  return item.length; // safe: T is guaranteed to have length
}

getLength('hello');       // 5
getLength([1, 2, 3]);    // 3
getLength({ length: 7 }); // 7
// getLength(42);         // Error: number has no length

keyof e vincoli dei generics

keyof T produce un'unione delle chiavi delle proprietà di T. In combinazione con i generics, consente di accedere alle proprietà in modo type-safe.

function getProperty<T, K extends keyof T>(obj: T, key: K): T[K] {
  return obj[key];
}

const user = { name: 'Alice', age: 30 };
getProperty(user, 'name');  // string
getProperty(user, 'age');   // number
// getProperty(user, 'foo'); // Error

Valori predefiniti dei generics

Fornisca un tipo predefinito per un parametro generico con T = DefaultType. Viene utilizzato quando esiste un valore predefinito sensato, ma chi effettua la chiamata può sostituirlo.

interface Paginated<T = unknown> {
  items: T[];
  total: number;
  page: number;
}

const rawPage: Paginated = { items: [], total: 0, page: 1 };
const typedPage: Paginated<User> = { items: [], total: 0, page: 1 };

Più parametri di tipo

Le funzioni possono avere più parametri di tipo indipendenti.

function zip<A, B>(arrA: A[], arrB: B[]): Array<[A, B]> {
  return arrA.map((a, i) => [a, arrB[i]]);
}

zip([1, 2, 3], ['a', 'b', 'c']);
// [[1,'a'], [2,'b'], [3,'c']]

Classi generiche

Anche le classi possono essere generiche. È comune nelle strutture dati come stack, code e store osservabili.

class Stack<T> {
  private items: T[] = [];
  push(item: T) { this.items.push(item); }
  pop(): T | undefined { return this.items.pop(); }
  peek(): T | undefined { return this.items.at(-1); }
  get size() { return this.items.length; }
}

const stack = new Stack<number>();
stack.push(1);
stack.push(2);
stack.pop(); // 2

Funzioni generiche asincrone

Le funzioni generiche asincrone sono comuni nelle chiamate API tipizzate.

async function fetchJson<T>(url: string): Promise<T> {
  const res = await fetch(url);
  if (!res.ok) throw new Error(`HTTP ${res.status}`);
  return res.json() as Promise<T>;
}

const users = await fetchJson<User[]>('/api/users');
const profile = await fetchJson<UserProfile>('/api/me');

infer nei tipi condizionali

La parola chiave infer all'interno di un tipo condizionale estrae un tipo da uno schema. Viene utilizzata nel codice delle librerie per estrarre il tipo restituito da una funzione o il tipo degli elementi di un array.

type ReturnType<T> = T extends (...args: any[]) => infer R ? R : never;

type ElementType<T> = T extends Array<infer E> ? E : never;

type Fn = () => { name: string };
type Result = ReturnType<Fn>; // { name: string }

Quando usare i generics

Utilizzi i generics quando: 1) la stessa logica si applica a più tipi, 2) serve una relazione tra i tipi di input e output, 3) si sta creando una struttura dati o un'utilità riutilizzabile. Non usi i generics solo per il gusto di farlo: i tipi concreti sono più chiari quando esiste un solo caso d'uso.

Verifica rapida

Che cosa garantisce il vincolo T extends { length: number }?

Riepilogo: generics

I generics parametrizzano i tipi, così un'unica funzione, classe o interfaccia può funzionare con più tipi. T extends SomeType aggiunge vincoli. keyof T restituisce un'unione delle chiavi delle proprietà. I valori predefiniti dei generics si definiscono con T = Default. infer estrae i tipi nei tipi condizionali. Utilizzi i generics per utilità tipizzate e strutture dati riutilizzabili.

Domande Frequenti

La lezione «Generics: T extends e vincoli» è gratuita?

Sì — il testo completo di «Generics: T extends e vincoli» è gratuito qui sul web. Per esercitarvi in modo interattivo (un editor di codice integrato e un tutor IA 24/7) e sbloccare il resto del corso Frontend Academy, passa a CoddyKit PRO. Il corso Frontend Academy include 4 lezioni in totale.

Cosa imparerò in «Generics: T extends e vincoli»?

Scrivere funzioni e interfacce generiche, vincolare i parametri di tipo con extends e usare valori predefiniti generici per creare API flessibili. Eserciti Frontend Academy con codice pratico che esegui direttamente nel browser, e un tutor IA 24/7 risponde alle tue domande mentre lavori sulla lezione.

Ho bisogno di esperienza per iniziare Frontend Academy?

Non è richiesta alcuna esperienza precedente. Frontend Academy su CoddyKit è strutturato per principianti e studenti avanzati, quindi puoi iniziare da qui o dall'inizio e procedere al tuo ritmo. Questa è la lezione 1 di 4.

Quanto tempo richiede la lezione «Generics: T extends e vincoli»?

La maggior parte delle lezioni CoddyKit richiede circa 5–10 minuti. Ogni lezione è breve e interattiva, quindi fai progressi costanti e riprendi esattamente da dove hai lasciato su web e app.

Posso scrivere ed eseguire codice in questa lezione Frontend Academy?

Sì. Ogni lezione Frontend Academy include un editor di codice integrato, quindi scrivi ed esegui codice reale direttamente nel tuo browser e ricevi feedback istantaneo dall'IA — nessuna configurazione locale necessaria.

Tutte le lezioni di questo corso

  1. Generics: T extends e vincoli
  2. Utility type: Partial, Required, Pick e Omit
  3. Mapped type e conditional type
  4. Narrowing: typeof, instanceof e union discriminate
← Torna a Frontend Academy