Comprendre le Type 'Never' en TypeScript

Le type never en TypeScript est un type assez rare qui peut être un peu déroutant à comprendre au départ. Selon la question du quiz, le never est un type qui "ne retourne jamais de valeur". Mais qu'est-ce que cela signifie exactement ?

Dans la programmation, quand on parle de "retourner une valeur", on parle typiquement de la valeur renvoyée par une fonction. Par exemple, une fonction qui additionne deux nombres pourrait retourner un nombre, ou une fonction qui prend une chaîne de caractères pourrait retourner un booléen indiquant si la chaîne est vide ou non.

Cependant, le type never en TypeScript est un type qui ne retourne jamais de valeur. Ceci s'avère utile dans un certain nombre de cas spécifiques, notamment quand une fonction ne se termine jamais ou lorsqu'elle jette toujours une erreur.

Voici un exemple de scénario où vous pourriez utiliser le type never:

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

Dans ce cas, la fonction erreur accepte une chaîne de caractères comme argument, mais au lieu de renvoyer une valeur, elle génère toujours une erreur. Par conséquent, le type de retour de cette fonction est never.

Il est également important de noter que le type never est un sous-type de tous les autres types, mais aucun type n'est un sous-type de never excepté never lui-même. Cela signifie qu'une valeur de type never ne peut être affectée à aucun autre type.

En résumé, le type never en TypeScript est un type unique qui représente l'absence de valeur. Bien que son utilisation soit assez limitée, il est important de le comprendre lors de l'apprentissage ou de l'utilisation de TypeScript.