TypeScript Academy · Leçon

Définitions de types récursifs

Écrire en toute sécurité des types qui se font référence à eux-mêmes.

Définitions de types récursifs 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’un type récursif ?

Un type récursif est un type qui se référence lui-même dans sa propre définition. Cela permet de décrire des structures de données d’une profondeur illimitée.

type LinkedList<T> = {
  value: T;
  next: LinkedList<T> | null;
};
// next is the same type again, ending at null.

Un type de liste chaînée

L’exemple classique : chaque nœud contient une value et un pointeur next vers un autre nœud, ou null pour terminer la chaîne.

type LinkedList<T> = { value: T; next: LinkedList<T> | null };
const list: LinkedList<number> = {
  value: 1,
  next: { value: 2, next: null }
};
console.log(list.value, list.next?.value);

Le cas de base est essentiel

Tout type récursif a besoin d’un terminateur, ici null, afin que la récursion puisse s’arrêter. Sans lui, le type aurait une profondeur infinie.

type LinkedList<T> = { value: T; next: LinkedList<T> | null };
const single: LinkedList<string> = { value: "only", next: null };
console.log(single.next);

Construire des chaînes plus longues

Vous pouvez imbriquer les éléments aussi profondément que vous le souhaitez ; le type accepte n’importe quelle longueur, car next est lui-même une liste ou la valeur null.

type LinkedList<T> = { value: T; next: LinkedList<T> | null };
const chain: LinkedList<number> = {
  value: 10,
  next: { value: 20, next: { value: 30, next: null } }
};
console.log(chain.next?.next?.value);

Parcourir une liste chaînée

Une fonction peut parcourir la chaîne en suivant next jusqu’à atteindre null. Le type récursif rend cette opération entièrement sûre du point de vue du typage.

type LinkedList<T> = { value: T; next: LinkedList<T> | null };
function toArray<T>(list: LinkedList<T> | null): T[] {
  const out: T[] = [];
  let cur = list;
  while (cur) { out.push(cur.value); cur = cur.next; }
  return out;
}
const l: LinkedList<number> = { value: 1, next: { value: 2, next: null } };
console.log(toArray(l));

Fonctions récursives sur des types récursifs

Les types récursifs s’associent naturellement aux fonctions récursives. Ici, nous calculons la longueur en appliquant la récursion à next.

type LinkedList<T> = { value: T; next: LinkedList<T> | null };
function length<T>(list: LinkedList<T> | null): number {
  return list === null ? 0 : 1 + length(list.next);
}
const l: LinkedList<string> = { value: "a", next: { value: "b", next: null } };
console.log(length(l));

Ajouter un élément au début d’une liste

Comme le type est uniforme, il est facile de construire de nouvelles listes : encapsulez une liste existante dans le champ next d’un nouveau nœud de tête.

type LinkedList<T> = { value: T; next: LinkedList<T> | null };
function prepend<T>(value: T, list: LinkedList<T> | null): LinkedList<T> {
  return { value, next: list };
}
const l = prepend(1, prepend(2, null));
console.log(l.value, l.next?.value);

Terminators facultatifs ou pouvant être nuls

Vous pouvez terminer avec null ou rendre next facultatif. Les deux solutions mettent fin à la récursion ; choisissez selon la manière dont vous souhaitez représenter la fin.

type ListA<T> = { value: T; next: ListA<T> | null };
type ListB<T> = { value: T; next?: ListB<T> };
const a: ListA<number> = { value: 1, next: null };
const b: ListB<number> = { value: 1 };
console.log(a.value, b.value);

Les types récursifs sont évalués paresseusement

TypeScript ne développe un type récursif que jusqu’au niveau réellement utilisé. La définition peut donc se référencer elle-même sans provoquer un travail infini.

type LinkedList<T> = { value: T; next: LinkedList<T> | null };
// Using two levels only expands two levels.
const l: LinkedList<number> = { value: 1, next: { value: 2, next: null } };
console.log(l.next?.value);

Transformer une liste

Une transformation récursive modifie chaque valeur tout en préservant la structure, et renvoie une nouvelle liste de même forme.

type LinkedList<T> = { value: T; next: LinkedList<T> | null };
function mapList<T, U>(list: LinkedList<T> | null, fn: (v: T) => U): LinkedList<U> | null {
  if (list === null) return null;
  return { value: fn(list.value), next: mapList(list.next, fn) };
}
const l: LinkedList<number> = { value: 1, next: { value: 2, next: null } };
console.log(mapList(l, x => x * 10)?.value);

Pourquoi les types récursifs sont puissants

Les types qui se référencent eux-mêmes permettent de modéliser des données imbriquées à volonté, des listes, des arbres et des données au format JSON, avec une sécurité de typage complète et sans limite de profondeur fixée par votre conception.

type LinkedList<T> = { value: T; next: LinkedList<T> | null };
const l: LinkedList<boolean> = { value: true, next: { value: false, next: null } };
console.log(l.value, l.next?.value);

Vérification rapide : types récursifs

Vérifiez votre compréhension des définitions de types récursifs.

Récapitulatif : définitions de types récursifs

Vous avez appris qu’un type récursif se référence lui-même, qu’il a besoin d’un cas de base comme null pour s’arrêter, et qu’il s’associe naturellement aux fonctions récursives pour parcourir, transformer et construire des listes chaînées.

type LinkedList<T> = { value: T; next: LinkedList<T> | null };
const l: LinkedList<number> = { value: 1, next: null };
console.log(l.value);

Questions Fréquemment Posées

La leçon « Définitions de types récursifs » est-elle gratuite ?

Oui — le texte complet de « Définitions de types récursifs » 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 « Définitions de types récursifs » ?

Écrire en toute sécurité des types qui se font référence à eux-mêmes. 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 « Définitions de types récursifs » ?

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

← Retour à TypeScript Academy