TypeScript中的never类型你了解吗

type Value = number | string;
const processValue = (value: Value) => {
  if (typeof value === "number") {
    // 在这个分支中，value 的类型被细化为 number
  } else if (typeof value === "string") {
    // 在这个分支中，value 的类型被细化为 string
  } else {
    // 在这个分支中，value 的类型被细化为 never，因为 value 不可能同时为 string 和 number
    const n: never = value
  }
}

type Value = number | string | boolean;
const processValue = (value: Value) => {
  if (typeof value === "number") {
    // 在这个分支中，value 的类型被细化为 number
  } else if (typeof value === "string") {
    // 在这个分支中，value 的类型被细化为 string
  } else {
    // 在这个分支中，value 的类型被细化为 boolean 类型，因为 value 不可能同时为 string 和 number
    // 此时，把 value 赋值给一个显示声明了 never 类型的变量 n 就会报错。
    // 下面的赋值语句会报错：不能将类型“boolean”分配给类型“never”。
    const n: never = value
  }
}

type T1 = number | never;  // number
type T2 = string | never;  // string
type T3 = boolean | never; // boolean
type T4 = any | never;     // any
type T5 = unknown | never; // unknown
type T6 = never | never;   // never
type T7 = "abc" | never;   // "abc"
type T8 = 123 | never;     // 123

type Filter<T, U> = T extends U ? T : never
type RESULT = Filter<"Echo" | 26 | true | "GuangZhou", string>

type RESULT = 
  | ("Echo" extends string ? "Echo" : never) 
  | (26 extends string ? 26 : never) 
  | (true extends string ? true : never) 
  | ("GuangZhou" extends string ? "GuangZhou" : never)

type RESULT = "Echo" | never | never | "GuangZhou"

type RESULT = "Echo" | "GuangZhou"

type T1 = number & never;  // never
type T2 = string & never;  // never
type T3 = boolean & never; // never
type T4 = any & never;     // never
type T5 = unknown & never; // never
type T6 = never & never;   // never
type T7 = "abc" & never;   // never
type T8 = 123 & never;     // never

let n: never
let str: string = n
let num: number = n
let b: boolean = n
let any: any = n
let unknown: unknown = n
let func: () => void = n
let symbol: symbol = n
let n1: never = n

let n: never
n = "Echo"               // 报错：不能将类型“string”分配给类型“never”
n = 26                   // 报错：不能将类型“number”分配给类型“never”
n = true                 // 报错：不能将类型“boolean”分配给类型“never”
n = [1, 2, 3]            // 报错：不能将类型“number[]”分配给类型“never”
n = Symbol()             // 报错：不能将类型“symbol”分配给类型“never”
n = {}                   // 报错：不能将类型“{}”分配给类型“never”
n = new Array()          // 报错：不能将类型“any[]”分配给类型“never”
n = (...arg: any) => {}  // 报错：不能将类型“(...arg: any) => void”分配给类型“never”