Question

使用条件类型来判断类型兼容性。

type Result = 'wangxiaobai' extends string ? 1 : 2;

如果返回 1，则说明 'wangxiaobai' 为 string 的子类型。否则，说明不成立。但注意，不成立并不意味着 string 就是 'wangxiaobai' 的子类型了。

还有一种通过赋值来进行兼容性检查的方式。

declare let source: string;

declare let anyType: any;
declare let neverType: never;

anyType = source;

// 不能将类型“string”分配给类型“never”。
neverType = source;

对于变量 a = 变量 b，如果成立，意味着 <变量 b 的类型> extends <变量 a 的类型> 成立，即 b 类型是 a 类型的子类型，在这里即是 string extends never ，这明显是不成立的。