TypeScript中为泛型装饰器创建函数的返回类型命名

听起来你在搞TypeScript泛型装饰器的时候卡壳了——想要用装饰器处理后的泛型类型来约束其他函数，确保参数一定经过这个装饰器加工，对吧？而且你本来寄希望于TS 2.8的特性，但好像没达到预期？

先拆解你的场景：你有个泛型装饰器创建函数，大概是这种结构：

function createDecorator<T1, T2>(...args: any[]) {
  return function <T3>(base: new (...args: any[]) => T3) {
    return class extends base {
      // 装饰器添加的逻辑和属性
      decoratedProp: T1;
      decoratedMethod(arg: T2): T3 {
        // ...
      }
    };
  };
}

你想要的核心是：让其他函数的泛型参数必须是经过这个装饰器处理后的类类型，而不是原始的T3。这里的关键是给装饰器返回的类类型定义一个独特的“标记”，让TypeScript能识别它已经被装饰过。

方案1：用接口标记+类型守卫 #

可以给装饰后的类添加一个独特的符号属性作为标记，然后定义一个类型来识别这个标记：

// 创建一个唯一的符号，避免命名冲突
const isDecorated = Symbol('isDecorated');

// 定义装饰后类的类型，包含标记和泛型参数信息
type Decorated<T1, T2, T3> = T3 & {
  [isDecorated]: true;
  decoratedProp: T1;
  decoratedMethod(arg: T2): T3;
};

// 改造你的装饰器创建函数，让返回的类符合Decorated类型
function createDecorator<T1, T2>(...args: any[]) {
  return function <T3>(base: new (...args: any[]) => T3): new (...args: any[]) => Decorated<T1, T2, T3> {
    return class extends base {
      [isDecorated] = true;
      decoratedProp: T1;
      constructor(...args: any[]) {
        super(...args);
        this.decoratedProp = args[0]; // 假设根据传入参数初始化
      }
      decoratedMethod(arg: T2): T3 {
        return this as unknown as T3; // 示例逻辑
      }
    };
  };
}

// 现在定义其他函数时，可以约束泛型必须是Decorated类型
function processDecoratedInstance<T1, T2, T3>(instance: Decorated<T1, T2, T3>) {
  // 这里可以安全使用decoratedProp和decoratedMethod
  console.log(instance.decoratedProp);
  const result = instance.decoratedMethod({} as T2);
  // ...
}

这样一来，如果你尝试把一个未被装饰的类实例传给processDecoratedInstance，TypeScript会直接报错，因为它没有[isDecorated]标记和对应的属性方法。

方案2：利用TS 2.8的条件类型（补全你期待的特性用法） #

TS 2.8引入的条件类型可以帮你更灵活地判断类型是否符合装饰后的结构。比如可以定义一个类型别名来检查某个类型是否是被装饰过的：

type IsDecorated<T> = T extends { [isDecorated]: true } ? T : never;

// 然后在函数里使用：
function processDecoratedInstance<T>(instance: IsDecorated<T>) {
  // 这里只能传入被装饰过的实例，否则会被类型推断为never报错
  console.log(instance.decoratedProp);
}

不过这个方案需要配合前面的符号标记一起用，本质上是对方案1的补充，让类型约束更具表现力。

可能踩的坑 #

• 如果你的装饰器是ES6混入（mixin），要注意TypeScript对混入的类型推断限制——有时候需要手动显式声明返回类型，而不是依赖自动推断。
• 泛型参数过多时，建议用类型别名把复杂的泛型组合封装起来，比如type MyDecorated<T> = Decorated<UserType, ConfigType, T>，提升代码可读性。

其实核心思路就是给装饰后的类型添加一个唯一的“身份标识”，让TypeScript能区分原始类型和经过装饰的类型，从而实现你要的约束效果。如果之前TS 2.8的特性没帮到你，大概率是没把条件类型和标记类型结合起来用，试试上面的方案应该能解决问题。

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