打字稿部分类型推断 [英] 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
未给出,因此它将默认为{}
,而不是推断它。
在GitHub上相关issue。
这篇关于打字稿部分类型推断的文章就介绍到这了,希望我们推荐的答案对大家有所帮助,也希望大家多多支持IT屋!
查看全文