Distributive Conditional Types
Conditional Typesの
T extends U ? X : Y の内、 T がTypeScriptのUnion型の時、簡約時に分配される例えば、
T が、 A|B|C だとすると、直感的には、
(A|B|C extends U) ? X : Y になりそうだが、実際は、
(A extends U ? X : Y) | (B extends U ? X : Y) | (C extends U ? X : Y) になる検索のためにDistributive Unionもリンクしておく
以下のことにも注意
例えば、Exclude<U, E>
Exclude<U, E>はこんな定義だった
tstype Exclude<T, U> = T extends U ? never : T;ここで、第1引数、第2引数に下記を使うことを考える
tstype T1 = 'a' | 'b' | 'c';
type U1 = 'a' | 'b';分配されることを無視して、そのままExclude<U, E>の定義に代入すると、こうなる
tstype A = T1 extends U1 ? never : T1; // 'a' | 'b' | 'c'実際に、Exclude<U, E>を適用した場合は以下なので結果が異なる
tstype B = Exclude_<T1, U1>; // 'c'これは、Exclude<U, E>が以下のように分配して簡約されるからである
tstype B1 = Exclude_<T1, U1>;
// T1を代入
type B2 = Exclude_<'a' | 'b' | 'c', U1>;
// 分配！
type B3 = Exclude_<'a', U1> | Exclude_<'b', U1> | Exclude_<'c', U1>;
// 個々で結果が得られる
type B4 = never | never | 'c';
// 結果
type B5 = 'c';