お題
条件値C、Cがtruthyである場合の戻り値の型T、Cがfalsyである場合の戻り値の型Fを受け取るIfを実装する。条件値Cはtrueかfalseのどちらかであることが期待されるが、TとFは任意の型を取ることができる。
やりたいこと
type A = If<true, "a", "b">; // => "a"
type B = If<false, "a", "b">; // => "b"
type C = If<boolean, "a", "b">; // => "a" | "b"
解答
type If<C extends boolean, T, F> = C extends true ? T : F;
解説
処理の流れ
-
<C extends boolean, T, F>
Cにはtrueかfalseが期待されているので、booleanに制限する。 -
C extends true ? T : F
Conditonal Typesを使って、Cがtruthyなら、T、falsyならFを返す。
なぜbooleanの場合ユニオン型が返されるのか？
type C = If<boolean, "a", "b">; // => "a" | "b"
boolean型はtrue | falseのユニオン型だから。
Conditional Typesとは...
参考記事
今回の問題