流程中的條件類型

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 
} 

但要注意的是，這些條件分支是靜態的，它在編譯時是什麼類型將是內部的各個保障。