Freshness e controllo delle proprietà in eccesso
Scopra perché le proprietà in eccesso generano errori in alcuni contesti.
Freshness e controllo delle proprietà in eccesso è una lezione TypeScript Academy gratuita su CoddyKit. Questa è la lezione 3 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 TypeScript Academy, e i tuoi progressi si sincronizzano tra il web e l'app CoddyKit. Il corso TypeScript Academy include 4 lezioni in totale.
Che cos'è la freshness?
La freshness è un concetto di TypeScript secondo cui i literal di oggetti vengono considerati "fresh" al momento della creazione. Gli oggetti fresh sono sottoposti a un controllo rigoroso delle proprietà in eccesso, che non viene applicato agli oggetti ampliati.
interface Point { x: number; y: number; }
const p: Point = { x: 1, y: 2, z: 3 }; // Error: 'z' not in PointControllo delle proprietà in eccesso in pratica
Quando assegna direttamente un literal di oggetto a una variabile tipizzata o lo passa come argomento a una funzione, TypeScript segnala le proprietà aggiuntive che non appartengono al tipo di destinazione.
function setPoint(p: { x: number; y: number }) {}
setPoint({ x: 1, y: 2, z: 3 }); // Error: 'z' excess propertyPerché esiste il controllo delle proprietà in eccesso
Rileva gli errori di battitura e le proprietà non intenzionali negli oggetti di configurazione, una fonte comune di bug in JavaScript.
interface Options { timeout: number; retry?: boolean; }
const opts: Options = { timeout: 3000, retrey: true }; // Error — typo!Come si perde la freshness
Quando un literal di oggetto viene assegnato a una variabile intermedia, non è più "fresh" e il controllo delle proprietà in eccesso non viene applicato al tipo ampliato.
const opts = { timeout: 3000, retry: true, extra: "surprise" };
const o: Options = opts; // No error — freshness lost on assignmentLe asserzioni di tipo aggirano la freshness
L'utilizzo delle asserzioni di tipo as aggira inoltre i controlli delle proprietà in eccesso, nascondendo potenzialmente dei bug.
const o = { timeout: 3000, typo: true } as Options; // No errorControllo delle proprietà in eccesso con i tipi intersezione
I tipi intersezione possono talvolta rendere meno rigidi i controlli delle proprietà in eccesso, perché le proprietà aggiuntive possono appartenere a uno dei membri dell'intersezione.
type A = { x: number };
type B = { y: number };
const ab: A & B = { x: 1, y: 2 }; // OKProprietà readonly e proprietà in eccesso
Il controllo delle proprietà in eccesso si applica anche ai tipi di oggetti readonly: la regola riguarda la struttura, non la mutabilità.
interface Cfg { readonly host: string; }
const c: Cfg = { host: "localhost", port: 3000 }; // ErrorSignature di indice e proprietà in eccesso
L'aggiunta di una signature di indice a un tipo consente qualsiasi proprietà aggiuntiva con chiave stringa, disabilitando di fatto il controllo delle proprietà in eccesso per quel tipo.
interface Flexible { name: string; [key: string]: unknown; }
const f: Flexible = { name: "ts", extra: true }; // OKProprietà opzionali e freshness
Le proprietà opzionali non rendono meno rigido il controllo delle proprietà in eccesso. Una proprietà non elencata, anche se opzionale, viene comunque segnalata come proprietà in eccesso.
interface Shape { color?: string; }
const s: Shape = { color: "red", size: 10 }; // Error: 'size' excessPattern pratici
Per passare proprietà di configurazione aggiuntive attraverso un'interfaccia tipizzata senza errori, utilizzi una variabile intermedia oppure una signature di indice nell'interfaccia.
// Option 1: intermediate variable (freshness lost)
const cfg = { timeout: 3000, debugMode: true };
const o: Options = cfg;
// Option 2: index signature in interfaceRiepilogo: freshness
La freshness si applica ai literal di oggetti fresh e abilita il controllo delle proprietà in eccesso al momento dell'assegnazione. Assegni l'oggetto a una variabile intermedia oppure utilizzi una signature di indice per consentire proprietà aggiuntive.
Verifica rapida
Quando NON si applica il controllo delle proprietà in eccesso?
Che cosa ha imparato
La freshness e il controllo delle proprietà in eccesso proteggono dagli errori di battitura e dalle proprietà non intenzionali nei literal di oggetti. Comprenda quando si perde la freshness per evitare errori di tipo imprevisti o bug nascosti.
Domande Frequenti
La lezione «Freshness e controllo delle proprietà in eccesso» è gratuita?
Sì — il testo completo di «Freshness e controllo delle proprietà in eccesso» è 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 TypeScript Academy, passa a CoddyKit PRO. Il corso TypeScript Academy include 4 lezioni in totale.
Cosa imparerò in «Freshness e controllo delle proprietà in eccesso»?
Scopra perché le proprietà in eccesso generano errori in alcuni contesti. Eserciti TypeScript 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 TypeScript Academy?
Non è richiesta alcuna esperienza precedente. TypeScript 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 3 di 4.
Quanto tempo richiede la lezione «Freshness e controllo delle proprietà in eccesso»?
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 TypeScript Academy?
Sì. Ogni lezione TypeScript 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
- Meccanismi di widening e narrowing dei tipi
- Tipizzazione contestuale: inferenza dal contesto
- Freshness e controllo delle proprietà in eccesso
- Asserzioni const e as const