TypeScript 中多个函数中的一种泛型类型

Question

我有多个互相调用的函数：

let config;
let callback;

function setConfig(c) {
  config = {};
  for(const i of c.items) config.items[i] = getData(i);
  return {
    setCallback: (cb) => { callback = cb; }
  };
}

x.addEventListener("someEvent", () => callback(config));

// usage

setConfig({items: ["a", "b", "c"]}).setCallback(function myCallback(config) {
  console.log(config.items["a"]);
  console.log(config.items["b"]);
  console.log(config.items["c"]);
})

是否可以以setConfig 的c 参数是通用的（取决于实际的配置对象）的方式键入这个，然后自动推断myCallback 的config 参数的类型？

我已经尝试将事件侦听器的添加放入setCallback 函数中，因此我可以为setConfig 携带一个泛型类型，我想在另一个地方执行此操作并且还可以修改@ 987654329@，但仍然保留类型推断。

Answer 1

实现这一点的关键是 Typescript 的 keyof 运算符：

interface Config<ConfigItems extends object> {
  items: ConfigItems;
}

type ConfigCallback<ConfigItems extends object> = (
  config: Config<ConfigItems>
) => void;

function setConfig<ConfigItems extends object>(c: {
  items: (keyof ConfigItems)[];
}) {
  config = {
    items: {},
  };

  for (const i of c.items) config.items[i] = getData(i);
  return {
    setCallback: (cb: ConfigCallback<ConfigItems>) => {
      callback = cb;
    },
  };
}

现在，myCallback 的配置参数将被推断为：

Config<{
  a: any;
  b: any;
  c: any;
}