类型守卫与高级类型

类型缩小

常见守卫包括 typeof、instanceof、in、判等和自定义类型谓词。

type Success = { status: 'success'; data: string[] };
type Failure = { status: 'failure'; message: string };
type Result = Success | Failure;

function printResult(result: Result) {
  if (result.status === 'success') {
    console.log(result.data);
  } else {
    console.error(result.message);
  }
}

这种带有公共字面量字段的联合叫可辨识联合，适合请求状态、Reducer Action 和业务状态机。

映射类型

映射类型遍历一组键并生成新对象类型。

type MyReadonly<T> = {
  readonly [K in keyof T]: T[K];
};

type MyPartial<T> = {
  [K in keyof T]?: T[K];
};

内置的 Partial、Required、Readonly、Pick、Omit、Record 都建立在这些能力上。

条件类型

type ElementType<T> = T extends readonly (infer U)[] ? U : T;

type A = ElementType<string[]>; // string
type B = ElementType<number>;   // number

infer 用于在条件类型中声明待推导类型。

条件类型的分发

当裸类型参数接收联合类型时，条件类型会逐项执行：

type ToArray<T> = T extends unknown ? T[] : never;
type Value = ToArray<string | number>; // string[] | number[]

用元组包裹两侧可以阻止分发：

type ToArrayNonDist<T> = [T] extends [unknown] ? T[] : never;
type Value = ToArrayNonDist<string | number>; // (string | number)[]

函数重载与联合类型

当不同输入对应不同输出时可以使用重载：

function normalize(value: string): string[];
function normalize(value: string[]): string[];
function normalize(value: string | string[]): string[] {
  return Array.isArray(value) ? value : [value];
}

如果输入与输出没有这种对应关系，优先使用联合类型，避免制造过多重载。

高频工具类型手写

type MyPick<T, K extends keyof T> = {
  [P in K]: T[P];
};

type MyExclude<T, U> = T extends U ? never : T;

type MyReturnType<T extends (...args: never[]) => unknown> =
  T extends (...args: never[]) => infer R ? R : never;

面试时不仅要写出结果，还要解释 keyof、映射遍历、条件分发和 infer 各自承担的作用。