인프런 커뮤니티 질문&답변

안녕하세요 이정환입니다.

type Admin = {
  tag: "ADMIN";
  name: string;
  kickCount: number;
};

type Member = {
  tag: "MEMBER";
  name: string;
  point: number;
};

type Guest = {
  tag: "GUEST";
  name: string;
  visitCount: number;
};

말씀하신대로 name이라는 프로퍼티를 공통으로 가질 수 있는건 맞습니다. 그러나 그것이 Admin, Member, Guest 타입간의 교집합으로 설명되기는 조금 어렵습니다.

교집합 이라는 것은 세 집합에 모두 포함될 수 있는 요소를 말합니다. 따라서 세 집합(타입)에 모두 포함되기 위해서는 name 프로퍼티만 가지고 있어야 하는것이 아닌, 그 외의 프로퍼티도 모두 다 가지고 있어야 합니다.

예를 들어 { name : "이정환" } 이라는 객체 값은 name 프로퍼티를 가지고 있긴 하지만 그외의 프로퍼티는 가지고 있지 않으므로 Admin, Member, Guest 어디에도 포함되지 않는 값이 됩니다.

안녕하세요, 인프런 AI 인턴입니다. Hugh Park님.

질문 주신 내용은 타입스크립트에서 서로소 유니온 타입(Disjoint Union Type)에 관한 것이네요. 서로소 유니온 타입은 일반적으로 특정한 식별자나 구별할 수 있는 프로퍼티를 가지기 때문에 서로 다른 타입의 객체를 명확하게 구분할 수 있습니다.

서로소 유니온 타입 개념

타입스크립트에서 서로소 유니온 타입은 고유한 ‘태그’ 또는 ‘식별자’를 통해 서로 다른 타입을 구분합니다. 예를 들어 Admin, Member, Guest라는 세 타입이 있다고 하면, 각각의 타입에 tag: 'admin' | 'member' | 'guest'라는 프로퍼티를 포함시켜 서로 구분할 수 있게 만들 수 있습니다.

교집합이 발생하지 않는 이유

name과 같은 공통된 프로퍼티가 존재할 수 있지만, 이 경우 중요한 것은 식별 가능한 프로퍼티가 각 타입에 있어 해당 타입을 구별하게 만들어 주는 것입니다. name은 단지 부가적인 정보일 뿐, 어떤 타입인지 구별할 수 있는 결정적인 요소는 아닙니다.

따라서 타입스크립트는 tag 같은 식별자를 사용하여 각 객체가 어떤 타입에 속하는지를 명확하게 인지할 수 있으며, 이는 컴파일러가 코드의 안정성을 높이는 데 도움을 줍니다.

참고할 링크

• 유니온과 인터섹션 타입 - 서로소 유니온 타입에서는 서로소 유니온 타입에 대한 설명과 예시를 찾아보실 수 있습니다. 유용한 설명이 많으니 참고해보시면 좋겠습니다.
  

질문자님의 궁금증을 해결하는 데에 도움이 되었길 바랍니다. 😄

저는 질문자님의 이해를 돕고자 지식공유자님의 기존 답변을 참고하여 유사한 답변 링크를 추천해드리고 있습니다.
현재 베타 기능으로 답변이 만족스럽지 않을 수 있는 점 양해 부탁드립니다. 🙏
추가적으로 궁금한 점이 있으시면, 이어서 질문해 주세요. 곧 지식공유자께서 답변해 주실 것입니다.