배열은 튜플에 명시적으로 지정된 형식에 따라 요소 순서를 설정해야 하고, 추가되는 요소 또한 튜플에 명시된 타입만 사용 가능합니다.
예시
const player: [string, number, boolean] = ["nico", 12, true];
player[0] = 1; // ERROR
player[0] = "lynn"; // OK
// readonly와 조합해서 쓸 수도 있다.
const player: readonly [string, number, boolean] = ["nico", 12, true];
player[0] = "lynn"; // ERROR
any
말 그대로 아무 타입이나 될 수 있습니다.
타입스크립트의 타입 검사를 빠져나오고 싶을 때 사용합니다.
any는 사실상 자바스크립트를 쓰는 것과 같으므로 신중하게 사용해야 합니다.
예시
const a: any[] = [1, 2, 3, 4];
const b: any = true;
a + b; // OK
unknown
변수의 타입을 미리 알 수 없을 때 사용합니다.
any 처럼 어떠한 타입의 값이라도 할당할 수 있지만, unknown 타입의 값을 사용하기 전에 먼저 타입 확인 작업을 해야 합니다.
any보다 타입 안정성을 유지하면서 동적인 타입 처리가 필요할 때 사용합니다.
예시
let x: unknown = 10;
let y: string;
// ERROR
y = x;
// OK
if (typeof x === "string") {
y = x;
}
void
값을 반환하지 않는 함수의 반환 타입입니다.
함수의 반환 타입으로만 사용할 수 있습니다.
function print(): void {
console.log("hi!");
}
never
변수의 타입으로 사용되면 절대 발생할 수 없는 값이라는 의미입니다.
보통 함수의 반환 타입으로 사용되며, 함수가 결코 값을 반환하지 않음을 의미합니다.
주로 예외를 던지거나 무한 루프와 같은 작업을 하는 함수에서 반환 타입으로 사용됩니다.
예시
function fail(msg: string): never {
throw new Error(msg);
}
function fn(x: string | number) {
if (typeof x === "string") {
// do something
} else if (typeof x === "number") {
// do something else
} else {
x; // has type 'never'!
}
}
+) void vs never
void와 never 둘 다 반환값이 없다는 것은 같습니다.
void는 반환값을 생성하지 않고 작업을 수행하는 목적임을 의미하고, never는 함수가 정상적으로 종료되지 않음을 의미합니다.
