TS - never

개념
Bottom type을 나타내기 위해 사용하는 것
어떠한 값도 할당할 수 없다.

Exhaustive Check (Bottom type)

function foo(x: string | number): boolan {
  if (typeof x === 'string') {
    return true
  } else if (typeof x === 'number') {
    return false
  }

  return fail()
}

function fail(): never {
  throw new Error()
}

어떠한 값도 할당할 수 없다.

let a: never = null // Type 'null' is not assignable to type 'never'.(2322)
let b: never = undefined // Type 'undefined' is not assignable to type 'never'.(2322)
let c: never = 0 // Type 'number' is not assignable to type 'never'.(2322)

 

void와 혼동
void
void, never 둘다 아무것도 반환하지 않는 것이지만, void는 하나의 단위이고 never는 모순.
아무것도 반환하지 않는 함수는 void를 반환.
영원히 리턴하지 않는 함수 또는 항상 error를 던지는 함수는 never

never type 추론
never를 명시해주지 않으면 any로 추론한다. 이유는 JS와 호환성 유지

function fail(): never {
  throw new Error()
}

 

참고
https://radlohead.gitbook.io/typescript-deep-dive/type-system/never