我想有一个类型的形式IA<T>，像
interface IA<T> {
f: () => T | number;
x: boolean
}
不同的是，当x是true时，f返回number，而当x是false时，f返回T.这个是可能的吗？我试过了
interface IA<T> {
f: (this: IA<T>) => this['x'] extends true ? T : number;
x: boolean
}
但它不起作用:
const x0: IA<string> = { // error!
f: () => "hello",
x: true as const
}
我的目标是让以下代码正常工作:
if (x0.x === true) {
x0.f().toUpperCase(); // okay, it's a string
} else {
x0.f().toFixed(); // okay, it's a number
}
有可能吗？
TypeScript判断一个属性并使其影响其他属性的明显类型的唯一功能是将类型设为discriminated union. 所以让我们把IA<T>变成一个歧视性的婚姻:
type IA<T> =
{ x: true, f: () => T; } |
{ x: false, f: () => number }
(请注意，它必须是type alias而不是interface，但在大多数情况下这不应该是重要的.
这里的x属性是discriminant，使用literal types、true和false来区分你有哪个联盟成员. 然后，您可以根据需要指定x0值:
const x0: IA<string> = {
f: () => "hello",
x: true
} // okay
并执行您预期的缩小范围:
function foo(y: IA<string>) {
if (y.x === true) {
y.f().toUpperCase() // okay
} else {
y.f().toFixed() // okay
}
}
foo(x0); // okay
(我把它包装在一个函数中，因为TS足够聪明，注意到x0总是true的情况，因为它是narrows on assignment，所以x0.f().toFixed()失败，因为它知道不能输入分支.