条件类型是用 条件表达式 进行类型的关系检测
简单的值匹配
type Equal<X, Y> = X extends Y ? true : false;
type Num = Equal<1,1>; // true
type Str = Equal<'a','a'>; // true
type Boo = Equal<true, false>; // false
嵌套类型匹配
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"
联合类型判断
type A = 'x';
type B = 'x' | 'y';
type Y = A extends B ? true : false; // true
联合类型无法做出判断
得到一个联合类型，包含所有返回值
type AB<T> = T extends 'x' ? 'a' : 'b';
type All = AB<'x'|'y'>; // 非确定条件
// 得到 type All = 'a' | 'b';
栗子：一个过滤功能的函数类型
type Filter<T, U> = T extends U ? never : T;
type Values = Filter<'x'|'y'|'z', 'x'>; // Values = 'y' | 'z'
