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);
    }
}