生成函数的 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]);
}

如何在 useFoo 中使用 T 并传递 generateFunction？

const useFoo = generateFunction('foo');

useFoo的预期用法

type UserName = string;

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

Answer 1

您正在寻找通用匿名函数(参见 this SO answer )。

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

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

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