Discussion :

[Doksuri]

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 typescript :

Sélectionner tout - Visualiser dans une fenêtre à part

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 {}
}

[laffreuxthomas]

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

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

{}

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

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

{a:string, b:string}

est aussi une variable de type

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

{}

.

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

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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.

[laffreuxthomas]

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

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

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.

[Doksuri]

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