流程中的条件类型

Question

是否可以根据条件在流中键入变量？类似这样的：

const type = 'xyz'; 
const a: (type === 'xyz') ? number : string; 

Answer 1

简短的回答是否定的。变量必须绑定到单个类型，其中可以包含类似number | string的联合类型。在条件块内部流可以推断出更专门化的类型。例如：

const a: number | string = "foo"; 
if(typeof a === "string"){ 
    a.split(); // OK! 
} else { 
    a.split(); // Error! a is a number 
} 

但要注意的是，这些条件分支是静态的，它在编译时是什么类型将是内部的各个保障。