TypeScript映射类型不匹配：联合类型传参报错如何解决？

问题原因 #

当你从A类型的变量temp中解构出a和b再重新构造对象时，TypeScript会将新对象的类型推断为{a: number | null, b: number | null}，这个类型并不符合联合类型A的严格约束（A要求两个属性必须一个是number、另一个是null），因此触发类型错误。

可行解决方案 #

1. 直接传递原变量（最简单） #

既然temp本身就是A类型，完全不需要重新构造对象，直接传入ccc即可：

aaa.map(temp => {
    ccc(temp); // 无类型错误
})

2. 使用类型断言 #

如果你确实需要重新构造对象，可以用类型断言明确告诉TypeScript这个对象符合A类型：

aaa.map(temp => {
    ccc({ a: temp.a, b: temp.b } as A); // 断言为A类型
})

注意：类型断言是你手动保证类型正确性，若后续代码逻辑破坏了A的约束，TypeScript不会再报错，需谨慎使用。

3. 通过类型守卫细化类型 #

通过判断属性值来让TypeScript自动推断出符合A的分支类型：

aaa.map(temp => {
    if (temp.a !== null) {
        // 此时TS知道temp是{a: number, b: null}类型，构造的对象自然符合A
        ccc({ a: temp.a, b: null });
    } else {
        // 此时TS知道temp是{a: null, b: number}类型
        ccc({ a: null, b: temp.b });
    }
})

4. 自定义类型断言函数（最安全） #

如果需要频繁做这类类型验证，可以写一个类型断言函数来确保构造的对象符合A类型：

// 定义类型断言函数，验证对象是否符合A类型
function isA(obj: { a: number | null, b: number | null }): obj is A {
    return (obj.a !== null && obj.b === null) || (obj.a === null && obj.b !== null);
}

aaa.map(temp => {
    const newObj = { a: temp.a, b: temp.b };
    if (isA(newObj)) {
        ccc(newObj); // 经过验证后，TS确认newObj是A类型
    }
})

内容的提问来源于stack exchange，提问作者Hyesung Oh