[TypeScript] Never 타입

📚 Never 타입이란 무엇인가요?

타입스크립트에서 Never 타입은 절대 발생하지 않는 값을 나타내요. 즉, 어떤 값도 가질 수 없는 타입을 의미해요. 주로 함수가 절대 정상적으로 반환되지 않거나, 항상 오류를 발생시키거나 무한 루프를 도는 경우 사용되죠.

 

비유를 들어보자면, Never 타입은 끝이 없는 길 같아요. 이 길을 따라가더라도 도착점은 없기 때문에, 그 길 위에서 무엇인가를 찾을 수 없는 상태죠. 즉, 해당 코드가 절대 실행을 마칠 수 없다는 것을 명시적으로 나타냅니다.

---

🖥️ Never 타입의 사용 예시

Never 타입은 다양한 상황에서 나타날 수 있어요. 특히 예외를 던지는 함수나 끝나지 않는 함수에 자주 사용돼요.

1. 오류를 던지는 함수

• Never 타입은 함수가 정상적으로 끝나지 않고, 항상 오류를 던질 때 사용돼요. 이 함수는 결코 값을 반환하지 않으므로 never로 타입이 추론됩니다.

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

이 함수는 호출되면 항상 오류를 던지고, 절대 반환되지 않아요.
Never 타입은 이런 함수의 반환 타입을 정의할 때 적합해요.

2. 끝나지 않는 함수 (무한 루프)

• 무한 루프를 사용하는 함수 역시 Never 타입으로 추론돼요. 함수가 끝나지 않고 계속해서 실행되므로, 결과적으로 값을 반환하지 않아요.

function infiniteLoop(): never {
    while (true) {
        console.log("무한 루프 실행 중...");
    }
}

이 함수는 계속해서 반복문을 실행하므로 절대 종료되지 않아요.
이런 함수도 never 타입으로 추론되며, 절대 값을 반환하지 않아요.

3. 조건부 타입에서의 Never

• Never 타입은 조건부 타입에서 불가능한 상태를 처리할 때도 사용돼요. 예를 들어, 특정 타입이 아닌 경우 Never 타입을 반환하도록 설정할 수 있어요.

type ExcludeNumber<T> = T extends number ? never : T;

type Test1 = ExcludeNumber<number>; // never
type Test2 = ExcludeNumber<string>; // string

이 예제에서, ExcludeNumber는 number 타입이 전달되면 never 타입을 반환해요.
반면에 string 타입을 전달하면 그대로 string 타입이 유지됩니다.

---

🤔 Never 타입이 유용하게 쓰이는 상황

Never 타입은 코드를 안전하게 작성하고, 불가능한 상황을 명시적으로 처리하는 데 도움이 돼요. 다음과 같은 상황에서 유용해요.

1. 모든 가능한 케이스를 처리해야 하는 상황

switch 문이나 조건부 로직에서 모든 가능한 경우를 처리해야 할 때, never 타입을 사용해 누락된 케이스를 감지할 수 있어요.

type Direction = "up" | "down" | "left" | "right";

function handleDirection(dir: Direction) {
    switch (dir) {
        case "up":
            console.log("위로 이동합니다.");
            break;
        case "down":
            console.log("아래로 이동합니다.");
            break;
        case "left":
            console.log("왼쪽으로 이동합니다.");
            break;
        case "right":
            console.log("오른쪽으로 이동합니다.");
            break;
        default:
            const _exhaustiveCheck: never = dir; // 여기서 'never' 타입 오류를 발생시킴
            throw new Error(`처리되지 않은 방향: ${dir}`);
    }
}

이 코드에서 모든 가능한 방향을 처리했는지 확인하기 위해 never 타입을 활용해요.
만약 새로운 방향이 추가되었는데도 switch 문에 누락되었다면, 컴파일 단계에서 오류가 발생할 거예요.

2. 타입을 좁히는 상황에서 사용

타입을 좁히는 과정에서 불가능한 타입을 처리할 때도 never 타입이 유용해요. 예를 들어, 모든 가능성을 처리한 후 남는 타입이 없음을 확실히 하기 위해 사용돼요.

function handleValue(value: string | number) {
    if (typeof value === "string") {
        console.log("문자열 값입니다: ", value);
    } else if (typeof value === "number") {
        console.log("숫자 값입니다: ", value);
    } else {
        const _exhaustiveCheck: never = value; // 여기서 'never' 타입을 확인함
    }
}

이 함수에서 value는 문자열 또는 숫자일 수 있어요.
모든 경우를 처리한 후에, 불가능한 경우가 남아 있을 때 컴파일러가 오류를 발생시켜줍니다.

---

🚨 주의할 점

Never 타입은 절대 발생하지 않는 상황을 처리하기 위한 것이므로, 올바르게 사용해야 해요. 몇 가지 주의사항을 기억해 두세요.

• Never는 빈 값과는 다르다: undefined나 null과는 다르게, never는 아무 값도 존재하지 않는 타입이에요. 즉, never는 반환될 수 없으며, 어떠한 값도 never 타입으로 할당할 수 없어요.
• 잘못된 Never 사용: never 타입은 정상적인 코드 흐름에서 사용되지 않아야 해요. 예를 들어, if 문에서 불가능한 조건을 처리할 때는 never 타입을 사용하여 컴파일 타임에 오류를 발생시킬 수 있지만, 일반적인 조건문에서 사용하지 않는 것이 좋아요.
• 사용되지 않는 코드 확인: never 타입을 이용해 사용되지 않거나 잘못된 코드를 확인할 수 있어요. 모든 케이스를 처리하지 않으면 never 타입의 오류가 발생하므로, 이 타입을 통해 코드의 안전성을 높일 수 있습니다.

---

📖 결론

Never 타입은 타입스크립트에서 절대 발생하지 않는 상황을 나타내는 중요한 도구예요. 이 타입을 사용하면, 예외 처리, 무한 루프, 잘못된 코드 경로 처리 등에서 안전한 코드를 작성할 수 있어요. 특히 컴파일 타임에 오류를 감지하여 잘못된 로직을 미리 방지하는 데 큰 도움이 됩니다.

 

Never 타입은 주로 오류를 던지는 함수, 끝나지 않는 함수 또는 불가능한 상황을 명시적으로 처리하는 경우에 자주 쓰이며, 코드의 안정성과 유지보수성을 크게 향상시킬 수 있어요.

---

🔗 추가 정보

• 타입스크립트의 Never 타입에 대한 더 깊은 이해를 원하신다면, 타입스크립트 핸드북의 Never 타입 섹션을 참고해 보세요.