1. 리터럴 타입 (Literal Types)

리터럴 타입은 특정 값만 가질 수 있도록 타입을 제한하는 것이다. 예를 들어, 숫자 1, 문자열 "hello", 또는 불리언 true 같은 값 자체를 타입으로 지정할 수 있다.

문자열과 숫자와 같은 일반적인 타입 외에도 타입 위치에서 특정 문자열과 숫자를 참조할 수 있다.

이것을 이해하는 한 가지 방법은 JavaScript 에서 변수를 선언하는 방법에 대해 생각해 보는 것이다. var 과 let은 변수에 담긴 값을 변경할 수 있도록 허용하는 반면, const 는 이를 허용하지 않는다. TypeScript가 리터럴을 타입으로 생성하는 방식도 이와 같은 맥락으로 이해할 수 있다.

리터럴 타입에서는 타입스크립트가 특정 값을 타입으로 사용하게끔 할 수 있다. 이는 일반적으로 특정 값만 허용해야 하는 경우에 유용하다. 예를 들어 const 로 변수를 선언하면 그 값이 고정되며, 타입스크립트는 이 고정된 값을 리터럴 타입으로 인식하게 된다.

let changingString 선언

let changingString = "Hello World";
changingString = "Olá Mundo";

changingString 은 let 으로 선언되어있기 때문에, "Hello World" 라는 값으로 초기화되어있어도 다른 문자열로 바뀔 수 있음.
TS는 changingString 을 string 타입으로 인식한다. 즉, 이 변수는 문자열이라면 어떤 값이든 가질 수 있다.
TS는 이 변수를 "Hello Wordld" 라는 리터럴 타입으로 제한하지 않ㄱ고 일반 문자열 타입(string)으로 간주한다.

const constantString 선언

const constantString = "Hello World!";

constantString 은 const로 선언되었기 때문에, 선언된 이후 값이 변경될 수 없다.
따라서 타입스크립트는 constantString 을 일반 문자열 타입이 아닌, "Hello World" 라는 특정 리터럴 타입으로 인식한다.
즉, constantSting 변수는 "Hello World" 라는 값만을 가질 수 있으며, 다른 값으로 변경할 수 없다.

리터럴 타입의 제한적인 사용

리터럴 타입의 예

let x : "hello" = "hello";
x = "hello";      // Ok!
x = "hobby";   //  Error!

여기서 x는 "hello" 라는 리터럴 타입을 가지고 있기 때문에 "hello" 라는 값만 가질 수 있다.
"hobby" 라는 다른 문자열을 할당하려고 하면 타입 오류가 발생한다. "hobby"는 x의 타입 "hello" 에 할당될 수 없기 때문이다.

결론

let 으로 선언된 변수는 타입스크립트에서 초기 값을 기반으로 일반 타입 (string, number 등) 으로 추론된다.
const 으로 선언된 변수는 초기 값을 기반으로 리터럴 타입 으로 추론되어, 해당 값만 가질 수 있는 타입으로 제한된다.
리터럴 타입을 사용하면 특정 값만 허용하는 변수를 만들 수 있지만, 단독으로는 유용성이 제한적일 수 있다. 주로 유니온 타입과 함께 사용해 제한된 값 목록을 허용할 때 유용하다.

wongakim-99 / TypeScript-Study

TS | 리터럴, 유니온/교차 타입 #7

1. 리터럴 타입 (Literal Types)

리터럴 타입의 제한적인 사용