2つのインターフェイスのTypescript結合であいまいなコードが可能

Question

2つのタイプのいずれかを実行する配列が必要です.AまたはB（BがAを拡張しています）どうすればいいですか？

interface Foo { 
    x: string; 
} 

interface Bar extends Foo { 
    y: string; 
    z: number; 
} 

type X = Foo | Bar; 

const arr: Array<X> = [ 
    { x: 'Hello' }, // implements Foo 
    { x: 'John', y: 'Doe', z: 42 }, // implements Bar 
    { x: 'Hello', y: 'World' }, // i want this to throw an error 
]; 

感謝:)

Answer 1

活字体が公称タイプ、唯一の構造のものを持っていません。 つまり、{x：string、y：string}は完全に細かいFooです（一致するタイプのxキーがあり、Fooを必要とするコードは他のキーを無視しても問題ありません）。

interface Foo { 
    _type: 'Foo' 
    x: string 
} 

を、容易に適切な_typeタグとFooの「インスタンス」を作成する関数を作成：実施し、公称の種類をシミュレートし、あなたのタイプに固有のタグを追加することができます。