0Pricing
TypeScript Academy · Leçon

Fonctions d’assertion et gardes de types définis par l’utilisateur

Écrivez des fonctions d’assertion (asserts x is T) et des gardes de types définis par l’utilisateur (x is T) pour réduire sûrement les valeurs unknown ou d’union.

Fonctions d’assertion et gardes de types définis par l’utilisateur est une leçon TypeScript Academy gratuite sur CoddyKit. Ceci est la leçon 3 sur 3. 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 3 leçons au total.

Introduction

Objectif : transformer les vérifications à l'exécution en raffinements de type grâce aux fonctions d'assertion et aux gardes de type définies par l'utilisateur, pour des API sûres.

Fonction d'assertion

Une fonction d'assertion affine les types du code qui suit si elle renvoie une valeur ; sinon, elle doit lever une exception.

function assertIsString(x: unknown): asserts x is string {
  if (typeof x !== "string") {
    throw new Error("Expected string");
  }
}

let v: unknown = Math.random() > 0.5 ? "ok" : 42;
assertIsString(v); // after this, v is string
console.log(v.toUpperCase());

Fonction de garde de type

Une garde de type renvoie x is T, ce qui permet un raffinement intelligent dans les branches et les fonctions utilitaires.

type Circle = { kind: "circle"; radius: number };
type Square = { kind: "square"; size: number };

type Shape = Circle | Square;

function isCircle(s: Shape): s is Circle {
  return s.kind === "circle";
}

function area(s: Shape): number {
  if (isCircle(s)) {
    return Math.PI * s.radius ** 2; // s is Circle here
  }
  return s.size * s.size; // s is Square here
}

console.log(area({ kind: "circle", radius: 2 }));

Gardes dans filter

Les gardes peuvent servir de prédicats pour les méthodes de tableau (par exemple, filter) afin d'affiner proprement les types des éléments.

type Item = { id: number } | null | undefined;

function isPresent<T>(x: T | null | undefined): x is T {
  return x != null;
}

const items: Item[] = [{ id: 1 }, null, undefined, { id: 2 }];
const present = items.filter(isPresent);
// present has type { id: number }[]
console.log(present.map(i => i.id));

Assertions sur les données d'exécution

Combinez l'analyse avec une assertion pour échouer rapidement lorsqu'une valeur n'est pas du type attendu.

function parseJson(s: string): unknown {
  return JSON.parse(s);
}

try {
  const data = parseJson("{\"name\":\"Ada\"}");
  assertIsString(data); // will throw, because data is object
} catch (e) {
  console.log("Handled:", e instanceof Error ? e.message : e);
}

Recommandations

Recommandations :

  • Les assertions doivent lever une exception en cas d'échec.
  • Privilégiez les gardes (x is T) pour la logique de branchement.
  • Utilisez les assertions aux limites des API (entrées-sorties, JSON, DOM).

Vérification de la fonction d'assertion

Vérification rapide : que garantit une fonction d'assertion avec asserts x is string ?

Récapitulatif

Récapitulatif : utilisez les fonctions d'assertion pour imposer les types après les vérifications et les gardes de type définies par l'utilisateur pour affiner les branches et les collections.

Questions Fréquemment Posées

La leçon « Fonctions d’assertion et gardes de types définis par l’utilisateur » est-elle gratuite ?

Oui — le texte complet de « Fonctions d’assertion et gardes de types définis par l’utilisateur » 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 3 leçons au total.

Qu'est-ce que j'apprendrai dans « Fonctions d’assertion et gardes de types définis par l’utilisateur » ?

Écrivez des fonctions d’assertion (asserts x is T) et des gardes de types définis par l’utilisateur (x is T) pour réduire sûrement les valeurs unknown ou d’union. 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 3 sur 3.

Combien de temps prend la leçon « Fonctions d’assertion et gardes de types définis par l’utilisateur » ?

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. Surcharges de fonctions et signatures d’appel
  2. Typage du paramètre this ; void, never
  3. Fonctions d’assertion et gardes de types définis par l’utilisateur
← Retour à TypeScript Academy