TypeScript Academy · Leçon

Le mot-clé as pour les assertions de type

Remplacer délibérément les types inférés avec as.

Leçon 1 sur 413 étapes

Le mot-clé as pour les assertions de type est une leçon TypeScript Academy gratuite sur CoddyKit. Ceci est la leçon 1 sur 4. Tu peux lire la leçon complète ci-dessous gratuitement — puis la pratiquer en direct dans le navigateur avec un éditeur de code intégré et un tuteur IA 24/7. Elle fait partie du parcours d'apprentissage TypeScript Academy, et ta progression se synchronise sur le web et l'application CoddyKit. Le cours TypeScript Academy comprend 4 leçons au total.

Qu'est-ce qu'une assertion de type ?

Une assertion de type indique au compilateur : « faites-moi confiance, je sais que cette valeur est de type T ». Vous utilisez le mot-clé as : value as Type. Cela modifie la façon dont le vérificateur de types considère la valeur, pas la valeur elle-même.

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

La syntaxe des assertions de type

Écrivez l'expression, puis as, puis le type cible. Il existe également une ancienne syntaxe avec des chevrons, mais as est préférée, car elle fonctionne partout, y compris dans les fichiers JSX/TSX.

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

Les assertions ne modifient pas l'exécution

C'est essentiel : les assertions sont une instruction valable uniquement à la compilation. Elles sont supprimées lors de l'exécution du code. Aucune conversion ni validation n'a lieu ; si votre assertion est incorrecte, la valeur d'exécution reste inchangée et peut provoquer un comportement inattendu.

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!

Quand les assertions sont valides

TypeScript n'autorise les assertions directes qu'entre des types qui se recouvrent, c'est-à-dire lorsque l'un peut être affecté à l'autre. Vous pouvez convertir unknown en string, ou élargir ou rétrécir un type dans le cadre d'une relation existante.

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);

Assertions directes invalides

Si deux types ne se recouvrent pas, TypeScript rejette une assertion directe, car il s'agit probablement d'une erreur. Par exemple, la conversion directe de string en number est bloquée.

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

Rétrécir une union avec une assertion de type

Une utilisation courante et valide consiste à affirmer qu'une valeur d'union est l'un de ses membres lorsque vous disposez d'une information inconnue du compilateur. Utilisez cette technique avec parcimonie : une vérification à l'exécution est généralement plus sûre.

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);

Affirmer le type des éléments DOM

Voici un cas d'utilisation classique dans le monde réel : les requêtes DOM renvoient un type large comme HTMLElement | null. Lorsque vous connaissez l'élément précis, affirmez son type pour accéder à ses propriétés spécifiques.

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

Pourquoi les assertions DOM sont nécessaires

Les API DOM ne peuvent pas savoir quel élément concret vous allez obtenir ; elles renvoient donc des types généraux. Affirmer le sous-type précis, par exemple HTMLInputElement, permet d'accéder à des propriétés comme value ou checked.

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

Le cas particulier des assertions de constantes

Vous avez déjà vu as const. Il s'agit d'une assertion spéciale qui rend une valeur profondément en lecture seule et lui attribue des types littéraux. C'est la seule assertion toujours sûre, puisqu'elle ne fait que rétrécir le type.

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

Les assertions contournent la sécurité

Comme les assertions demandent au compilateur d'arrêter ses vérifications, elles vous transfèrent la responsabilité. Une assertion incorrecte peut dissimuler une véritable erreur de type jusqu'à provoquer un plantage à l'exécution. Utilisez-les uniquement lorsque vous en savez réellement plus que le compilateur.

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

Préférer l'affinement aux assertions

Lorsque c'est possible, préférez l'affinement à l'exécution, avec des gardes de type, aux assertions. L'affinement prouve le type ; l'assertion se contente de l'affirmer. Réservez as aux cas que l'affinement ne peut pas exprimer, comme la spécialisation d'un élément DOM.

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

Vérification rapide

Vérifiez votre compréhension des assertions de type.

Récapitulatif : assertions de type

Vous avez appris que :

  • value as Type demande au compilateur de traiter une valeur comme étant d'un type donné.
  • Les assertions sont valables uniquement à la compilation : aucune conversion ni vérification à l'exécution.
  • Elles ne sont autorisées qu'entre des types qui se recouvrent.
  • Utilisations valides courantes : rétrécir unknown et spécialiser les types d'éléments DOM. Préférez l'affinement lorsque c'est possible.

Ensuite, nous verrons l'opérateur d'assertion de non-nullité.

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

Apprends TypeScript avec un tuteur IA — gratuit

Écris et exécute du vrai code dans ton navigateur, obtiens de l'aide instantanée d'un tuteur IA disponible 24h/24, et reprends là où tu t'es arrêté sur le web ou dans l'app.

Cours
101
Leçons
352

Questions Fréquemment Posées

La leçon « Le mot-clé as pour les assertions de type » est-elle gratuite ?

Oui — le texte complet de « Le mot-clé as pour les assertions de type » est gratuit à lire ici sur le web. Pour la pratiquer de manière interactive (un éditeur de code intégré et un tuteur IA 24/7) et déverrouiller le reste du cours TypeScript Academy, passe à CoddyKit PRO. Le cours TypeScript Academy comprend 4 leçons au total.

Qu'est-ce que j'apprendrai dans « Le mot-clé as pour les assertions de type » ?

Remplacer délibérément les types inférés avec as. Tu pratiques TypeScript Academy avec du code pratique que tu exécutes directement dans le navigateur, et un tuteur IA 24/7 répond à tes questions au fur et à mesure que tu avances dans la leçon.

Dois-je avoir de l'expérience pour commencer TypeScript Academy ?

Aucune expérience préalable n'est requise. TypeScript Academy sur CoddyKit est structuré pour les débutants jusqu'aux apprenants avancés, donc tu peux commencer ici ou depuis le début et avancer à ton rythme. Ceci est la leçon 1 sur 4.

Combien de temps prend la leçon « Le mot-clé as pour les assertions de type » ?

La plupart des leçons CoddyKit prennent environ 5–10 minutes. Chacune est courte et interactive, tu progresses régulièrement et tu repiques exactement où tu t'es arrêté sur le web et l'app.

Peux-tu écrire et exécuter du code dans cette leçon TypeScript Academy ?

Oui. Chaque leçon TypeScript Academy inclut un éditeur de code intégré, tu écris et exécutes du vrai code directement dans ton navigateur et tu reçois des retours IA instantanés — aucune configuration locale requise.

Toutes les leçons de ce cours

  1. Le mot-clé as pour les assertions de type
  2. Opérateur d’assertion de non-nullité
  3. Assertions doubles et leurs risques
  4. Assertions et gardes de type
← Retour à TypeScript Academy