TypeScriptの型システムは、他の型に基づいて型を表現できるため、非常に強力です。
このアイデアの最も単純な形式はジェネリクスです。さらに、さまざまな型演算子も利用できます。既存の値に基づいて型を表現することも可能です。
さまざまな型演算子を組み合わせることで、複雑な操作や値を簡潔で保守しやすい方法で表現できます。このセクションでは、既存の型または値に基づいて新しい型を表現する方法について説明します。
- ジェネリクス - パラメータを受け取る型
- keyof型演算子 -
keyof演算子を使用して新しい型を作成する - typeof型演算子 -
typeof演算子を使用して新しい型を作成する - インデックスアクセス型 -
Type['a']構文を使用して、型のサブセットにアクセスする - 条件型 - 型システム内でif文のように動作する型
- マップ型 - 既存の型の各プロパティをマッピングして型を作成する
- テンプレートリテラル型 - テンプレートリテラル文字列を介してプロパティを変更するマップ型
