如何修復通用 TypeScript function 以返回有效的推斷類型？

Question

我有以下 TypeScript 代碼（ 鏈接到操場）：

type MyCallback<T> = (s: string, payload: T) => void;

interface IActions {
  do1: MyCallback<number>;
  do2: MyCallback<string>;
  [key: string]: (s: string, payload: any) => void;
}

function convert<T extends { [key: string]: (s: string, payload: any) => void }>(callbackMap: T) {

  const result: { [key: string]: <U>(payload: U) => void } = {};

  Object.keys(callbackMap).forEach(key => {
    if (typeof callbackMap[key] === 'function') {
      result[key] = callbackMap[key].bind(null, "data");
    }
  })

  return result;
}

const maps = convert<IActions>({
  do1: (s: string, payload: number) => {
    //
  },
  do2(s: string, payload: string) {
    //
  }
});

maps.do1(1); // valid
maps.smth("1"); // should be type-check error, but TS thinks it's valid

我要做的是創建一個 function，它通過接口接受 object。 function 將所有方法從 object 轉換為新的 object，其中所有方法都有一個固定參數（通過bind方法）。 也就是說，我要轉換這個接口

interface IActions {
  do1: (state: string, payload: number);
  do2: (state: string, payload: string);
  .....
}

至

interface IActions {
  do1: (payload: number);
  do2: (payload: string);
  ....
}

我想讓它通用，所以它轉換任何基於通用參數的接口。

我當前方法的問題是我的maps object 沒有任何智能感知和類型檢查。

是否可以通過傳入接口自動推斷返回類型來修改我的convert function？ 換句話說，我有完整的類型檢查和返回值的智能感知（在我的例子中是maps ）。

Answer 1

maps.smth有效的事實是由於結果上的顯式索引簽名。 你需要的是一個映射到 map 的類型，而不是IActions的屬性到一個包含修改后的方法的新類型。 要創建新的方法簽名，我們可以使用條件類型來提取參數的 rest（跳過第一個）

type MyCallback<T> = (s: string, payload: T) => void;

interface IActions {
  do1: MyCallback<number>;
  do2: MyCallback<string>;
}

function convert<T extends Record<keyof T, (s: string, payload: any) => void>>(callbackMap: T) {

  const result: Record<string, (...a: any[]) => any> = {}

  Object.keys(callbackMap).forEach(key => {
    if (typeof callbackMap[key as keyof T] === 'function') {
      result[key] = callbackMap[key as keyof T].bind(null, "data");
    }
  })

  return result as {
    [P in keyof T]: T[P] extends (s: string, ...p: infer P) => infer R ? (...p: P) => R : never;
  };
}

const maps = convert<IActions>({
  do1: (s: string, payload: number) => {
    //
  },
  do2(s: string, payload: string) {
    //
  }
});

maps.do1(1); // valid
maps.do1("1"); //err
maps.smth("1"); // should be type-check error, but TS thinks it's valid

玩