TypeScript无需声明临时类型守卫函数实现类型收窄的方法

解决方案 #

你可以使用 TypeScript 内置的断言函数特性，封装一个全局通用的静态类型断言工具，完全满足你的需求：

1. 先定义一次通用工具 #

// 全局只需定义一次，所有场景都可以复用
function staticAssertType<T>(value: any): asserts value is T {}

这个工具是纯静态类型层面的辅助，函数体为空，运行时不会产生任何额外逻辑，打包阶段会被完全 tree-shake 移除，没有任何性能开销。

2. 业务代码中使用 #

class Foo extends ThirdPartyLibrary {
  animal!: Animal;

  bar(): void {
    // 只需调用一次，当前作用域内 `this.animal` 会被 TypeScript 自动识别为 Duck 类型
    staticAssertType<Duck>(this.animal);

    this.animal.quack();
    this.animal.waddle();
    this.animal.awwYiss("Motha. Funkin. Bread crumbs!");
  }
}

方案优势 #

完全规避了你提到的所有不符合需求的情况：

• 不需要修改 animal 属性的全局类型，只有调用了 staticAssertType 的局部作用域才会收窄类型，不影响其他场景下 Animal 类型的正常使用
• 不需要重复编写内联断言，调用一次之后所有后续的属性、方法调用都不需要再加额外断言
• 不需要修改第三方库的类型定义，也不需要添加任何运行时校验逻辑、分支判断或多余变量声明

内容的提问来源于stack exchange，提问作者Andrey Mikhaylov - lolmaus