0Pricing
TypeScript Academy · Leçon

Mécanismes d’élargissement et d’affinement des types

Découvrez comment TypeScript élargit les types et quand l’en empêcher

Mécanismes d’élargissement et d’affinement des types 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 que l’élargissement de type ?

L’élargissement de type se produit lorsque TypeScript déduit un type plus général que celui que vous avez écrit. L’affectation de let x = "hello" est élargie en string, et non conservée comme le littéral "hello".

let x = "hello"; // inferred: string, not "hello"
let y = 42;       // inferred: number, not 42

Élargissement avec let et const

Les variables déclarées avec const conservent leur type littéral, car elles ne peuvent pas être réaffectées. let est élargi vers le type de base.

const a = "world"; // type: "world"
let   b = "world"; // type: string

Empêcher l’élargissement avec des annotations de type

L’annotation explicite d’une variable let empêche son élargissement et fixe le type littéral.

let direction: "left" | "right" = "left";
// direction = "up"; // Error: not assignable

Affinement avec typeof

TypeScript affine un type union à l’intérieur des vérifications typeof, ce qui vous fournit un type précis dans cette branche.

function format(val: string | number) {
  if (typeof val === "string") {
    return val.toUpperCase(); // val: string here
  }
  return val.toFixed(2);     // val: number here
}

Affinement avec des vérifications d’égalité

Les vérifications d’égalité avec des valeurs littérales affinent également le type à l’intérieur de la branche.

type Direction = "left" | "right" | "up";
function handle(dir: Direction) {
  if (dir === "left") {
    console.log("Going left"); // dir: "left"
  }
}

Analyse du flux de contrôle

TypeScript suit les affectations dans le flux de contrôle et affine le type après chaque branche.

function process(x: string | null) {
  if (x === null) return;
  // x is string here — TypeScript knows null is ruled out
  console.log(x.length);
}

Élargissement dans les littéraux d’objet

Les valeurs des propriétés des littéraux d’objet sont également élargies, sauf si vous utilisez as const.

const config = { mode: "dark" };
// config.mode: string (widened)

const config2 = { mode: "dark" } as const;
// config2.mode: "dark" (literal)

Fraîcheur et élargissement

Lorsque vous affectez directement un littéral d’objet à une variable typée, TypeScript applique la vérification des propriétés excédentaires — mais une fois le littéral élargi dans une variable nommée, cette vérification ne s’applique plus.

interface Options { timeout: number; }
const opts = { timeout: 3000, retry: true };
// No error — widened type, excess property check skipped
const o: Options = opts;

Affinement avec l’opérateur in

L’opérateur in affine les types union d’objets en vérifiant si une propriété existe.

type Cat = { meow(): void };
type Dog = { bark(): void };
function speak(animal: Cat | Dog) {
  if ("meow" in animal) animal.meow();
  else animal.bark();
}

Affinement avec des fonctions d’assertion

Les fonctions d’assertion utilisent des types de retour asserts condition pour affiner le type après l’appel.

function assertString(val: unknown): asserts val is string {
  if (typeof val !== "string") throw new Error("Expected string");
}
const x: unknown = "hi";
assertString(x);
x.toUpperCase(); // OK — narrowed to string

Récapitulatif : élargissement et affinement

L’élargissement généralise les types déduits pour offrir davantage de flexibilité ; l’affinement transforme un type général en un type précis à l’intérieur d’une branche conditionnelle. Comprendre les deux vous aide à écrire du TypeScript plus sûr.

Vérification rapide

Quelle déclaration empêche l’élargissement vers le type de base ?

Ce que vous avez appris

Vous comprenez désormais l’élargissement de type — la manière dont TypeScript généralise les types déduits — et l’affinement — la manière dont les vérifications conditionnelles produisent des types précis. Utilisez as const pour empêcher l’élargissement et les vérifications du flux de contrôle pour affiner les unions en toute sécurité.

Questions Fréquemment Posées

La leçon « Mécanismes d’élargissement et d’affinement des types » est-elle gratuite ?

Oui — le texte complet de « Mécanismes d’élargissement et d’affinement des types » 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 « Mécanismes d’élargissement et d’affinement des types » ?

Découvrez comment TypeScript élargit les types et quand l’en empêcher 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 « Mécanismes d’élargissement et d’affinement des types » ?

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. Mécanismes d’élargissement et d’affinement des types
  2. Typage contextuel : déduction depuis le contexte
  3. Fraîcheur et vérification des propriétés superflues
  4. Assertions const et as const
← Retour à TypeScript Academy