pourquoi Ts n'arrive pas a "narrow down" le type ?

Bonjour,

etant encore debutant en TS, je ne comprends pas pourquoi TS n'arrive pas a deduire le type apres des test. voici mon exemple

Code:

---

1 2 3 4 5 6 7 8

function test(options:{a:string, b:string}|{}) { if(Object.keys(options).length === 0) { return; } // a partir de ce moment, TS devrait savoir que ca ne peut pas etre de type {}, et donc qu'on est dans le cas {a:string, b:string}   if(!options.a) { return; }// erreur : a n'existe pas dans {} | {a:string, b:string}. Propriete a n'existe pas dans {}   console.log(options.a);// erreur : a n'existe pas dans {} | {a:string, b:string}. Propriete a n'existe pas dans {} }

---

Bonjour. Il n'y aura pas un moyen d'éliminer le type

Code:

---

{}

---

car c'est un type compatible avec tous les objets. Autrement dit, une variable de type

Code:

---

{a:string, b:string}

---

est aussi une variable de type

Code:

---

{}

---

.

L'autre point, c'est que ce genre de test

Code:

---

Object.keys(options).length === 0

---

ne sera de toute manière pas utilisé par le compilateur pour déduire des informations de typage. Il faudrait le mettre dans un type guard.

Voici un exemple en remplaçant le type '{}' par 'Record<string, never>'.

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13

test({}); test({ a: 'ab', b: 'cd' });   function test(options:{a:string, b:string} | Record<string, never>) { if (isEmptyObject(options)) { return; }   console.log(options.a); }   function isEmptyObject(obj: object): obj is Record<string, never> { return Object.keys(obj).length === 0; }

---

Le type 'Record<string, never>' peut je pense servir à représenter un objet dont aucune clé n'existe. Il est aussi possible de donner un nom à cette construction :

Code:

---

1 2	type EmptyObject = Record<string, never>;

---

… cela dit je n'en ai jamais eu besoin en bientôt 10 ans de programmation en TypeScript donc ce n'est pas un besoin habituel.

ok, merci pour ces explications. je vais aussi plancher sur le code founit