タイトルがよくわからなくなっちゃいました
個人の備忘録的に記事にいたします。
構文例
以下の構文を例にしてみます。
type First<T extends unknown[]> = T extends never[] ? never : T[0]
この First<> は T が never[] の場合、never型 になります。
それ以外は、T[]の最初だけの型 になります。
これは、TypeScript の Conditional Types と呼ばれるものです。
解説
コードの以下の部分に注目いたします。
T extends never[] ? never : T[0]
ここでの T は Generic で受け取る型になります。
そして、T extends never[] ? の部分は、
T が never[] を継承しているかどうかの判定になります。
そこから後は 真の場合 : 偽の場合 です。
三項演算子と同様の記法ですね。
条件分岐地獄
ちなみに、この条件分岐をつなげていくこともできます。
以下は公式にあった例です。
type TypeName<T> = T extends string
? "string"
: T extends number
? "number"
: T extends boolean
? "boolean"
: T extends undefined
? "undefined"
: T extends Function
? "function"
: "object";
type T0 = TypeName<string>; // "string"
type T1 = TypeName<"a">; // "string"
type T2 = TypeName<true>; // "boolean"
type T3 = TypeName<() => void>; // "function"
type T4 = TypeName<string[]>; // "object"
おっっふ！！！！
一緒によく使われるinferについて
最後は、Conditional Types とよく一緒に使われる、inferについてです。
とても簡単に言うと、「Conditional Types の構文の中で型をキャプチャする機能」です。
以下、構文例です。
type Awaited<T extends Promise<unknown>> = T extends Promise<infer R> ? R : never
解説
上記の解説です。
まず、以下の部分です。
T extends Promise<infer R> ?
T extends Promise なので、T が Promise型であるかどうかの判定になります。
Promise<infer R> は
以下の例を参考にしてみます。
type Hoge = Promise<string>
type Foo = Awaited<Hoge> // "string"
この場合は、Promise<string> の <string> の部分を R にキャプチャしています。
そして、Promise型であるため、R を返している、つまり string になります。
ドキュメント
以上になります。