TypeScript Academy · Leçon

Récursivité au niveau des types

Parcourir les types avec des types conditionnels récursifs.

Récursivité au niveau des types est une leçon TypeScript Academy gratuite sur CoddyKit. Ceci est la leçon 3 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.

Récursion dans les types

Un type conditionnel peut faire référence à lui-même. Cela donne des boucles au langage des types. La plupart des récursions au niveau des types parcourent un tuple élément par élément, en retirant la tête et en appliquant récursivement le traitement à la queue.

type Length<T extends unknown[]> =
  T extends [unknown, ...infer Rest]
    ? Length<Rest>
    : 0;
// (this counts down to a base case)

Le cas de base

Toute récursion a besoin d’une condition d’arrêt. Pour les tuples, il s’agit généralement du tuple vide. Lorsque le motif [head, ...rest] ne correspond plus, vous avez atteint la fin et renvoyez un résultat fixe.

type IsEmpty<T extends unknown[]> =
  T extends [] ? true : false;

type A = IsEmpty<[]>;     // true
type B = IsEmpty<[1, 2]>; // false

Tête et queue

L’opération fondamentale consiste à séparer un tuple en son premier élément et le tuple restant, en utilisant infer avec le motif de décomposition.

type Head<T extends unknown[]> = T extends [infer H, ...unknown[]] ? H : never;
type Tail<T extends unknown[]> = T extends [unknown, ...infer R] ? R : [];

type A = Head<[1, 2, 3]>; // 1
type B = Tail<[1, 2, 3]>; // [2, 3]

Traiter élément par élément

Combinez la tête, la queue et la récursion pour transformer un tuple entier. ToStrings reconstruit le tuple en remplaçant le type de chaque élément par string.

type ToStrings<T extends unknown[]> =
  T extends [infer H, ...infer R]
    ? [string, ...ToStrings<R>]
    : [];

type A = ToStrings<[1, true, 3]>; // [string, string, string]

Le schéma de l’accumulateur

Souvent, vous construisez progressivement un résultat dans un paramètre supplémentaire appelé accumulateur. Il commence vide et grandit à chaque étape. Cela évite de reparcourir la structure et constitue la technique standard pour les boucles au niveau des types.

type Reverse<T extends unknown[], Acc extends unknown[] = []> =
  T extends [infer H, ...infer R]
    ? Reverse<R, [H, ...Acc]>
    : Acc;

type A = Reverse<[1, 2, 3]>; // [3, 2, 1]

Parcourir l’accumulateur

Suivez Reverse<[1,2,3]> :

Étape 1 : H=1, Acc devient [1]
Étape 2 : H=2, Acc devient [2,1]
Étape 3 : H=3, Acc devient [3,2,1]
Tuple vide, renvoyer Acc = [3,2,1]

L’accumulateur transporte le résultat à chaque appel récursif.

type R = Reverse<["a", "b"]>; // ["b", "a"]

Récursion sur les unions

Vous pouvez aussi utiliser la récursion pour joindre une union de chaînes. Ici, nous concaténons les éléments d’un tuple en un seul type littéral de chaîne, séparés par un délimiteur.

Notation : Dans TypeScript, les types littéraux de modèle s’écrivent avec des chaînes délimitées par des accents graves contenant des emplacements dollar-accolade. Dans ces extraits, nous représentons ce motif par Tpl<...>, en listant chaque partie dans l’ordre ; par exemple, un modèle entre accents graves correspondant au préfixe littéral puis à Rest apparaît sous la forme Tpl<'prefix', infer Rest>.

type Join<T extends string[], Sep extends string = ','> =
  T extends [infer H extends string, ...infer R extends string[]]
    ? R extends []
      ? H
      : Tpl<H, Sep, Join<R, Sep>>
    : '';
// Tpl<H, Sep, ...> builds a template literal type joining the parts

type A = Join<['a', 'b', 'c']>; // 'a,b,c'

Compter avec la récursion

La récursion et un accumulateur permettent de compter. Construisez un tuple de unknown de même longueur que l’entrée, puis lisez ensuite sa length. Vous utiliserez beaucoup cette technique dans le cours d’arithmétique.

type Count<T extends unknown[], Acc extends unknown[] = []> =
  T extends [unknown, ...infer R]
    ? Count<R, [unknown, ...Acc]>
    : Acc["length"];

type A = Count<["x", "y", "z"]>; // 3

Filtrer avec la récursion

Parcourez un tuple et ne conservez que les éléments qui correspondent à une condition, en supprimant les autres. Ignorez un élément sans l’ajouter à l’accumulateur.

type KeepStrings<T extends unknown[], Acc extends unknown[] = []> =
  T extends [infer H, ...infer R]
    ? H extends string
      ? KeepStrings<R, [...Acc, H]>
      : KeepStrings<R, Acc>
    : Acc;

type A = KeepStrings<[1, "a", 2, "b"]>; // ["a", "b"]

Limites de profondeur de récursion

Le compilateur plafonne la profondeur de récursion (historiquement autour de 50, les optimisations de récursion terminale permettant davantage dans certains motifs). Pour de très grands tuples, vous pouvez rencontrer L’instanciation de type est excessivement profonde. Utilisez le style avec accumulateur (récursif terminal) pour repousser la limite.

type Repeat<T, N extends number, Acc extends T[] = []> =
  Acc["length"] extends N ? Acc : Repeat<T, N, [...Acc, T]>;

type A = Repeat<0, 3>; // [0, 0, 0]

Mettre tout en œuvre

La séparation tête/queue, un cas de base et un accumulateur sont les trois ingrédients de presque toutes les boucles au niveau des types. Avec ces éléments, vous pouvez transformer, filtrer, inverser, compter et concaténer des tuples entièrement dans le système de types.

type MapToPairs<T extends unknown[], Acc extends unknown[] = []> =
  T extends [infer H, ...infer R]
    ? MapToPairs<R, [...Acc, [H, H]]>
    : Acc;

type A = MapToPairs<[1, 2]>; // [[1, 1], [2, 2]]

Vérification rapide

Vérifiez votre compréhension du schéma de l’accumulateur.

Récapitulatif

Vous pouvez désormais écrire des boucles au niveau des types.

Les conditionnelles qui se référencent elles-mêmes créent la récursion.
Divisez les tuples en [H, ...R] et appliquez récursivement le traitement à la queue.
Un cas de base (tuple vide) arrête la boucle.
Un accumulateur construit le résultat et permet une récursion profonde.

Ensuite : la façon dont les conditionnelles se comportent particulièrement avec les unions.

Questions Fréquemment Posées

La leçon « Récursivité au niveau des types » est-elle gratuite ?

Oui — le texte complet de « Récursivité au niveau 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 « Récursivité au niveau des types » ?

Parcourir les types avec des types conditionnels récursifs. 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 4.

Combien de temps prend la leçon « Récursivité au niveau 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

← Retour à TypeScript Academy