function printID(id: string|number) {
  if (typeof id === "string") {
    console.log(id.toUpperCase())
  } else {
    console.log(id)
  }
}

// 測試
printID(123)
printID("aaa")

上面代碼中, 整個if判斷語句就是類型縮小, 例如當代碼進入if語句第一個分支時, 一定是string類型, 進入第二個分支一定是number類型
if的判斷語句就稱為類型保護

平等縮小

我們可以使用Switch或者相等的一些運算符來表達相等性（比如=== , !== , == , and != ）：

type Direction = "left" | "right" | "top" | "bottom"
function printDirection(direction: Direction) {
  // 平等類型縮小
  switch (direction) {
    case "left":
      console.log(direction)
      break
    case "right":
      console.log(direction)
      break
    case "top":
      console.log(direction)
      break
    case "bottom":
      console.log(direction)
      break
    default:
      console.log("調(diào)用默認方法")
  }
}

// 測試
printDirection("left")
printDirection("right")
printDirection("top")
printDirection("bottom")

instanceof

JavaScript 有一個運算符來檢查一個值是否是另一個值的“實例”：

function printTime(time: string|Date) {
  // 判斷time是否是Date的實例
  if (time instanceof Date) {
    console.log(time.toUTCString())
  } else {
    console.log(time)
  }
}

// 測試
printTime("2020-01-02")
const date = new Date()
printTime(date)

如果不好理解我們可以看下面這個例子

class Teacher {
  working() {
    console.log("正在工作")
  }
}

class Student {
  studying() {
    console.log("正在學習")
  }
}

function work(p: Student | Teacher) {
  // 判斷是哪一個實例
  if (p instanceof Teacher) {
    p.working()
  } else {
    p.studying()
  }
}

// 測試
const stu = new Student()
const tec = new Teacher()

work(stu) // 正在學習
work(tec) // 正在工作

in

Javascript 有一個運算符，用于確定對象是否具有帶名稱的屬性： in運算符

如果指定的屬性在指定的對象或其原型鏈中，則in 運算符返回true；

// () => void表示是一個函數(shù)類型
type Dog = {running: () => void}
type Fish = {swimming: () => void}

function walk(animal: Dog|Fish) {
  // 判斷函數(shù)是否在animal中
  if ("swimming" in animal) {
    animal.swimming()
  } else {
    animal.running()
  }
}

// 測試
const dog: Dog = {
  running() {
    console.log("狗是跑的")
  }
}
const fish: Fish = {
  swimming() {
    console.log("魚是游的")
  }
}

walk(dog) // 狗是跑的
walk(fish) // 魚是游的