[타입스크립트] 유니언 타입 과 교차 타입

유니언 타입

유니언(Union)"은 프로그래밍에서 사용되는 용어로, 하나의 변수가 여러 가지 타입 중 하나를 가질 수 있음을 의미한다. 유니언은 많은 프로그래밍 언어에서 사용되며, 각 언어는 자신만의 방식으로 이 개념을 구현한다.

예를 들어, TypeScript에서는 유니언 타입을 | (’파이프’)연산자로 표현한다. 예를 들면 아래와 같다:

let value: number | string;  // 'value'는 'number' 또는 'string' 타입이 될 수 있음

교차타입

타입스크립트에서 "교차 타입(Intersection Types)"은 여러 타입을 결합하여 새로운 타입을 만드는 방법을 제공한다. 교차 타입은 기본적으로 & 연산자를 사용하여 정의되며, 이는 "그리고"를 의미한다. 즉, 교차 타입은 모든 타입이 동시에 만족되어야 하는 타입을 생성한다.

예를 들어, 두 개의 객체 타입을 교차로 결합하여 두 객체 타입의 모든 속성을 갖는 새로운 타입을 만들 수 있다. 다음은 이에 대한 간단한 예이다:

type Name = {
  name: string;
}

type Age = {
  age: number;
}

type Person = Name & Age;

let john: Person = {
  name: 'John',
  age: 30
};

위의 코드에서 Name과 Age라는 두 개의 타입을 교차하여 Person이라는 새로운 타입을 생성했다. Person 타입은 name 속성과 age 속성을 모두 가지고 있어야 한다.

이렇게 교차 타입을 사용하면 여러 타입의 속성을 모두 포함하는 새로운 타입을 효과적으로 생성할 수 있다. 이를 통해 코드의 재사용성을 높이고, 타입의 조합을 통한 복잡한 타입의 정의를 가능하게 한다.