如何正确推断xxx型到data型？
限制:
Promise<{ xxx: Data; }>-当前有效.function wrapper<
Data,
A extends Promise<{ xxx: Data; }>,
>(a: A): Promise<{ data: Data }> {
return 1 as any
}
async function a(): Promise<{ xxx: string }> {
return { xxx: 'a' }
}
wrapper(a()).then(res => {
const data: string = res.data // is unknown, how to make it infer string?
})
你可能期望编译器将A推断为Promise<{ xxx: string }>，并由此推断Data为string，因为A extends Promise<{xxx: Data}>.不幸的是，在TypeScript中，像extends Promise<{xxx: Data}>这样的generic constraints不能作为类型参数的推理站点.(这种行为在microsoft/TypeScript#7234年被提出，但从未实施.)因此，编译器不知道将Data推断为什么，因此返回到the unknown type.哎呀.
为了从a中推断出Data(我将其重命名为D，以便更符合类型参数的常用命名约定)，需要给a一个与D直接相关的类型.以下是最简单的方法:
function wrapper<D>(a: Promise<{xxx: D}>): Promise<{ data: D }> {
return 1 as any
}
你的代码中没有真正使用A，所以我忽略了它.相反，我们说a属于Promise<{xxx: D}>型.编译器can通过匹配Promise<{xxx: string}>到Promise<{xxx: D}>，由此推断D.
让我们看看它的实际行动:
wrapper(a()).then(res => {
const data: string = res.data // okay
});
看起来不错.