TypeScript Special Type - 특수 Type

TypeScript의 특수 type은 type system에서 독특한 역할을 수행하는 type들을 말하며, any, void, unknown, never type이 있습니다.

특수 Type : 독특한 역할을 수행하는 Type

• TypeScript의 특수 type은 type system에서 독특한 역할을 수행하는 type들을 말합니다.
  • 특수 type은 type system에서 각각의 고유하고 특별한 역할을 맡고 있으며, code의 의도를 명확하게 표현하고, type 안전성을 향상시키는 데 도움이 됩니다.
• 특수 type에는 any, void, unknown, never type이 있습니다.

any Type

• any type은 TypeScript의 type check를 회피할 수 있는 우회로(탈출구)를 제공합니다.
• 어떤 type의 값이든 할당할 수 있으며, compiler는 any type에 대한 type check를 수행하지 않습니다.

let notSure: any = 4;
notSure = "maybe a string instead";
notSure = false;    // okay, definitely a boolean

• any type을 사용하면 type 안전성이 저하될 수 있으므로, 가능한 한 사용을 피하는 것이 좋습니다.

void Type

• void type은 함수가 값을 반환하지 않을 때 사용됩니다.
• 주로 함수의 반환 type으로 사용됩니다.
• undefined 또는 null만 할당할 수 있습니다.
  • 이는 TypeScript 설정에 따라 다를 수 있습니다.

function warnUser(): void {
    console.log("This is my warning message");
}

• warnUser 함수는 아무것도 반환하지 않으므로, 반환 type으로 void를 사용합니다.

unknown Type

• unknown type은 any type의 type-safe한 대안이 됩니다.
• any type과 마찬가지로 어떤 type의 값이든 할당할 수 있지만, 해당 값에 대해 연산을 수행하기 전에 type을 좁혀야(type을 확인하거나 단언해야) 합니다.

let notSure: unknown = 4;
notSure = "maybe a string instead";

if (typeof notSure === "string") {
    console.log(notSure.toUpperCase());    // OK
}

• unknown type 변수는 type guard를 사용하여 안전하게 접근합니다.

never Type

• never type은 절대 발생할 수 없는 type을 나타냅니다.
• 주로 도달할 수 없는 code 영역을 나타내거나, 항상 예외를 발생시키는 함수의 반환 type으로 사용됩니다.

function error(message: string): never {
    throw new Error(message);
}

function fail() {
    return error("Something failed");
}

• error 함수는 반환되지 않으므로 never type을 반환 type으로 사용합니다.