inflearn logo
강의

강의

N
챌린지

챌린지

멘토링

멘토링

N
클립

클립

로드맵

로드맵

지식공유

한 입 크기로 잘라먹는 타입스크립트(TypeScript)

타입스크립트 이해하기

대수 타입 - Union과 Intersection 타입 관련

627

이은혜

작성한 질문수 80

0

안녕하세요 제가 이해가 조금 안 가서 여쭤봅니다.

합집합(Union 타입)

type Dog = {
  name: string;
  color: string;
};

type Person = {
  name: string;
  language: string;
};

type Union1 = Dog | Person;

let union1: Union1 = { // ✅
  name: "",
  color: "",
};

let union2: Union1 = { // ✅
  name: "",
  language: "",
};

let union3: Union1 = { // ✅
  name: "",
  color: "",
  language: "",
};

합집합이라 union3 경우 이해가 됩니다.

 

그런데, 교집합(Intersection) 타입
이 부분이 이해가 잘 가지 않아서 여쭤봅니다.

type Dog = {
  name: string;
  color: string;
};

type Person = {
  name: string;
  language: string;
};

type Intersection = Dog & Person;

let intersection1: Intersection = {
  name: "",
  color: "",
  language: "",
};

intersection1은 왜 이렇게 되는 걸까요?

교집합이라고 하면Dog와 Person 겹쳐진 name 만 가져와야 하는 게 맞지 않나요?

합집합과 교집합의 의미를 검색해봤는데

합집합 - 집합의 원소를 "모두 포함"하는 집합
교집합 - 두 사건에 "모두 속하는"원소로만 이루어진 집합

자세한 설명 부탁 드립니다

typescript

답변 1

1

이정환 Winterlood

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

타입스크립트에서 객체 타입의 교집합은 '집합'을 기준으로 만들어집니다.

따라서 두개의 객체 타입의 교집합은 두 타입에 모두 속하는 요소들만 포함하는 집합으로 만들어지게 됩니다.

예를 들어 다음과 같은 두개의 타입이 존재할 때

type Dog = {
  name: string;
  color: string;
};

type Person = {
  name: string;
  language: string;
};

Dog 타입과 Person 타입의 교집합 타입은 Dog에도 포함되고 Person에도 포함되는 값들을 포함하는 집합이 되어야 합니다.

그렇기 때문에 교집합은 { name : string } 이 아닌 두 타입의 모든 프로퍼티를 갖는 { name : string, color: string, language: string } 으로 생성됩니다.

{ name : string } 으로 교집합이 생성되면 안되는 이유는 다음과 같습니다.

  • 값 {name : "이정환"}은 이 교집합에는 속하지만 Dog와 Person 타입에 속하지 않습니다(모순)

  • 값 {name: "이정환", color:"갈색"}은 이 교집합과 Dog타입에는 속하지만 Person 타입에는 속하지 않습니다 (모순)

{ name : string, color: string, language: string } 으로 교집합이 생성될 경우도 따져보겠습니다.

  • 값 {name:"이정환", color:"갈색", language:"한국어"}은 Dog타입에도 속하고 Person타입에도 속합니다. 그러므로 교집합입니다.

0

이은혜

2개에 모두 속한..! 감사합니다 이해되었습니다 :)

핸드북 light/dark mode 관련 이슈가 있는 것 같습니다.

0

21

1

제네릭 클래스 핸드북 페이지가 undefined라고 나옵니다.

0

31

2

적절한 타입 찾기 React.ChangeEvent<HTMLInputElemen>

0

37

2

outDir 옵션 추가 후 컴파일 오류 질문

0

81

1

호출 시그니처 질문

0

72

2

서로소 유니언 타입이 discriminated union과 동의어 인가요?

0

84

2

조건부타입소개 중 함수오버로딩 활용 시 인수의타입과 함수의 반환값의 타입이 깨지는 문제

0

72

1

할인쿠폰 관련하여

0

168

2

프론트엔드에서의 인터페이스활용

0

102

2

안녕하세요 이정환님!

0

97

1

Node.js 설치에 관한 질문입니다.

0

82

2

함수 타입 호출 시그니처

0

63

1

35강. 모듈 보강은 라이브러리 파일을 직접 편집해야 하나요?

0

70

2

인터페이스 문법이 있는데 타입 별칭 문법은 왜 있나요?

0

122

4

마우스 호버 시 정보

0

99

2

vite으로 리액트 빌드하기를 업데이트해주세요.

1

93

2

타입가드를 만들어 사용하는 이유가 궁금합니다.

0

90

2

섹션 12가 너무 어려운데... 정상이겠죠..?

0

142

2

선생님.. 알고리즘도 강의해주시면안되나요

0

106

2

선생님은 어떻게 이런걸 아세요?

0

137

1

type: module

0

102

2

7:17초 업캐스팅 질문이있습니다!

0

84

1

슈퍼타입질문

1

70

2

프로젝트 설치

0

116

2