条件付きタイプと推論

条件付き型を使用すると、継承関係に基づいて自明ではない型の決定を表現できます。構文は JavaScript の三項演算子に似ています。

T extends U ? X : Y

タイプ T が U に割り当て可能な場合、結果のタイプは X になり、それ以外の場合は Y になります。

基本的な条件型

条件型はコンパイル時に条件を評価します。

type IsNumber<T> = T extends number ? true : false;

type A = IsNumber<number>; // true
type B = IsNumber<string>; // false

このパターンは、ジェネリックと組み合わせて柔軟で動的なユーティリティ タイプを作成すると、非常に強力になります。

infer による型の抽出

条件型の extends 句内で、 infer キーワードを使用して、コンパイラによって推論される型変数を宣言できます。

たとえば、関数の戻り値の型を抽出したい場合は次のようになります。

type GetReturnType<T> = T extends (...args: any[]) => infer R ? R : never;

type ExampleFunction = () => string;
type Return = GetReturnType<ExampleFunction>; // string

この例では、infer R は、関数の戻り値の型を自動的に決定し、それを条件分岐の肯定的な分岐で R として使用できるようにするよう TypeScript に指示します。

自分で試してみてください

演習 1: IsString タイプ

演習 2: infer を使用して配列から型を抽出する