TypeScript中如何优雅处理联合类型分支？以复数加法为例

在TypeScript中处理number | 自定义类这类联合类型时，最优的分支判断方式是结合**typeof操作符（判断基本类型）和instanceof操作符（判断自定义类）**，这两种方式都是TypeScript原生支持的类型守卫，能让编译器自动缩小类型范围，避免类型错误。

针对你给出的Complex类和add函数需求，最简洁且符合规范的写法有两种：

方式一：直接在函数内完成类型判断与转换 #

function add(z1: Complex | number, z2: Complex | number): Complex {
  // 判断z1是否为number类型，若是则转换为Complex实例
  if (typeof z1 === 'number') {
    z1 = new Complex(z1);
  }
  // 同理处理z2
  if (typeof z2 === 'number') {
    z2 = new Complex(z2);
  }
  // 此时z1和z2已被TypeScript推导为Complex类型，可安全调用add方法
  return z1.add(z2);
}

方式二：抽取转换逻辑为辅助函数（更简洁复用） #

如果后续还有其他需要将number转为Complex的场景，推荐把转换逻辑抽成独立函数，让代码更符合DRY原则：

// 辅助函数：将number或Complex统一转为Complex实例
function toComplex(value: Complex | number): Complex {
  return typeof value === 'number' ? new Complex(value) : value;
}

function add(z1: Complex | number, z2: Complex | number): Complex {
  // 直接调用辅助函数转换后，链式调用add方法
  return toComplex(z1).add(toComplex(z2));
}

为什么这两种写法是最优的？ #

1. 类型安全：typeof作为类型守卫，能让TypeScript编译器准确识别条件块内的变量类型，无需额外的类型断言（如as Complex），避免了潜在的类型错误。
2. 简洁清晰：代码逻辑直观，无论是直接判断还是抽辅助函数，都能让阅读者快速理解类型转换逻辑。
3. 符合规范：完全遵循TypeScript的类型系统设计，是社区通用的联合类型处理方式。

如果你的联合类型扩展到包含string等其他基本类型，处理逻辑类似：用typeof value === 'string'判断字符串类型，再做对应转换即可。

内容的提问来源于stack exchange，提问作者user3170530