如何让TypeScript将带类型的函数视为throw语句？

直接使用throw语句时，TypeScript会通过控制流分析识别出后续代码中变量不可能为null；但如果把抛出逻辑封装成返回类型为never的自定义函数，TS就无法自动完成这种空值窄化，导致后续代码仍会报错变量可能为null。

举个例子：

function throwIfNull<T>(value: T | null): never {
  if (value === null) throw new Error("Value cannot be null");
}

function processValue(value: string | null) {
  throwIfNull(value);
  // 这里TS仍然认为value可能是null，会报错
  console.log(value.toUpperCase());
}

解决办法：使用断言函数（Assertion Functions） #

将自定义抛出函数改为断言函数，明确告诉TypeScript调用该函数后，变量的类型会被窄化为非null：

function throwIfNull<T>(value: T | null): asserts value is T {
  if (value === null) throw new Error("Value cannot be null");
}

function processValue(value: string | null) {
  throwIfNull(value);
  // TS现在能正确识别value是string类型
  console.log(value.toUpperCase());
}

为什么never返回函数不行？ #

TypeScript的控制流分析对never返回函数的处理和直接throw语句不同：直接throw是明确的终止语句，会立即中断当前代码路径；而普通never返回函数，TS不会将其视为能触发类型窄化的控制流节点，因此无法自动推断变量类型变化。

断言函数是TypeScript专门设计用于这类场景的语法，它能直接向类型系统传达“调用此函数后，某个条件必然成立”的信息，完美解决这类类型窄化问题。

内容的提问来源于stack exchange，提问作者elias.hj