<aside> 📌 합집합은 | 교집합은 & 로 타입을 나타낼 수 있다.

</aside>

type A = string | boolean;
type B = boolean | number;
type C = A & B; // type C = boolean

type D = {} & (string | null); // type D = string

type E = string & boolean; // type E = never

type F = unknown | {}; // type F = unknown
type G = never & {}; // type G = never

• {} 타입은 null 과 undefined 를 제외한 모든 타입을 말한다.

객체와 원시 타입의 합집합/교집합

type H = { a: 'b' } & number; // type H = { a: 'b' } & number
type I = null & { a: 'b' }; // type I = never
type J = {} & string; // type J = string

• 타입 H는 브랜딩 기법으로, 객체 타입과 원시값은 겹치는 부분이 없음에도 never 타입이 아니다.
  • 예외 사항
• 타입 I는 객체와 null의 교집합이므로 never 타입
• 타입 J는 {} 와 string의 교집합이므로 string 타입

주의할 점

• any 타입은 집합 관계를 무시하므로 any 와는 &, | 연산을 하지 않는 것이 좋다.
  • 일관성이 없어 값을 예측하기 어려움