打字稿部分类型推断 [英] Typescript partial type inference

问题描述

我被它难住了，不知道如何在没有第二个函数的情况下做到这一点：

interface Fixed { a: number }
const fn = <A, B extends {} = {}>(b: B) => {
  return b
}

fn({ a: 1 }) // { a: number }
fn<Fixed>({ a: 1 }) // {}

const fn2 = <A>() => <B extends {} = {}>(b: B) => {
  return b
}

const result = fn2<Fixed>()({ a: 1 }) // { a: number }

如果我修复了A类型，为什么TypeScrip不能推断B的类型？ 如果我返回一个函数，而该函数又试图推断B的类型，则一切都会再次正常工作。

推荐答案

类型推理基于全有或全无原则工作。在第一种情况下：

fn({ a: 1 })

未提供泛型类型参数，因此它将同时推断两者：

• B根据函数参数推断为{ a: number }；
• 和A将被推断为unknown，因为它不在函数中的任何位置使用。

在第二种情况下：

fn<Fixed>({ a: 1 })

您指定了一个泛型类型，这意味着类型推断将不会用于其余类型参数，因此：

• A指定为Fixed；
• B未给出，因此它将默认为{}，而不是推断它。

尽管这很烦人，但这就是TypeScrip的工作方式。您的第二个包含两个函数调用的示例是此问题的常见解决方法。

在GitHub上相关issue。

这篇关于打字稿部分类型推断的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！