typescript 在这种情况下可以做联合类型断言吗？

Question

typescript 在这种情况下可以做联合类型断言吗？ 我想使用ab.a或ab.b或ab. hasOwnProperty ab. hasOwnProperty做type A或type B的断言？ 我该怎么办？

export interface A extends Object {
    a: string;
}

export interface B extends Object {
    b: number;
}

export type AorB = A | B;

function test(ab: AorB) {
    // can ts auto predict this ?
    if (ab.hasOwnProperty('a')) {
        ab.a // type error
    }
}

Answer 1

更新您的 function 如下：

function test(ab: AorB) {
    // can ts auto predict this ?
    if ('a' in ab) {
        console.log(ab.a);
    }
}