TypeScript类装饰器：如何让TS自动推断构造函数类型？

问题场景复现 #

先看你可能写出的问题代码：

// 存在推断问题的装饰器
function classDecorator(callback: (instance: T) => void) {
  return function <T>(constructor: new (...args: any[]) => T) {
    const original = constructor;
    const newConstructor = function (...args: any[]) {
      const instance = new original(...args);
      callback(instance);
      return instance;
    } as typeof original;
    return newConstructor;
  };
}

class SomeClass {
  name = "test";
}

// 未显式指定泛型时，TS将instance推断为unknown
@classDecorator((instance) => {
  console.log(instance.name); // 报错：unknown类型不存在name属性
})
class SomeClass {}

// 手动指定泛型则正常工作
@classDecorator<SomeClass>((instance) => {
  console.log(instance.name); // 正确识别SomeClass类型
})
class SomeClass {}

原因分析：TypeScript泛型推断的方向性限制 #

这不是你的写法错误，而是TypeScript的固有限制：
装饰器的执行逻辑是先调用classDecorator(callback)，返回一个接收构造函数的函数。在调用classDecorator的阶段，TypeScript还不知道后续要装饰的类的类型——它无法从“尚未出现的构造函数”反向推断callback参数的类型，只能默认将T推断为unknown。

为什么能检测类型冲突却无法自动推断？ #

这是两个不同的类型检查场景：

• 当你手动指定泛型时，TypeScript拥有两个明确的类型：你指定的T，以及后续构造函数返回的类实例类型。它只需要对比这两个类型是否兼容，自然能检测到冲突。
• 自动推断时，classDecorator调用阶段没有构造函数的类型信息，缺少推断T的依据，无法完成反向推导——这是推断逻辑的前置条件缺失，不是TypeScript没有类型检查能力。

解决方法：调整泛型参数位置 #

把泛型参数移到外层函数，让TypeScript能从后续的构造函数（已知类型）反向推断泛型：

// 修正后的装饰器
function classDecorator<T>(callback: (instance: T) => void) {
  return function (constructor: new (...args: any[]) => T) {
    const original = constructor;
    const newConstructor = function (...args: any[]) {
      const instance = new original(...args);
      callback(instance);
      return instance;
    } as typeof original;
    return newConstructor;
  };
}

// 使用时无需手动指定泛型，TS自动推断instance类型为SomeClass
@classDecorator((instance) => {
  console.log(instance.name); // 正常无报错
})
class SomeClass {
  name = "test";
}

调整后，当装饰器应用到SomeClass时，TypeScript先处理返回的构造函数接收函数，此时构造函数的类型new(...args) => SomeClass是明确的，就能自动推断外层的T为SomeClass，进而让callback的参数类型匹配。

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