1. Never type

function printForever() :never{

}

• 조건1) 절대 return하면 안된다.
• 조건 2) endpoint가 없어야 한다.
• *참고로 모든 자바스크립트 함수는 맨 밑에 return undefined 를 암묵적으로 생략하기 떄문에 사실 조건2가 맞으면 조건1도 맞는 말이다.

2. never 타입 예제

• 잘못된 예시

  function printForever() :never{
  	console.log(123)
  }
  

  • 조건 1을 만족하지만 조건2을 만족하지 못한다.

• 맞는 예시

  function printForever() :never{
  	while ( true ) {
      console.log(123)
    }
  }
  

  • 조건 1과 조건2(함수 내부 코드 실행이 끝나지 않음)이 모두 만족된다.

  function printForever() :never{
  	throw new Error('에러메세지')
  }
  

  • throw new Error() 문법은 강제로 에러를 내는 문법인데, 에러가 나면 전체 코드가 실행되어 2번 조건도 나름 충족하기 때문에 never 타입을 쓸 수 있다.

<aside> 📌 보통은 이러한 조건에 맞는 함수를 만들일이 거의 없기 때문에 never타입을 사용할 일이 거의 없다. 그런데 간혹 코드를 짜다가 의도치 않게 never 타입을 만나는 경우가 있다.

</aside>

3. 의도치 않은 never 타입

• parameter가 never타입이 되는 경우

  function parameterNever(parameter: string) {
  	if ( typeof parameter === "string"){
  	    parameter + 1;
  	  } else {
  	    parameter;
  	  }
  }
  

  • parameter는 항상 string타입이기 때문에 이 코드에서는 else문이 실행될 일이 없다. 이렇게 잘못된 narrowing을 했을 때 파라미터 타입이 never로 변한다. 이런 경우에는 경고 차원의 never이며 코드를 수정해야 한다.

• 함수 표현식

  function func1(){
  
  }
  
  const func2 = function (){
  
  }
  

  • 위의 func1을 함수 선언문, 아래의 func2를 함수 표현식이라고 한다.
  • 함수 선언문에서 return값이 없으면 void가 자동으로 할당된다.
  • 함수 표현식에서 return값이 없으면 never가 자동으로 할당된다.