해결된 질문2025-02-03T13:43:04.553Z

Hugh Park

작성한 질문수 5

0

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

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 어디에도 포함되지 않는 값이 됩니다.

0

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

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

서로소 유니온 타입 개념

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

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

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

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

참고할 링크

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

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

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