TypeScript：如何让编译器认可Object.assign实现的类型安全装饰器

原有实现的编译问题 #

你目前的写法在TypeScript编译阶段会触发两类报错：

• 类的implements子句不支持直接引用未做约束的泛型参数，本身就不符合TS的语法规范
• 构造函数内执行Object.assign(this, x)后，编译器默认只会识别类本身声明的实例属性，不会自动认可this已经具备了T类型的全部属性，因此无法判定当前类满足T的结构要求

可直接使用的实现方案 #

低侵入式基础实现（无额外运行时开销） #

通过同名接口的类型扩展，完成类型层面的定义合并，让编译器自动判定类实例符合T的结构要求，运行时逻辑和你原本的代码完全一致：

// 通用对象类型约束，避免泛型指向原始值引发的运行时异常
type AnyObject = Record<string | number | symbol, any>;

class Implementor<T extends AnyObject> {
  public constructor(x: T) {
    Object.assign(this, x);
  }
}

// *纯类型层面的接口扩展*，让Implementor的实例类型继承T的全部属性定义
interface Implementor<T extends AnyObject> extends T {}

这种写法的核心特性：

• 接口与类同名时，TypeScript会自动合并两者的类型定义，不会生成任何额外的运行时代码
• 合并后Implementor的实例类型天然满足T的结构要求，编译器不会再抛出类型不匹配的错误
• 实例上所有来自传入参数x的属性都会保留完整的类型提示，不会出现类型丢失、任意值兜底的问题

等价替代实现 #

如果不想通过同名接口做类型扩展，可以通过构造函数的类型断言实现完全相同的效果：

type AnyObject = Record<string | number | symbol, any>;

// 定义构造函数的返回类型：类本身的实例类型与传入T类型的交叉类型
type ImplementorCtor<T extends AnyObject> = new (x: T) => ImplementorInstance & T;

class ImplementorInstance<T extends AnyObject> {
  constructor(x: T) {
    Object.assign(this, x);
  }
}

// 将对外暴露的Implementor绑定为经过类型断言的构造函数
const Implementor = ImplementorInstance as ImplementorCtor<AnyObject>;

实现注意事项 #

• 所有类型层面的操作都不会改变原有运行时逻辑，不会引入额外的性能损耗
• 必须给泛型T增加对象类型约束，否则当T指向字符串、数字等原始值时，Object.assign的运行时行为会出现偏差
• 这种实现完全适配你设计「类型安全装饰器」的目标：既可以在类中封装通用的装饰逻辑、挂载自定义方法，又能完整保留被装饰对象的全部属性和对应类型

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