0Pricing
TypeScript Academy · Leçon

Affiner les unions entre les frontières des fonctions

Conservez une réduction sûre entre les frontières des fonctions grâce aux unions discriminées, aux retours prédicats et aux types de style Result.

Affiner les unions entre les frontières des fonctions 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 : conservez vos affinements lors des appels de fonctions grâce aux unions marquées, aux retours de prédicats et aux utilitaires de validation.

  • Zéro as non sûr aux points d’appel
  • Les affinements voyagent avec les données

Retour d’une union marquée

Motif Result : l’appelant affine le type en vérifiant ok. Aucun transtypage, le flux de contrôle est clair.

type Ok<T> = { ok: true; value: T }
type Err = { ok: false; error: string }

type Result<T> = Ok<T> | Err

function parseIntSafe(s: string): Result<number> {
  const n = Number(s)
  return Number.isFinite(n) ? { ok: true, value: n } : { ok: false, error: "NaN" }
}

function useIt(s: string) {
  const r = parseIntSafe(s)
  if (r.ok) {
    // r is Ok<number>
    return r.value * 2
  }
  // r is Err
  return `bad: ${r.error}`
}

Retour d’un prédicat

Les retours de prédicats (x is T) centralisent les vérifications et conservent l’affinement aux points d’appel.

type User = { id: number; name: string }

type MaybeUser = User | null

function hasUser(x: MaybeUser): x is User {
  return x !== null
}

function greet(x: MaybeUser) {
  if (hasUser(x)) {
    // x narrowed to User
    return `Hello ${x.name}`
  }
  return "Anonymous"
}

Transmission de l’affinement

Affinez avec une garde (par ex. isCircle), puis transmettez la valeur ; les fonctions en aval voient le type plus précis.

type Shape =
  | { kind: "circle"; radius: number }
  | { kind: "square"; size: number }

function isCircle(s: Shape): s is Extract<Shape, { kind: "circle" }> {
  return s.kind === "circle"
}

function area(s: Shape) {
  if (isCircle(s)) {
    // s is circle here
    return Math.PI * s.radius * s.radius
  }
  return s.size * s.size
}

Valider à la frontière

Validez à la frontière et renvoyez Valid/Invalid ; les appelants affinent le type grâce à l’étiquette et obtiennent des données entièrement typées.

type Payload = { email: string; retries?: number }

type Valid = { ok: true; data: Required<Payload> }
type Invalid = { ok: false; issues: string[] }

type Validation = Valid | Invalid

function validate(p: unknown): Validation {
  const issues: string[] = []
  if (typeof p !== "object" || p === null) return { ok: false, issues: ["not an object"] }
  const x = p as any
  if (typeof x.email !== "string") issues.push("email:string")
  if (x.retries !== undefined && typeof x.retries !== "number") issues.push("retries:number")
  if (issues.length) return { ok: false, issues }
  return { ok: true, data: { email: x.email, retries: x.retries ?? 0 } }
}

function handle(p: unknown) {
  const v = validate(p)
  if (!v.ok) return `bad: ${v.issues.join(",")}`
  // v.data is fully typed here
  return `send to ${v.data.email} (${v.data.retries})`
}

Conseils

Bonnes pratiques :

  • Préférez de petites étiquettes stables (ok, kind)
  • Centralisez les vérifications dans des utilitaires de prédicats
  • Utilisez des switch exhaustifs aux points d’appel
  • Évitez any et les transtypages non sûrs

Affinement au-delà des frontières

Vérification rapide : quel motif préserve le mieux l’affinement lors des appels entre fonctions ?

Récapitulatif

Récapitulatif : transportez les affinements comme des données (Result), validez aux frontières et évitez les transtypages non sûrs ; les appelants affinent le type grâce à de simples vérifications d’étiquettes.

Questions Fréquemment Posées

La leçon « Affiner les unions entre les frontières des fonctions » est-elle gratuite ?

Oui — le texte complet de « Affiner les unions entre les frontières des fonctions » 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 « Affiner les unions entre les frontières des fonctions » ?

Conservez une réduction sûre entre les frontières des fonctions grâce aux unions discriminées, aux retours prédicats et aux types de style Result. 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 « Affiner les unions entre les frontières des fonctions » ?

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. Switch exhaustifs et vérifications avec never
  2. Fonctions prédicats et opérateur satisfies
  3. Affiner les unions entre les frontières des fonctions
← Retour à TypeScript Academy