typescript - sinonimos - ¿Cuál es la diferencia entre nunca y vacío en mecanografiado?

nunca significado

Question

He leído this , pero no está claro cuál sería la diferencia entre el tipo ''nunca'' y ''vacío''?

Answer 1

Además, por una razón más --strictNullChecks , con --strictNullChecks new flag, TypeScript necesitaba un nuevo tipo de fondo (ya que null y undefined no son más). El tipo never es un tipo tan inferior y hace que el sistema de tipos de TypeScript sea más consistente.

Answer 2

El tipo de retorno de Promise.reject() es Promise<never> , que significa "nunca se resuelve".

Entonces, si una función devuelve Promise<never> , creo que solo devolverá errores. Por otro lado, Promise<void> puede resolverse sin valor.

Answer 3

Para aumentar la muy buena respuesta de Lee, otra forma de pensar es que en un programa correctamente escrito, never se puede observar un valor never .

Además de las funciones que nunca regresan (o que siempre lanzan excepciones), verá el tipo " never " cuando se haya agotado un tipo de unión de todos sus componentes posibles:

// Example assumes --strictNullChecks
function fn(x: number | string) {
  if (typeof x === ''number'') {
    // x: number in this block
  } else if (typeof x === ''string'') {
    // x: string in this block
  } else {
    // x: never in this block
    // this block does not run; the value of x cannot be observed
  }
}

Answer 4

En lenguajes imperativos, el void se puede considerar como un tipo que contiene un solo valor. Dichos lenguajes no proporcionan un medio para construir o consumir este valor, pero se puede considerar que una función void devuelve este valor trivial.

En contraste, never hay un tipo que no contenga valores, lo que significa que una función con este tipo de retorno nunca puede devolver normalmente. Esto significa lanzar una excepción o no terminar.