如何标注TypeScript断言函数签名，实现参数类型自动收窄？

你需要用TypeScript的**断言函数（Assertion Function）**语法标注assertMyError，让编译器识别出：只要函数正常返回，传入的参数就一定是MyError类型。

修改后的实现代码 #

class MyError extends Error {
  public constructor(public code: string, message?: string) {
    super(message)
    // 修复原型链，避免部分环境下instanceof判断异常（可选但建议）
    Object.setPrototypeOf(this, MyError.prototype)
  }
}

/** 若参数不是MyError实例则重新抛出 */
function assertMyError(e: unknown): asserts e is MyError {
  if (!(e instanceof MyError)) {
    throw e
  }
}

declare function downloadFile(name: string): void;

try {
  downloadFile("hello")
} catch (e) {
  assertMyError(e)
  // 此时TypeScript会自动将e识别为MyError类型，可直接访问code属性
  console.log(e.code)
}

方案说明 #

• 断言函数的asserts e is MyError标注，会告诉TypeScript：如果函数没有抛出异常，那么e的类型必然是MyError，无需额外的if判断就能直接使用MyError的属性。
• 相比返回布尔值的类型谓词函数，这种写法完全贴合你封装类型检查、消除冗余判断的需求。

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