TypeScript重载方法返回类型不同无报错，如何优化实现？

我太懂这个坑了！你现在的问题核心是：直接实例化Test类时，TypeScript没有帮你拦住“传回调后调用then()”的错误，只有显式指定ITest类型才会触发校验——这确实很容易忘，毕竟谁没事总想着手动加类型注解呢？

问题根源 #

你之前用class Test implements ITest的写法，TS会要求类方法兼容接口的重载，但类本身只能有一个实现签名。此时TS会把类的get(callback?: () => void): Promise<void>签名视为兼容接口的两个重载，但这个签名实际上“撒谎”了：它告诉TS不管传不传回调，都会返回Promise<void>，但你实际传回调时返回的是undefined，这就导致运行时调用then()抛异常，而TS编译阶段没拦住。

更优实现：类内部定义方法重载 #

要让类本身就具备严格的类型校验，不需要依赖接口的类型约束，直接在类里定义方法重载签名就行：

class Test {
  // 对外暴露的重载签名1：传回调，无返回值
  get(callback: () => void): void;
  // 对外暴露的重载签名2：不传参数，返回Promise
  get(): Promise<void>;
  // 内部实现签名（对外不可见，仅逻辑用）
  get(callback?: () => void): void | Promise<void> {
    if (typeof callback === 'function') {
      callback();
      return;
    }
    return Promise.resolve();
  }
}

这样写的好处一目了然：

• 直接const t = new Test();后，调用t.get(() => console.log('callback')).then(...)会立刻触发TS报错——因为TS根据重载规则，知道传回调时返回的是void，根本不能调用then()。
• 完全不需要手动指定ITest类型，TS会自动帮你做校验。
• 对外暴露的重载签名清晰传达了调用规则，内部实现签名则贴合真实的返回逻辑，兼顾了类型安全和代码可读性。

关于编译后代码的补充 #

你提到TS会移除方法的额外声明，没错——编译后的JS代码确实会丢掉所有重载签名，只保留实现逻辑，但这完全不影响，因为我们要的就是编译阶段的类型校验，运行时的逻辑和你之前的版本一致，但已经不会出现错误调用了。

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