대수 타입 - Union과 Intersection 타입 관련
627
작성한 질문수 80
안녕하세요 제가 이해가 조금 안 가서 여쭤봅니다.
합집합(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 만 가져와야 하는 게 맞지 않나요?
합집합과 교집합의 의미를 검색해봤는데
합집합 - 집합의 원소를 "모두 포함"하는 집합
교집합 - 두 사건에 "모두 속하는"원소로만 이루어진 집합
자세한 설명 부탁 드립니다
답변 1
1
안녕하세요 이정환입니다.
타입스크립트에서 객체 타입의 교집합은 '집합'을 기준으로 만들어집니다.
따라서 두개의 객체 타입의 교집합은 두 타입에 모두 속하는 요소들만 포함하는 집합으로 만들어지게 됩니다.
예를 들어 다음과 같은 두개의 타입이 존재할 때
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타입에도 속합니다. 그러므로 교집합입니다.
핸드북 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





