• 교차 타입을 사용해 여러 타입을 동시에 나태낼 수 있음

type Artwork = {
  genre: string;
  name: string;
};

type Writing = {
  pages: number;
  name: string;
};

type WrittenArt = Artwork & Writing;

위는 아래와 같음.

{
  genre: string;
  name: string;
  pages: number;
}

• 유니언 타입과 결합 가능

type ShortPoem = { author: string } & (
  | { kigo: string; type: "haiku" }
  | { meter: number; type: "villanelle" }
);

// ✅ Ok
const morningGlory: ShortPoem = {
  author: "Fukuda Chiyo-ni",
  kigo: "Morning Glory",
  type: "haiku",
};

// ❌ error
const oneArt: ShortPoem = {
  author: "Elizabeth Bishop",
  type: "villanelle",
};

// ❌ error
const twoArt: ShortPoem = {
  author: "Elizabeth Bishop",
  kigo: "dd",
  type: "villanelle",
};

// ✅ Ok
const threeArt: ShortPoem = {
  author: "Elizabeth Bishop",
  meter: 20,
  type: "villanelle",
};

📍 교차 타입의 위험성

• 교차 타입은 유용하지만, 타입스크립트 컴파일러를 혼동시키는 방식으로 사용하기 쉬움
• 따라서, 가능한 한 코드를 간결하게 유지해야 함

☑️ 긴 할당 가능성 오류

• 복잡한 교차 타입을 만들게 되면, 할당 가능성 오류 메시지는 읽기 어려워짐 -> ✨ 타입을 일련의 별칭으로 된 객체 타입으로 분할하면 읽기가 더 쉬워짐

// bad
type ShortPoem = { author: string } & (
  | { kigo: string; type: "haiku" }
  | { meter: number; type: "villanelle" }
);

// good
type ShortPoemBase = { author: string };
type Haiku = ShortPoemBase & { kigo: string; type: "haiku" };
type Villanelle = ShortPoemBase & { meter: number; type: "villanelle" };
type ShortPoem = Haiku | Villanelle;

☑️ never

• 교차 타입은 잘못 사용하기 쉽고, 불가능한 타입을 생성함
• 원시 타입의 값은 동시에 여러 타입이 될 수 없기 때문에 교차 타입의 구성 요소로 함께 결합할 수 없음 -> 시도하면 never 타입이 됨

type NotPossible = number & string; // 타입: never

• 대부분의 타입스크립트 프로젝트는 never 타입을 거의 사용하지 않지만, 코드에서 불가능한 상태를 나타내기 위해 가끔 등장하기도 함
  • 대부분 교차 타입을 잘못 사용해 발생한 실수일 가능성이 높음