TypeScript中declare class破坏类型检查的问题咨询

首先先理清楚几个核心点，帮你解开困惑：

1. 为什么传入ValidationError到CallbackBroken没有警告？ #

这完全是符合预期的正常行为——你的CallbackBroken类型第一个重载明确定义为接受ValidationError类型的参数：

type CallbackBroken = {
  (error: ValidationError): void; // 第一个重载专门匹配ValidationError
  (error: null, value: string): void;
}

当你传入ValidationError实例时，TypeScript会精准匹配这个重载，自然不会抛出警告。

2. 为什么像1这类非预期类型可能没有触发警告？ #

如果你的真实疑惑是为什么1（既不是ValidationError也不是null）能传入CallbackBroken而不报错，这背后是两个TypeScript规则共同作用的结果：

a. declare class的宽松类型检查

当你仅用declare class ValidationError（尤其是没有定义任何属性/方法、只声明继承关系时），TypeScript无法获取这个类的完整结构信息，会切换为宽松的结构类型检查模式。如果ValidationError被声明为继承Error但没有具体实现，TypeScript会默认将其视为一个空对象类型{}；而在TypeScript中，所有非null/undefined的值（包括原始类型如number、string）都可以赋值给{}类型——因为它们满足“没有额外属性”的结构要求。

b. 重载解析的匹配逻辑

TypeScript会按顺序匹配重载，当第一个重载的参数类型是宽泛的空对象时，1这类值会被判定为兼容该类型，从而匹配第一个重载，不会触发错误。而CallbackWorking的第一个重载是明确的Error类型——TypeScript对Error有固定的结构定义（包含message、name等属性），1无法匹配Error类型，也不符合第二个重载的双参数要求，因此会正确抛出类型错误。

如何让类型检查严格起来？ #

如果想让CallbackBroken仅接受ValidationError或null+string的合法组合，你需要给ValidationError添加明确的结构定义，而不是仅用declare class：

// 方案1：定义具体的类实现
class ValidationError extends Error {
  constructor(message: string) {
    super(message);
    this.name = "ValidationError"; // 添加明确的类标识
  }
}

// 方案2：给declare class补充成员声明
declare class ValidationError extends Error {
  name: "ValidationError";
  constructor(message: string);
}

这样TypeScript就能明确ValidationError的专属结构，从而严格校验参数类型，像1这类非法值就会触发预期的类型警告。

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