typescript 的 is 类型谓词有什么用？

Question

类型谓词 is

function isNumber(x: any): x is number {
  return typeof x === "number";
}

function isString(x: any): x is string {
  return typeof x === "string";
}

Answer 1

https://segmentfault.com/a/11...

Answer 2

类型谓词的函数，输出一个布尔值，如果返回true，所输入的参数x 就是 is后面对应的类型。 通常用在给联合类型确定一个具体的类型。
比如：

type num_str  = number | string ;
let a : num_str;
// ..... 过了若干操作后，无法确定a是什么类型
//然后 
function isNumber(x: any): x is number {
  return typeof x === "number";
}

if(isNumber(a)){  
    let b = 100 - a;   //语句块里， tsc 会把a 分析为 number
}