Проверьте, является ли переменная конкретным типом интерфейса в объединении типов.

Question

Возможно ли создать тип-защитник или что-то еще, что позволяет достичь той же цели, чтобы проверить, является ли переменная конкретным типом интерфейса в союзе типов?

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

typeof не делает этого. Он всегда возвращает «string», «number», «boolean», «object», «function» или «undefined».

Вы можете проверить свойства объекта с помощью теста, такого как if(thing.a !== undefined) { или if(thing.hasOwnProperty('a')) {.

Обратите внимание, что вы могли бы сделать объект, который имел как строка a и строка b, так что надо знать о такой возможности.

Answer 2

В машинопись 2 вы можете использовать Discriminated Unions так:

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

, а затем тест-объекта с помощью if (thing.kind === "foo").

Если у вас есть только 2 поля, как в примере, я бы, вероятно, пойти с комбинированным интерфейсом, @ryan-cavanaugh упомянутых и сделать оба свойства дополнительно:

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

Обратите внимание, что в оригинальной примере тестирования объекта с использованием if (thing.a !== undefined) производит ошибка Property 'a' does not exist on type 'Foo | Bar'.

И тестирование с использованием if (thing.hasOwnProperty('a')) не ограничивает тип до Foo внутри инструкции if.

@ryan-cavanaugh Есть ли лучший способ в TypeScript 2.0 или 2.1?

Answer 3

С машинопись 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-guards