[ts] void ,any, unknown, never 타입

📌 void

type AppsettingContextType={
    fontSize: FontSize;
  theme: Theme;
  setTheme:(theme:Theme) =>void;
  setFontSize:(fontSize:FontSize)=>void
};

이렇게 타입 선언에서 void 타입을 본적이 있을 것이다.

 

void는 typescript에서 반환 타입이 없음을 명시적으로 표현하는 용도의 타입이다.

변수의 타입으로 void를 사용하면 해당 변수에는 null 또는 undefined만 할당할 수 있다. 즉, 해당 변수에는 유효한 값이 없음을 나타낸다.

그래서 주로 네트워크 요청,로그 출력, 객체 상태 변경 등과 같은 작업을 생성하는 것이 목적인 함수를 호출한 후에 반환된 값을 사용할 필요가 없음을 나타낸다!

 

• return 값 타입이 void

function example(): void {
     return '3';
}

 

이럴때 return 값에  'string 형식은 void에 할당할 수 없습니다.' 라는 오류가 뜬다.

즉 함수의 return값 타입이 void이라는 것은, return값을 넣으면 안 되는 뜻!

하지만  undefined는 넣어도 되지만 주로 생략하고 return;으로만 선언하곤 한다.

 

예시 1>

// 메서드가 void인 경우
interface exa {
    eat: () => void;
}
const example:exa = {
    eat() {return 2;}
}
const b = example.eat();

이렇게 b를 출력하면 값이 2가 나올것 같지만 땡!

 

정답은 void가 나온다.

메서드가 void인 경우에는 return값이 있든 말든 상관없이 void를 반환한다.

그래서 애초에  void면 원칙적으로 return 값을 안 넣는게 좋다고 한다!!

 

예시 2>

function sayHello(): void {
  console.log("Hello!");
}

const result: void = sayHello(); // 에러남.

즉 void 타입인 변수에 값을 지정하려고 하면 error가 난다.

 

📌 any

의미 그대로 모든 타입을 할당받을 수 있는 타입이다. 

그럼 어떤 타입이든 상관없는 거네?라고 생각할 수 있지만 , '어떤 타입이 될 지 모르겠으니

너가 알아서 추론해줘' 라는 뜻으로 생각하면 더 좋다.

타입스크립트에서 any를 쓰면 자바스크립트처럼 타입이 검사되지 않기에 조심해야 한다.

const value : number = 20;
console.log(value.length); //에러남.

number 타입에는 length 속성이 없기에 에러가 난다.

 

이를 any타입으로 변경해보자.

const value: any = 20;
console.log(value.length); //에러가 나지않고 undefined가 뜸.

하지만 value값의 type을 보면 number로 찍힌다..

따라서 any를 사용함으로써 에러가 안나도 사실상 문제가 발생할 수 있는 것! 

 

📌 unKnown

any와 마찬가지로 모든 타입을 할당 받을 수 있다.

타입을 검사해 가공하기 전까지는 타입스크립트가 unknown 값을 사용 할 수 없다.

 

보통 error가 unknown의 타입을 갖고 있음.

 

any는 타입 검사를 하지 않기에 타입스크립트 사용의미가 없기에 비교적 unknown을 쓰는 것이 좋다고 한다!

또한 타입 체크 없이는 해당 변수에 대해 아무런 연산도 수행할 수 없게 함으로써 런타임 오류의 가능성을 줄인다는 장점도 있다.

외부 API로부터 데이터를 받아오는 함수의 반환 타입을 unknown으로 지정을 하는데, 그 이유는 해당 API을 호출했을때 

 결과의 구체적인 타입을 미리 알수 없기 때문이다!

 

📌never

 없는 값의 집합이자,함수가 정상적으로 종료되지 않거나 절대 반환되지 않는 값을 말한다.

타입스크립트에서  그 어떤 것도 불가능하다는 것을 나타내는 타입이 필요하다.

 

When? 언제 사용하는가?

 

1. 절대 실행되지 않는 함수

function throwError(message: string): never {
    throw new Error(message); // 이 함수는 절대 정상적으로 종료되지 않음
}

function infiniteLoop(): never {
    while (true) {
        // 무한 루프
    }
}

 

무한 루프에 빠지거나 예외를 던져서 절대 종료되지 않을 때 never 타입을 반환한다고 명시한다.

따라서 이 함수들은 어떤 값도 반환하지 않는다.

 

2. 추가적인 케이스가 없다는 것을 정확하게 명시

type Animal = 'cat' | 'dog';

function handleAnimal(animal: Animal) {
    switch (animal) {
        case 'cat':
            console.log('Meow');
            break;
        case 'dog':
            console.log('Woof');
            break;
        default:
            const _exhaustiveCheck: never = animal; // 오류 발생, Animal에 더 많은 값이 있으면 never로 확인됨
            break;
    }
}

• 코드 가독성 및 명시성 강화

     개발자가 이 코드를 볼 때 모든 가능한 케이스를 다뤘다는 확신을 주는 역할을 하여 명확한 의도 전달이 가능하다.