TypeScript Academy · Lezione

La keyword as per le asserzioni di tipo

Sovrascriva deliberatamente i tipi inferiti con as.

La keyword as per le asserzioni di tipo è una lezione TypeScript 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 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'è un'asserzione di tipo

Un'asserzione di tipo dice al compilatore «si fidi, so che questo valore è di tipo T». Si utilizza la parola chiave as: value as Type. Cambia il modo in cui il verificatore dei tipi interpreta il valore, non il valore stesso.

const raw: unknown = 'hello world';
const text = raw as string;
console.log(text.toUpperCase());

La sintassi as

Scriva l'espressione, poi as, quindi il tipo di destinazione. Esiste anche una sintassi precedente con parentesi angolari, ma as è quella preferita perché funziona ovunque, inclusi i file JSX/TSX.

const value: unknown = 42;
const n = value as number;
console.log(n + 8);

Le asserzioni non cambiano il runtime

Questo è fondamentale: le asserzioni sono istruzioni valide solo in fase di compilazione. Vengono eliminate quando il codice viene eseguito. Non avviene alcuna conversione né convalida: se l'asserzione è errata, il valore a runtime rimane invariato e può causare un comportamento imprevisto.

const v: unknown = 'not a number';
const n = v as number; // compiles, but v is still a string
console.log(typeof n); // 'string' at runtime!

Quando le asserzioni sono valide

TypeScript consente asserzioni dirette solo tra tipi che si sovrappongono, cioè quando uno è assegnabile all'altro. Può asserire unknown come string, oppure ampliare o restringere il tipo all'interno di una relazione esistente.

const u: unknown = 'ok';
const s = u as string; // valid: unknown overlaps everything
const broad = s as string | number; // valid widening
console.log(s, broad);

Asserzioni dirette non valide

Se due tipi non hanno alcuna sovrapposizione, TypeScript rifiuta un'asserzione diretta perché probabilmente è un errore. Per esempio, viene impedito di asserire direttamente un string come number.

const s = 'hello';
// const n = s as number; // Error: neither type sufficiently overlaps
console.log('Direct unrelated assertions are blocked');

Restringere un'unione con as

Un uso comune e valido consiste nell'asserire un valore di tipo unione come uno dei suoi membri quando si dispone di informazioni che il compilatore non ha. Lo utilizzi con parsimonia: un controllo a runtime è generalmente più sicuro.

type Shape = { kind: 'circle'; r: number } | { kind: 'square'; s: number };
const data: Shape = { kind: 'circle', r: 5 };
const circle = data as { kind: 'circle'; r: number };
console.log(circle.r);

Asserire i tipi degli elementi DOM

Un classico caso d'uso reale: le query del DOM restituiscono un tipo ampio come HTMLElement | null. Quando conosce l'elemento specifico, può asserirne il tipo per accedere alle proprietà specifiche dell'elemento.

// document.getElementById returns HTMLElement | null
// const input = document.getElementById('email') as HTMLInputElement;
// console.log(input.value);
console.log('Assert HTMLElement to HTMLInputElement for .value');

Perché servono le asserzioni DOM

Le API del DOM non possono sapere quale elemento concreto otterrà, quindi restituiscono tipi generici. Asserire il sottotipo specifico, ad esempio HTMLInputElement, consente di utilizzare proprietà come value o checked.

// const canvas = document.querySelector('#c') as HTMLCanvasElement;
// const ctx = canvas.getContext('2d');
console.log('querySelector returns Element | null; assert to specialize');

Le asserzioni const sono un caso speciale

Ha già visto as const. È un'asserzione speciale che rende un valore profondamente di sola lettura e gli assegna tipi letterali. È l'unica asserzione sempre sicura, poiché restringe soltanto il tipo.

const tuple = [1, 2, 3] as const;
// type: readonly [1, 2, 3]
console.log(tuple.length);

Le asserzioni aggirano la sicurezza

Poiché le asserzioni dicono al compilatore di interrompere i controlli, trasferiscono a Lei la responsabilità. Un'asserzione errata può nascondere un reale errore di tipo fino a provocare un arresto a runtime. Le utilizzi solo quando sa davvero più del compilatore.

const data: unknown = { id: 1 };
const user = data as { id: number; name: string };
// name does not exist at runtime
console.log(user.name); // undefined, no compile error

Preferire il restringimento alle asserzioni

Quando possibile, preferisca il restringimento a runtime, tramite type guard, alle asserzioni. Il restringimento dimostra il tipo, mentre l'asserzione si limita ad affermarlo. Riservi as ai casi che il restringimento non può esprimere, come la specializzazione degli elementi DOM.

function safe(v: unknown): number {
  if (typeof v === 'number') return v; // proven
  return 0;
}
console.log(safe(10), safe('x'));

Verifica rapida

Verifichi la sua comprensione delle asserzioni di tipo.

Riepilogo: asserzioni as

Ha imparato che:

value as Type dice al compilatore di trattare un valore come appartenente a un determinato tipo.
Le asserzioni sono valide solo in fase di compilazione: non eseguono alcuna conversione o verifica a runtime.
Sono consentite solo tra tipi sovrapposti.
Usi validi comuni: restringere unknown e specificare il tipo degli elementi DOM. Quando possibile, preferisca il restringimento.

Ora esaminiamo l'operatore di asserzione non-null.

const raw: unknown = 'data';
const s = raw as string;
console.log(s.length);

Domande Frequenti

La lezione «La keyword as per le asserzioni di tipo» è gratuita?

Sì — il testo completo di «La keyword as per le asserzioni di tipo» è 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 «La keyword as per le asserzioni di tipo»?

Sovrascriva deliberatamente i tipi inferiti con as. 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 1 di 4.

Quanto tempo richiede la lezione «La keyword as per le asserzioni di tipo»?

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

← Torna a TypeScript Academy