Question

我有this playground和此代码

export interface RemoteMethods<R> {
  getAll: (url: string) => Promise<R>;
  create: (url: string, model: R) => Promise<void>;
}

export type AsyncFunctionReturnType<
  R,
  Method extends keyof RemoteMethods<R>
> = 
  {
    [key in Method]: RemoteMethods<R>[Method];
  };

export const makeRemoteMethods = <R>(
) => {
  return {
    getAll: async (url: string) => {
      return Promise.resolve(undefined);
    },
    create: async (url: string, model: R) => {
      return Promise.resolve(undefined);
    },
  };
};


export const useAsyncCallback = <
  R,
  K extends keyof ReturnType<typeof makeRemoteMethods>
>(
  method: K,
): AsyncFunctionReturnType<R, K> => {
  const remoteMethods = makeRemoteMethods<R>();

  const m = { [method]: remoteMethods[method] } as unknown as {
    [key in K]: RemoteMethods<R>[K];
  };

  return {
    ...m,
  };
};

const getAllSites = useAsyncCallback<{x: string}, 'getAll'>('getAll');

我想以某种方式推断此函数调用中的第二种类型参数

const getAllSites = useAsyncCallback<{x: string}, 'getAll'>('getAll');

我想调用如下函数：

const getAllSites = useAsyncCallback<{x: string}>('getAll');

并以某种方式推断类型参数K extends keyof ReturnType<typeof makeRemoteMethods>

Answer 1

我认为，这目前尚无法直接实现，因为对泛型没有局部推断，请参见https://github.com/microsoft/TypeScript/issues/10571和https://github.com/microsoft/TypeScript/issues/20122（后者几乎完全是相同的代码）。可能有解决方法，但是效果不佳。

然而，对此的适当支持正在慢慢地出现！ https://github.com/microsoft/TypeScript/pull/26349是TypeScript当前打开的PR，可让您像这样调用函数：

const getAllSites = useAsyncCallback<{x: string}, _>('getAll');

此处_表示您要推断的泛型变量，并且需要对该var进行正常的推断行为（就像您看到的是只有一个泛型arg一样，它是自动推断出来的）。

这不是TypeScript的确认行为或合并行为，但是如果您愿意，可以+1发行和PR，这有助于将他们推向正确的解决方案。

从打字稿中的功能参数推断类型参数

1 个答案: