2 인터페이스의 Typescript 통합은 모호한 코드를 허용합니다

Question

배열에서 A와 B 중 하나가 2 가지 유형 중 하나를 시행하도록합니다. 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 태그 푸 "인스턴스"를 생성하는 기능을 만듭니다 시행하고 공칭 유형을 시뮬레이션, 당신은 당신의 유형에 고유 한 태그를 추가 할 수 있습니다.