类实例联合类型中，实例断言方法无法实现类型收窄

核心结论 #

TypeScript 当前不支持在类外部通过实例的asserts this is ...断言方法来收窄实例本身的类型。你遇到的「类内部调用断言方法能正确收窄类型，外部调用却不行」的情况，是当前类型系统的设计限制。

为什么会这样？ #

在类内部调用断言方法时，TypeScript 能通过this的上下文直接绑定到当前类实例的类型，所以可以正确识别并收窄。但在类外部，调用b.assert()时，TypeScript 不会把这个方法调用和变量b的类型更新关联起来——类型系统不会追踪实例方法调用对外部变量类型的影响，除非是像check()这种返回类型谓词（this is box<string>）的方法，这也是你代码里if (b.check())能生效的原因。

可行的替代方案 #

1. 用独立断言函数（你已经实现的方案） #

这是最直接且官方认可的方式，像你写的全局assert函数一样，通过独立函数来收窄类型：

function assertBoxIsString(b: box<string> | box<number>): asserts b is box<string> {
  if (typeof b.value !== 'string') throw new Error();
}

const b = make();
assertBoxIsString(b);
b.value.substring(0); // 类型正确收窄，无报错

2. 复用类型谓词方法做条件判断 #

如果不想额外写全局函数，可以复用你已有的check()方法，通过if判断强制触发类型收窄：

const b = make();
if (!b.check()) throw new Error('不是字符串类型的box');
b.value.substring(0); // 类型正确收窄

3. 把断言逻辑封装成类的静态方法 #

把断言逻辑放到类的静态方法里，效果和独立函数一致，还能把相关逻辑聚合在类内部：

class box<T> {
  constructor(public value: T){}

  check(): this is box<string> {
    return typeof this.value == 'string';
  }

  private test() {
    this.assert();
    this.value.substring(0);
  }

  // 新增静态断言方法
  static assertIsString(b: box<string> | box<number>): asserts b is box<string> {
    if (typeof b.value !== 'string') throw new Error();
  }
}

const b = make();
box.assertIsString(b);
b.value.substring(0); // 类型正确收窄

总结 #

目前没有办法让类的实例断言方法在外部直接收窄类型，只能通过上述几种替代方案实现类似效果。其中独立断言函数或静态断言方法是日常开发中最常用的做法。

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