如何用TypeScript和Proxy修改函数对象参数并保留智能提示

为优化开发体验，需要修改第三方生成的函数对象——部分参数无需传入，可设置默认值，但调用自定义Hook时必须保留TypeScript智能提示，显示对象中的可用方法。

已定义的类型 #

type ObjectFunction<Type> = Type extends (_: { prop: infer MessageType }, __: infer CallbackType) => infer Return
  ? (prop?: MessageType, callback?: CallbackType) => Return
  : never;

type NewObjectType<Type> = {
  [Property in keyof Type as ObjectFunction<Type[Property]> extends never ? never : Property]: ObjectFunction<
    Type[Property]
  >;
};

尝试的Proxy实现（存在TypeScript报错） #

return new Proxy<NewObjectType<typeof originalObj>>(
    { ...originalObj },
    // TypeScript报错：原对象与NewObjectType结构不匹配
    {
      get(target, method) {
        if (typeof method === "string" && target.hasOwnProperty(method)) {
          return target[method as keyof NewObjectType<typeof originalObj>];
        }
      },
    },
  );

报错原因：原对象的结构与NewObjectType转换后的结构不匹配，导致TypeScript类型校验失败。

期望的转换示例 #

原对象 #

originalObj = {
  method1: (arg: {prop: string}, callback?: ()=> void) => void,
  method2: (arg: {prop: string}, callback?: ()=> void) => void,
  ...
}

转换后对象 #

newObj = {
  method1: (prop?: string, callback?: ()=> void) => void,
  method2: (prop?: string, callback?: ()=> void) => void,
  ...
}

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