Jetons de service sûrs du point de vue du typage
Utiliser des jetons typés pour éviter les erreurs de résolution à l’exécution.
Jetons de service sûrs du point de vue du typage est une leçon TypeScript Academy gratuite sur CoddyKit. Ceci est la leçon 4 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.
Le problème des jetons textuels
Les jetons textuels comme "Logger" sont faciles à mal orthographier et ne fournissent aucune information de typage. Le conteneur ne peut pas vous signaler que get("Loggr") est incorrect, et le type résolu est souvent any.
Les symboles comme jetons
Utiliser des symboles plutôt que des chaînes donne à chaque jeton une identité unique qui ne peut pas entrer accidentellement en collision avec une autre. Un registre central permet de les organiser.
const TYPES = {
Logger: Symbol.for("Logger"),
Mailer: Symbol.for("Mailer"),
} as const;Associer les jetons aux types
L’objectif plus profond consiste à associer chaque jeton au type vers lequel il est résolu, afin que le conteneur renvoie le type correct plutôt que any. Nous créons un emballage de jeton typé.
interface Token<T> {
readonly id: symbol;
readonly _type?: T; // phantom type marker
}Créer des jetons typés
Un utilitaire produit un jeton qui mémorise son type dans un champ fantôme. Ce champ ne contient jamais de valeur ; il transporte uniquement des informations de type pour le compilateur.
function token<T>(name: string): Token<T> {
return { id: Symbol.for(name) };
}
const LoggerToken = token<Logger>("Logger");Une interface de conteneur typée
Nous typons le conteneur afin que get déduise le type résolu à partir du jeton. Aucune conversion forcée, aucun any.
interface TypedContainer {
get<T>(t: Token<T>): T;
bind<T>(t: Token<T>, impl: () => T): void;
}Lier avec des types déduits
Lorsque vous effectuez une liaison, le type de retour de la fabrique doit correspondre au type du jeton. Les incompatibilités sont détectées lors de la compilation.
declare const c: TypedContainer;
c.bind(LoggerToken, () => new ConsoleLogger());
// ConsoleLogger must satisfy Logger or this errors.Résoudre avec des types complets
Désormais, get renvoie exactement le type du jeton. L’autocomplétion et la vérification des types fonctionnent sur le résultat, sans annotation manuelle.
const logger = c.get(LoggerToken); // type: Logger
logger.log("typed resolution");Éviter les erreurs de recherche
Comme les jetons sont des valeurs typées, une faute de frappe fait référence à une variable indéfinie — une erreur de compilation — plutôt qu’à une chaîne incorrecte, acceptée silencieusement. Toute la catégorie des bogues liés aux clés textuelles disparaît.
// c.get(LogerToken) -> compile error: LogerToken is not definedL’équivalent avec InversifyJS
InversifyJS prend également en charge les jetons symboliques, et des utilitaires créés par la communauté ajoutent des emballages typés. Le principe est identique : lier un jeton typé à une implémentation et le résoudre avec le type approprié.
import { Container } from "inversify";
const TYPES = { Logger: Symbol.for("Logger") };
// container.bind<Logger>(TYPES.Logger).to(ConsoleLogger)Un registre de jetons
Centraliser les jetons dans un seul module fournit une source de vérité unique, ce qui les rend faciles à trouver et à remanier, tout en préservant leur cohérence dans toute la base de code.
export const TOKENS = {
Logger: token<Logger>("Logger"),
Mailer: token<Mailer>("Mailer"),
};Résumé des avantages
Les jetons typés offrent une identité unique (symboles), une sécurité à la compilation (les incompatibilités sont rejetées), des types résolus corrects (sans any) et une protection contre les fautes de frappe (erreurs de variable indéfinie).
Vérification rapide
Vérification rapide de cette leçon.
Récapitulatif
Les jetons de service sûrs du point de vue du typage encapsulent un symbol unique avec un type fantôme, en associant chaque jeton au type vers lequel il est résolu. get renvoie le type précis, la liaison impose des implémentations correspondantes et les fautes de frappe deviennent des erreurs de compilation plutôt que des bogues silencieux de recherche par chaîne.
Apprends TypeScript avec un tuteur IA — gratuit
Écris et exécute du vrai code dans ton navigateur, obtiens de l'aide instantanée d'un tuteur IA disponible 24h/24, et reprends là où tu t'es arrêté sur le web ou dans l'app.
- Cours
- 101
- Leçons
- 352
Questions Fréquemment Posées
La leçon « Jetons de service sûrs du point de vue du typage » est-elle gratuite ?
Oui — le texte complet de « Jetons de service sûrs du point de vue du typage » 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 « Jetons de service sûrs du point de vue du typage » ?
Utiliser des jetons typés pour éviter les erreurs de résolution à l’exécution. 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 4 sur 4.
Combien de temps prend la leçon « Jetons de service sûrs du point de vue du typage » ?
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
- Principes de l’inversion de contrôle
- Injection par constructeur
- Conteneurs DI avec InversifyJS
- Jetons de service sûrs du point de vue du typage