生成函数的TypeScript泛型类型

Question

如何为动态创建的函数声明泛型类型？

type FooType = {
  username: string;
}

type BarType = {
  age: number;
}

interface DataStore {
  foo: FooType;
  bar: BarType;
}

const getDataStore = () => ({
  foo: { username: 'Tera' },
  bar: { age: 24 },
})

const generateFunction = <T, S extends keyof DataStore>(slice: S) => {
  type DataSlice = DataStore[S];

  return (selector: (store: DataSlice) => T) => selector(getDataStore()?.[slice]);
}

我如何在use Foo中使用T并传递的生成函数？

const useFoo = generateFunction('foo');

< code>useFoo的预期用法

type UserName = string;

const userName = useFoo<UserName>((foo: FooType) => foo.userName);

Answer 1

你正在寻找通用的匿名函数(见这个SO回答)。

const generateFunction = <S extends keyof DataStore>(slice: S) => {
  type DataSlice = DataStore[S];

  return <T,>(selector: (store: DataSlice) => T) => selector(getDataStore()?.[slice]);
}

请注意，T泛型现在与返回的函数相关联，而不是的生成函数本身。正如你的问题中所写的，生成函数是一个泛型函数，它接受两个泛型参数T和S，这两个参数在调用函数时是已知的。相反，您希望生成函数接受一个调用时已知的泛型参数S，并让它返回一个函数，其中只有在调用返回的函数时才知道一个泛型参数T。