type OneToFive = 1 | 2 | 3 | 4 | 5;
type Bools = true | false;
추론(Inference)
매우 자주 Type string is not assignable to type "foo" 같은 오류를 만나게 됩니다. 아래 예제에서 이런 경우를 볼 수 있습니다.
function iTakeFoo(foo: 'foo') { }
const test = {
someProp: 'foo'
};
iTakeFoo(test.someProp); // Error: Argument of type string is not assignable to parameter of type 'foo'
이것은 test가 {someProp: string}라는 타입을 가진 것으로 추론되었기 때문입니다. 고치는 방법은 아래와 같이 간단한 타입 표명을 사용해서 TypeScript에게 어떤 리터럴 타입으로 추론되어야 하는지 알려주는 것입니다:
function iTakeFoo(foo: 'foo') { }
const test = {
someProp: 'foo' as 'foo'
};
iTakeFoo(test.someProp); // 오케이!
아니면 선언 시점에 타입 어노테이션을 사용하여 TypeScript가 올바르게 추론할 수 있게 도와줄 수도 있습니다:
function iTakeFoo(foo: 'foo') { }
type Test = {
someProp: 'foo',
}
const test: Test = { // 타입을 붙임 - someProp의 추론된 타입은 항상 === 'foo'
someProp: 'foo'
};
iTakeFoo(test.someProp); // 오케이!
사용 사례
문자열 리터럴 타입의 유효한 사용 사례들:
문자열 열거형(String Enums)
/** 문자열 목록으로 K:V를 만드는 유틸리티 함수 */
function strEnum<T extends string>(o: Array<T>): {[K in T]: K} {
return o.reduce((res, key) => {
res[key] = key;
return res;
}, Object.create(null));
}
그리고 keyof typeof를 사용하여 리터럴 타입 유니온을 생성할 수 있습니다. 전체 내용이 아래 예제에 나와 있습니다:
/** 문자열 목록으로 K:V를 만드는 유틸리티 함수 */
function strEnum<T extends string>(o: Array<T>): {[K in T]: K} {
return o.reduce((res, key) => {
res[key] = key;
return res;
}, Object.create(null));
}
/**
* 문자열 열거형을 만드는 예시
*/
/** K:V 생성 */
const Direction = strEnum([
'North',
'South',
'East',
'West'
])
/** 타입 생성 */
type Direction = keyof typeof Direction;
/**
* 문자열 열거형을 사용하는 예시
*/
let sample: Direction;
sample = Direction.North; // 오케이
sample = 'North'; // 오케이
sample = 'AnythingElse'; // 오류!