检查变量是否为typescript联合中的特定接口类型

Question

是否有可能创建一个typeGuard，或者其他实现相同目的的东西，来检查一个变量是否是打字稿联合中的特定接口类型？

interface Foo { a:string }
interface Bar { b:string }

(function() {
    function doStuff(thing: Foo | Bar) {
        if(typeof thing === 'Foo') {
            console.log('Foo');
        } 
        else if (typeof thing === 'Bar') {
            console.log('Bar');
        }
        else {
            console.log('unknown');
        }
    }

    var thing: Foo = {a:'a'};
    doStuff(thing);
})();

Answer 1

在TypeScript 2中，您可以使用如下区别联合：

interface Foo {
    kind: "foo";
    a:string;
}
interface Bar {
    kind: "bar";
    b:string;
}
type FooBar = Foo | Bar;
let thing: FooBar;

然后使用if（thing.kind==="foo"）测试对象。

如果您只有两个字段，如示例中所示，我可能会使用@ryan cavanaugh提到的组合接口，并使这两个属性都是可选的：

interface FooBar {
    a?: string;
    b?: string
}

请注意，在原始示例中，使用if（thing.a！==undefined）测试对象会产生错误类型“Foo | Bar”上不存在属性“a”

使用if（thing.hasOwnProperty（'a'））测试它不会在if语句中将类型缩小为Foo。

@ryan cavanaugh在TypesScript 2.0或2.1中有更好的方法吗？

Answer 2

typeof不这样做。它总是返回“字符串”、“数字”、“布尔”、“对象”、“函数”或“未定义”。

您可以使用类似的测试来测试对象属性if（事情. a！==未定义）{或if（thing.hasOwnProperty（'')) { 。

请注意，您可以创建一个同时具有字符串a和字符串b的对象，因此请注意这种可能性。

Answer 3

自TypeScript 1.6以来，您可以使用用户定义的类型防护：

let isFoo = (object: Foo| Bar): object is Foo => {
    return "a" in object;
}

看https://www.typescriptlang.org/docs/handbook/advanced-types.html#user-defined-type-guardshttps://github.com/microsoft/TypeScript/issues/10485