TypeScript中能否通过永不返回的断言函数缩减类型而无需if判断？

你遇到的问题是因为默认的assert函数没有给TypeScript提供足够的类型信息——编译器不知道它会在值为null/undefined时终止执行，所以仍然认为变量可能是undefined。解决这个问题的关键是自定义带类型守卫的断言函数，让TypeScript明白断言通过后变量的类型。

步骤1：定义带类型守卫的assert函数 #

TypeScript 3.7+支持asserts关键字，我们可以用它来声明：当函数正常返回（不抛出错误）时，传入的变量一定符合指定类型。比如针对非空断言的函数：

function assert<T>(value: T): asserts value is NonNullable<T> {
  if (!value) {
    throw new Error("断言失败：值为null或undefined");
  }
}

这个函数的核心是asserts value is NonNullable<T>——它告诉编译器：只要这个函数没抛出异常，value就一定不是null或undefined。

步骤2：改造你的示例代码 #

用这个自定义的assert函数替换原来的断言，你会发现不需要额外的if判断，TypeScript就能自动缩小变量类型：

interface Foo { bar(): void }
function getFoo(): Foo | undefined { 
  // 这里是你的原函数逻辑
  return Math.random() > 0.5 ? { bar: () => {} } : undefined;
}

function assert<T>(value: T): asserts value is NonNullable<T> {
  if (!value) {
    throw new Error("断言失败");
  }
}

function test() {
  const foo = getFoo();
  assert(foo);
  // 此时TypeScript已经知道foo是Foo类型，无需额外判断
  foo.bar(); // 不会再提示"可能为undefined"的错误
}

扩展：更灵活的自定义断言 #

如果你需要更具体的类型检查（比如确认变量符合某个接口），还可以写针对性的断言函数：

function assertIsFoo(value: unknown): asserts value is Foo {
  if (
    typeof value !== "object" || 
    value === null || 
    !("bar" in value) || 
    typeof (value as Foo).bar !== "function"
  ) {
    throw new Error("值不符合Foo接口的要求");
  }
}

// 使用示例
function testAnyValue(value: unknown) {
  assertIsFoo(value);
  value.bar(); // 编译器确认value是Foo类型
}

原理说明 #

asserts value is Type是TypeScript的断言函数语法，它本质上是给编译器提供一个执行期的类型保证：只要函数没有抛出异常，后续代码中变量的类型就会被缩小为Type。这就替代了手动写if判断来缩小类型的工作，让代码更简洁。

内容的提问来源于stack exchange，提问作者Zbigniew Zagórski