型安全なサービスToken
型付きTokenを使い、実行時の解決エラーを防ぎます。
「型安全なサービスToken」はCoddyKit上の無料TypeScript Academyレッスンです。 これはレッスン4/4です。 下記で完全なレッスンを無料で読むことができます。その後、ブラウザ内の組み込みコードエディタと24時間対応のAIチューターでハンズオン演習できます。 これはTypeScript Academy学習パスの一部であり、ウェブとCoddyKitアプリ全体で進捗が同期されます。 TypeScript Academyコースには全4レッスンが含まれています。
文字列トークンの問題
"Logger"のような文字列トークンは入力ミスを起こしやすく、型情報も持ちません。コンテナーはget("Loggr")が誤っていることを検出できず、解決される型も多くの場合anyになります。
トークンとしてのシンボル
文字列の代わりにシンボルを使うと、各トークンに一意の識別情報が与えられ、別のトークンと偶然衝突することがなくなります。中央レジストリにまとめて管理しやすくします。
const TYPES = {
Logger: Symbol.for("Logger"),
Mailer: Symbol.for("Mailer"),
} as const;トークンと型の対応付け
より本質的な目標は、各トークンを解決先の型に対応付け、コンテナーがanyではなく正しい型を返すようにすることです。そのために、型付きトークンのラッパーを作成します。
interface Token<T> {
readonly id: symbol;
readonly _type?: T; // phantom type marker
}型付きトークンの作成
ヘルパーを使うと、ファントムフィールドに型を記録したトークンを生成できます。このフィールドが値を保持することはなく、コンパイラーに型情報を伝えるためだけに使われます。
function token<T>(name: string): Token<T> {
return { id: Symbol.for(name) };
}
const LoggerToken = token<Logger>("Logger");型付きコンテナーインターフェース
コンテナーに型を付けることで、getはトークンから解決される型を推論します。キャストもanyも必要ありません。
interface TypedContainer {
get<T>(t: Token<T>): T;
bind<T>(t: Token<T>, impl: () => T): void;
}推論された型でのバインド
バインドするとき、ファクトリの戻り値の型はトークンの型と一致していなければなりません。一致しない場合はコンパイル時に検出されます。
declare const c: TypedContainer;
c.bind(LoggerToken, () => new ConsoleLogger());
// ConsoleLogger must satisfy Logger or this errors.完全な型情報での解決
これでgetはトークンの型をそのまま返します。手動で型注釈を付けなくても、結果に対して自動補完と型チェックが機能します。
const logger = c.get(LoggerToken); // type: Logger
logger.log("typed resolution");ルックアップミスの回避
トークンは型付きの値なので、入力ミスがあると、気付かないまま誤った文字列を使うのではなく、未定義の変数を参照したコンパイルエラーになります。文字列キーに関する一連のバグをなくせます。
// c.get(LogerToken) -> compile error: LogerToken is not definedInversifyJSでの同等の実装
Inversifyはシンボルトークンにも対応しており、コミュニティ製のヘルパーを使えば型付きラッパーも追加できます。原則は同じで、型付きトークンを実装にバインドし、正しい型で解決します。
import { Container } from "inversify";
const TYPES = { Logger: Symbol.for("Logger") };
// container.bind<Logger>(TYPES.Logger).to(ConsoleLogger)トークンレジストリ
トークンを1つのモジュールに集約すると、信頼できる唯一の情報源になり、コードベース全体で見つけやすく、リファクタリングしやすく、一貫性も保ちやすくなります。
export const TOKENS = {
Logger: token<Logger>("Logger"),
Mailer: token<Mailer>("Mailer"),
};メリットのまとめ
型付きトークンには、一意の識別情報（シンボル）、コンパイル時の安全性（一致しない型を拒否）、正しい解決結果の型（anyを排除）、入力ミスの防止（未定義変数エラー）というメリットがあります。
クイックチェック
このレッスンのクイックチェックです。
まとめ
型安全なサービス用トークンは、一意のsymbolをファントム型でラップし、各トークンを解決先の型に対応付けます。getは正確な型を返し、バインド時には実装との型の一致が保証されます。また、入力ミスは気付かない文字列ルックアップのバグではなく、コンパイルエラーになります。
よくある質問
「型安全なサービスToken」レッスンは無料ですか？
はい。「型安全なサービスToken」の完全なテキストはこのウェブで無料で読めます。インタラクティブに演習し（組み込みコードエディタと24時間対応のAIチューター）、TypeScript Academyコースの残りをアンロックするには、CoddyKit PROにアップグレードしてください。 TypeScript Academyコースには全4レッスンが含まれています。
「型安全なサービスToken」で何を学びますか？
型付きTokenを使い、実行時の解決エラーを防ぎます。 ブラウザで直接実行するハンズオンコードでTypeScript Academyを演習し、24時間対応のAIチューターがレッスンを進める中での質問に答えます。
TypeScript Academyを始めるのに経験は必要ですか？
事前経験は必要ありません。CoddyKitのTypeScript Academyは初級者から上級者向けに構成されているため、ここから始めるか最初から始めて、自分のペースで進むことができます。 これはレッスン4/4です。
「型安全なサービスToken」レッスンにはどのくらい時間がかかりますか？
ほとんどのCoddyKitレッスンは約5～10分かかります。各レッスンはコンパクトでインタラクティブなので、着実に進歩し、ウェブとアプリ全体で正確に前回の場所から再開できます。
このTypeScript Academyレッスンでコードを書いて実行できますか？
はい。すべてのTypeScript Academyレッスンに組み込みコードエディタが含まれているため、ブラウザでリアルコードを書いて実行し、即座のAIフィードバックを取得できます。ローカル設定は不要です。
このコースのすべてのレッスン
- 制御の反転の基礎
- コンストラクターインジェクション
- InversifyJSによるDIコンテナ
- 型安全なサービスToken