교차 형식: A와 B

시작하기

기본 교차 타입 구문

type Named = { name: string };
type Aged = { age: number };
type Person = Named & Aged;
const alice: Person = { name: 'Alice', age: 30 };

모든 속수 필요

type A = { x: number };
type B = { y: number };
type AB = A & B;
// const p: AB = { x: 1 }; // Error — missing y

객체 타입 병합하기

type Serializable = { serialize(): string };
type Loggable = { log(): void };
type Service = Serializable & Loggable;

교차 타입과 확장의 차이

// Interface extend:
interface C extends A, B {}

// Intersection type:
type D = A & B;
// Both give the same shape for simple objects

충돌하는 타입과 교차 타입

type X = { id: string };
type Y = { id: number };
type XY = X & Y;
// XY.id is string & number = never — impossible!

함수 매개변수의 교차 타입

function process(item: Serializable & Loggable): void {
  item.log();
  console.log(item.serialize());
}

교차 타입을 사용한 믹스인 패턴

type Timestamped<T> = T & { createdAt: Date };
type User = Timestamped<{ name: string; email: string }>;

원시 타입의 교차는 never로 축소됨

type T = string & number; // never — a value can't be both

교차 타입과 유니언의 핵심 차이

제네릭과 교차 타입 사용하기

type WithId<T> = T & { id: number };
const user: WithId<{ name: string }> = { id: 1, name: 'Alice' };

빠른 확인

복습