类型收窄

这一课你将能做到

1. 用 typeof、instanceof、in 操作符把联合类型缩到具体分支
2. 手写类型守卫函数 is Xxx，让自定义逻辑也能触发类型收窄
3. 用 never 做穷尽检查，确保联合类型的每个分支都被处理到

为什么要学

前一课学了联合类型 A | B，但联合类型真正好用之前，你得先解决一个问题：编译器怎么知道此刻它到底是 A 还是 B？

没有收窄，联合类型就是一块未切割的木板——你知道里面有东西，但没法精准取到。类型收窄就是刻刀：写一段条件代码，让 TypeScript 在条件成立的分支里「缩小」变量的类型范围，从而开放出这个分支才有的字段和方法。

这是 TS 最体现编译器智能的地方，也是面试爱考的「类型收窄机制」。不会收窄，联合类型形同虚设；会收窄，你就能写出类型安全的 if/else、switch、try/catch，每个分支里编译器都像你的结对程序员。

先建立图像

变量 value: string | number

  ┌──────────────┐
  │  string?     │ ── typeof value === "string" ──▶ 收窄为 string
  │  number?     │ ── typeof value === "number" ──▶ 收窄为 number
  └──────────────┘

收窄后，每个分支里 value 只有对应类型的能力

核心逻辑：向编译器证明变量在当前代码块里属于哪个类型，证明方式就是运行时检查（typeof、instanceof、属性探测）。

跟着做

新建 narrowing-demo.ts，逐步验证。

步骤 1：typeof 收窄

function printValue(value: string | number): string {
  if (typeof value === "string") {
    // 这个分支里 value 被收窄为 string
    return value.toUpperCase();
  }
  // 到这里 value 只能是 number
  return value.toFixed(2);
}

console.log(printValue("hello")); // HELLO
console.log(printValue(3.14159)); // 3.14

注意：JS 的 typeof 只有八种返回值："string"、"number"、"boolean"、"undefined"、"bigint"、"symbol"、"object"、"function"。不要用 typeof x === "array"——数组 typeof 是 "object"。

步骤 2：instanceof 收窄

class Cat {
  meow() {
    return "喵";
  }
}

class Dog {
  bark() {
    return "汪";
  }
}

function speak(animal: Cat | Dog): string {
  if (animal instanceof Cat) {
    return animal.meow(); // 收窄为 Cat
  }
  return animal.bark();   // 收窄为 Dog
}

console.log(speak(new Cat())); // 喵
console.log(speak(new Dog())); // 汪

instanceof 只能用于类（class）实例。接口没有运行时存在，不能用 instanceof 判断。

步骤 3：in 操作符——检查属性是否存在