从兄弟姐妹推断类型

Question

我正在写一些中间件，界面如下

interface Config {
    callApi<P> (api: ApiClient): Promise<P>,
    transformResponse?(payload: P): any
}

从上面可以看出，配置采用callApi 函数，该函数将调用远程API 并返回基于promise 的结果，然后可选的transformResponse 将接收有效负载并应用转换给它。关键部分是transformResponse 函数应该根据callApi 调用的返回类型推断负载的类型

问题是上面是无效的，因为P里面的transformResponse类型不能达到callApi函数的同一个变量。

有没有什么办法可以完成上面的，而不必像这样传入API响应类型

interface Config<ApiResponse> {
    callApi (api: ApiClient): Promise<ApiResponse>,
    transformResponse?(payload: ApiResponse): any
}

示例用法

const callCreateComment: Config = {
  callApi (api) => api.createComment(),
  transformResponse(payload) => ({ ...payload // infer the return type of the `api.createComment()` call })
}

Answer 1

好的，我想我明白你想要什么了，就是写出callApi() 方法，然后让TypeScript 使用该方法的返回类型来约束transformResponse() 方法的参数。我不知道如何让推理与对象文字一起工作。看起来通用 ApiResponse 参数尚未及时解析，无法根据上下文将参数类型限制为 transformResponse()。

我可以让推理起作用的方法是将对象文字分成两部分，并让一个函数将这些部分作为参数并将它们放在一起。这让我们可以利用left-to-right inference 来获取上下文类型的函数参数。向您展示可能更有意义：

我将为您假设这些定义，因为您没有指定它们：

interface Comment {
    something: string; // who knows
}
interface ApiClient {
    createComment(): Promise<Comment>;
}

我会给Config的方法提供一些类型别名，以便我可以重用它们：

type CallApi<R> = (api: ApiClient) => Promise<R>;
type TransformResponse<R> = (payload: R) => any;

最后，这是您的Config<R>，实际上与您的（编辑）版本相同，使用R 而不是ApiResponse：

interface Config<R> {
    callApi: CallApi<R>,
    transformResponse?: TransformResponse<R>
}

下面是使推理起作用的函数：

const buildConfig = <R>(
    callApi: CallApi<R>, 
    transformResponse?: TransformResponse<R>
): Config<R> => ({ callApi, transformResponse });

buildConfig() 函数有两个参数。第一个是CallApi<R>，第二个是TransformResponse<R>。函数参数的从左到右的上下文类型推断意味着它将从第一个参数解析R，然后在第二个参数的上下文类型中使用它。像这样：

const callCreateComment = buildConfig(
    (api) => api.createComment(),  // R is inferred as Comment
    (payload) => ({ ...payload })  // payload is now constrained
);

您会注意到，当您输入时，payload 的上下文类型将被推断为Comment。并且callCreateComment 被键入为Config<Comment>，您不必根据需要在该函数的任何位置指定Comment。

Playground link

希望对您有所帮助。祝你好运！