TypeScript创建泛型代理对象时出现类型错误的问题排查

我编写了一个泛型函数createProxiedObject<T extends object>，想要返回传入对象的Proxy代理实例，但TypeScript抛出了类型错误。

代码如下：

function createProxiedObject<T extends object>(obj: T): T {

  const handler = {
    set(obj: {[key: string]: any}, prop: string, value: any) {
      console.log(`changed ${prop} from ${obj[prop]} to ${value}`);
      obj[prop] = value;
      return true;
    }
  };

  return new Proxy(obj, handler)
}

错误信息：

Type '{ [key: string]: any; }' is not assignable to type 'T'.
  '{ [key: string]: any; }' is assignable to the constraint of type 'T', but 'T' could be instantiated with a different subtype of constraint 'object'.(2322)

我尝试检查obj类型为object也无法解决，并且我认为写法符合ProxyConstructor接口定义：

interface ProxyConstructor {
  // ...
  new <T extends object>(target: T, handler: ProxyHandler<T>): T;
}

请问我哪里出错了？

问题根源 #

你在handler的set方法里，手动把第一个参数的类型指定为{[key: string]: any}，但这个类型和泛型参数T并不等价。泛型T可以是任意继承object的子类型，比如某个有固定属性的接口，而{[key: string]: any}是宽松的索引类型，无法兼容所有T的子类型，所以TypeScript判定返回的Proxy实例类型和T不匹配。

另外，ProxyHandler本身是泛型接口，你需要让handler的类型与ProxyHandler<T>对齐，而不是自定义参数类型，这样才能和传入的T保持一致。

修复方案 #

方案一：绑定handler为ProxyHandler类型 #

直接标注handler的类型为ProxyHandler<T>，让TypeScript自动处理参数类型：

function createProxiedObject<T extends object>(obj: T): T {
  const handler: ProxyHandler<T> = {
    set(target, prop, value) {
      console.log(`changed ${String(prop)} from ${target[prop as keyof T]} to ${value}`);
      target[prop as keyof T] = value;
      return true;
    }
  };

  return new Proxy(obj, handler);
}

方案二：手动对齐泛型参数类型 #

如果不想标注handler的类型，可以手动把set方法的参数和T绑定：

function createProxiedObject<T extends object>(obj: T): T {
  const handler = {
    set(target: T, prop: keyof T, value: T[keyof T]) {
      console.log(`changed ${String(prop)} from ${target[prop]} to ${value}`);
      target[prop] = value;
      return true;
    }
  };

  return new Proxy(obj, handler);
}

关键注意点 #

• 确保handler的类型和ProxyHandler<T>兼容，这是符合你提到的ProxyConstructor接口定义的核心
• 使用keyof T约束属性名，避免字符串索引和具体类型的冲突
• 用String(prop)处理可能的Symbol类型属性，避免打印出错

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