[英]How to extract if condition to function and not break narrowed types in TypeScript
给出以下 if 语句:
interface MyData {
prop1?: number,
prop2?: number,
}
const x: MyData = {
prop1: 1,
prop2: 2,
}
function fun(a: number, b: number) {
console.log(a, b);
}
if (x.prop1 && x.prop2) {
fun(x.prop1, x.prop2);
}
编译器能够推断在 if 主体内部,定义了 x.prop1 并定义了 x.prop2。
我想通过将其提取到函数来命名条件。
function bothPropsDefined(prop1: number | undefined, prop2: number | undefined): boolean {
return !!prop1 && !!prop2;
}
if (bothPropsDefined(x.prop1, x.prop2)) {
fun(x.prop1, x.prop2);
}
但编译器未能得出结论,在 if 主体中,两个 props 都已定义。
// Argument of type 'number | undefined' is not assignable to parameter of type 'number'.
Type 'undefined' is not assignable to type 'number'.(2345)
我怎样才能给编译器一个提示,如果bothPropsDefined
返回 true,那么 prop1 和 prop2 被定义了?
我试过类型保护:
function bothPropsDefinedGuard(prop1: number | undefined, prop2: number | undefined): prop1 is number {
return !!prop1 && !!prop2;
}
if (bothPropsDefinedGuard(x.prop1, x.prop2)) {
fun(x.prop1, x.prop2);
}
但我只设法为一个属性添加了警卫。
更新
对于上述问题,我设法写了:
function bothPropsDefinedGuard2(x: {prop1?: number, prop2?: number}): x is {prop1: number, prop2: number} {
return !!x.prop1 && !!x.prop2;
}
if (bothPropsDefinedGuard2(x) {
fun(x.prop1, x.prop2);
}
但我的真实情况有点困难,因为道具来自多个对象:
interface MyData1 {
prop1?: number,
}
interface MyData2 {
prop2?: number,
}
const x1: MyData1 = {
prop1: 1,
}
const x2: MyData2 = {
prop2: 2,
}
您正在寻找自定义类型的守卫。 这是一个解决方案:
const x: { prop1: number | undefined, prop2: number | undefined } = {
prop1: 1,
prop2: 2,
}
function fun(a: number, b: number) {
console.log(a, b);
}
// Custom type guard
function propDefined(prop: number | undefined): prop is number {
return typeof prop === 'number';
}
// Use
if (propDefined(x.prop1) && propDefined(x.prop2)) {
fun(x.prop1, x.prop2);
}
注意:你不能有一个类型保护来改变两个参数的类型。 类型保护只能缩小一个参数,例如prop is number
,如图所示。
我的目标是命名条件,所以@basarat 的回答并不理想。
我结束了
由于人为添加的组合对象,这也不理想,但让我命名条件:
interface MyData1 {
prop1?: number,
}
interface MyData2 {
prop2?: number,
}
const x1: MyData1 = {
prop1: 1,
}
const x2: MyData2 = {
prop2: 2,
}
const xCombined: MyData = {
prop1: x1.prop1,
prop2: x2.prop2,
}
if (bothPropsDefinedGuard2(xCombined)) {
fun(xCombined.prop1, xCombined.prop2);
}
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.