[Typescript] 유니언과 리터럴(2)

🚩리터럴 타입

const philosopher = "Hypatia";

위의 코드를 보면 philosopher 이라는 변수에 "Hypatia"라는 string을 담았다.

즉, philosopher은 string타입이면서도 구체적으로는 "Hypatia"라는 구체적인 특별한 값을 가진다.

이것을 우리는 리터럴 타입이라고 부른다.

const로 선언

 

리터럴 타입이라고 부를 수 있는 것은 원시타입 값 중 어떤 것이 아닌 특정 원시값으로 알려진 타입이다. 

리터럴 타입으로 선언할 수 있는 방법은 변수를 const로 선언하고 직접 리터럴 값을 할당하면 Typescript는 해당변수를 할당된 리터럴 값으로 유추한다.

let으로 선언

let으로 선언할 경우는 일반적인 원시타입을 가진다. 아래와 같은 경우에선 string이다.

let lifespan : number | "ongoing" | "uncertain";

이런식으로 유니언 타입 에너테이션에서 리터럴과 원시타입을 섞어서 사용할 수도 있다.

 

🚩엄격한 null 검사

const firstname : string = null;

엄격한 null검사가 없는 C++이나 Java와 같은 언어에서는 이렇게 변수에 null을 할당하는 것이 허용된다.

하지만 Typescript에서는 엄격한 null검사를 통해 잠재적으로 정의되지 않은 undefined를 잡아낸다.

 

이것은 Typescript 컴파일러에서 잡아내는데 엄격한 null검사를 하는 컴파일러 옵션은 strictNullChecks 로 엄격한 null검사를 할지 안할지에 대한 여부를 결정한다.

 

let nameMaybe = Math.random() > 0.5
? "Tony Hoare"
: undefined;

nameMaybe.toLowerCase();

엄격한 null검사가 적용됨

이런 에러를 불러오며 엄격한 null검사를 통해 코드가 null 또는 undefined값으로 인한 오류로부터 안전한지 여부를 쉽게 파악할 수 있다.

 

🚩타입 별칭

유니언을 하다보면 타입을 많이 적게되어 귀찮음이 발생할 수 있다.

이 때 재사용하는 타입 유니언에 더 쉬운 이름으로 할당하는 타입별칭을 사용한다.

let dataFirst : boolean | number | string | null | undefined;
let dataSecond : boolean | number | string | null | undefined;

이렇게 타입 유니언을 일일히 복사+붙여넣기를 해주기 귀찮기 때문에

type Data = boolean | number | string | null | undefined;

let firstData : Data;
let secondData : Data;

이런식으로 타입별칭을 사용해 간편하고 읽기 쉽게 작성할 수 있다.

 

타입별칭의 결합

1. 타입 별칭은 다른 타입별칭을 참조할 수 있다.

type Id = number | string;
type IdMaybe = Id | undefined | null;

2. 사용 순서대로 타입별칭을 선언할 필요는 없다.

type IdMaybe = Id | undefined | null;
type Id = number | string;
//순서가 바뀌어도 OK!!