[TypeScript] 타입스크립트: 정적 타입 시스템 제공(문자열 타입 & 문자열 리터럴 타입)

두 타입은 두 언어에서 어떻게 사용되고 있을까?

문자열 리터럴 타입과 같은 개념은 TypeScript에서 중요한 핵심 개념이지만, JavaScript에서는 제한적으로 적용되는 개념입니다. 그 이유는 TypeScript는 정적 타입 시스템을 제공하는 반면, JavaScript는 동적 타입 언어로 설계되었기 때문입니다.

TypeScript에서의 핵심 내용

• 문자열 리터럴 타입과 같은 기능은 TypeScript에서 매우 중요한 역할을 합니다. TypeScript는 JavaScript의 상위 집합으로, 개발자가 코드 작성 시 더 안전한 타입 검사를 통해 버그를 예방할 수 있도록 도와줍니다.
• TypeScript는 타입을 명시적으로 지정하거나 추론을 통해 정적 분석을 수행하여 런타임 전에 타입 오류를 찾아낼 수 있습니다.
• 문자열 리터럴 타입은 TypeScript에서 특정 값 집합을 제한하여 더 엄격한 타입 검사를 가능하게 하며, 잘못된 값의 할당을 컴파일 타임에 미리 방지할 수 있게 해줍니다.

예시:

type Status = "success" | "failure" | "pending";

let currentStatus: Status;
currentStatus = "success"; // OK
currentStatus = "error";   // Error: Type '"error"' is not assignable to type 'Status'

이런 제약 덕분에 코드를 작성하면서 잘못된 값이 들어갈 가능성을 줄여주고, 코드의 안정성을 높여줍니다.

JavaScript에서의 제한적인 적용

JavaScript는 동적 타입 언어이기 때문에 런타임에만 값의 타입이 결정됩니다. 따라서 TypeScript의 문자열 리터럴 타입처럼 특정 값의 집합을 미리 제한하거나, 컴파일 타임에 타입 오류를 체크하는 기능은 제공하지 않습니다.

• JavaScript에서는 모든 값을 변수에 할당할 수 있고, 타입 검사가 런타임에 발생합니다.
• TypeScript처럼 문자열 리터럴 타입을 통한 안전성을 JavaScript에서 구현하는 것은 불가능합니다. JavaScript에서는 값의 타입이 고정되지 않고 언제든지 변경될 수 있기 때문에 타입 안정성을 기대할 수 없습니다.

예시:

let status = "success";
status = "error"; // OK, JavaScript에서는 타입을 제한할 수 없음

JavaScript에서는 위와 같은 코드가 아무런 문제 없이 실행됩니다. 런타임 오류가 발생할 때까지는 해당 코드가 잘못되었는지 알 수 없습니다. 즉, 미리 컴파일 타임에 타입 오류를 찾아낼 수 있는 TypeScript의 기능이 JavaScript에는 없다는 점에서 제한적입니다.

TypeScript와 JavaScript의 차이점

• TypeScript는 정적 타입 검사, 문자열 리터럴 타입과 같은 기능을 통해 더 엄격하고 안전한 코드를 작성할 수 있도록 도와줍니다.
• JavaScript는 동적 타입 언어로, 값의 타입을 제한하거나 제약하는 기능이 없습니다. 런타임 시점에서만 오류를 발견할 수 있습니다.

문자열 타입와 문자열 리터럴 타입의 차이

1. 문자열 타입 (string)

• 문자열 타입은 TypeScript에서 모든 문자열을 허용하는 타입입니다.
• 값으로 어떤 문자열이든 들어올 수 있습니다.

let str: string = "hello";
str = "world"; // OK
str = "apple"; // OK
str = "banana"; // OK

여기서 str 변수는 string 타입이기 때문에, 어떤 문자열이든 할당할 수 있습니다. "hello", "world", "apple", "banana" 등 다양한 문자열 값이 올 수 있으며, 컴파일러는 해당 값이 문자열임을 확인할 뿐, 어떤 특정 값이 들어올지는 제한하지 않습니다.

2. 문자열 리터럴 타입

• 문자열 리터럴 타입은 특정한 하나의 문자열 값만 허용하는 타입입니다.
• 정의된 특정 문자열만 값을 가질 수 있으며, 다른 값은 허용되지 않습니다.

let specificStr: "apple" = "apple";
specificStr = "banana"; // Error: Type '"banana"' is not assignable to type '"apple"'

여기서 specificStr 변수는 문자열 리터럴 타입인 "apple"로 선언되었습니다. 즉, 이 변수는 오직 "apple"이라는 값만 가질 수 있으며, "banana"나 "orange" 같은 다른 값들은 허용되지 않습니다.

차이점 정리

• 문자열 타입 (string): 모든 문자열 값이 허용됩니다.
• 문자열 리터럴 타입: 특정한 하나의 문자열 값만 가질 수 있습니다. 컴파일러는 이 값을 고정된 리터럴로 인식하고, 다른 값이 할당되면 오류를 발생시킵니다.

예시: 차이점 비교

// 문자열 타입
let generalStr: string = "hello";
generalStr = "world"; // OK, 다른 문자열 할당 가능

// 문자열 리터럴 타입
let literalStr: "hello" = "hello";
literalStr = "world"; // Error: Type '"world"' is not assignable to type '"hello"'

문자열 리터럴 타입이 유용한 경우

문자열 리터럴 타입은 주로 상수 값을 고정하거나, 특정 제한된 값 집합을 정의하고자 할 때 유용합니다. 예를 들어, 특정 값을 미리 정의한 상태에서만 허용하려는 경우에 사용됩니다.

type TrafficLight = "red" | "yellow" | "green";

let signal: TrafficLight;
signal = "red";    // OK
signal = "yellow"; // OK
signal = "blue";   // Error: Type '"blue"' is not assignable to type 'TrafficLight'

위의 예시에서 TrafficLight 타입은 "red", "yellow", "green"만을 허용하는 문자열 리터럴 타입의 유니언으로 정의되었습니다. 따라서 그 외의 값들은 타입 오류를 발생시킵니다.

정리

문자열 리터럴 타입과 같은 기능은 TypeScript의 핵심적인 타입 시스템에 속하며, JavaScript에서는 구현할 수 없는 기능입니다. TypeScript는 이런 타입 시스템을 통해 코드의 안정성을 강화하고, 런타임 오류를 줄이는 데 기여합니다. JavaScript에서는 이런 기능이 없기 때문에 더 많은 테스트나 코드 검증이 필요하게 됩니다.

문자열 리터럴 타입과 문자열 타입의 차이는 값의 구체성과 제한성에서 나타납니다.