Vérifications des marques privées alias `#foo in obj`
L'opérateur in peut être utilisé pour tester si l'objet donné (ou tout objet dans sa chaîne de prototypes) possède la propriété donnée :
const o1 = {'foo': 0};
console.log('foo' in o1); // true
const o2 = {};
console.log('foo' in o2); // false
const o3 = Object.create(o1);
console.log('foo' in o3); // true
La fonctionnalité des vérifications des marques privées étend l'opérateur in pour prendre en charge les champs privés des classes:
class A {
static test(obj) {
console.log(#foo in obj);
}
#foo = 0;
}
A.test(new A()); // true
A.test({}); // false
class B {
#foo = 0;
}
A.test(new B()); // false; ce n'est pas le même #foo
Puisque les noms privés ne sont disponibles qu'à l'intérieur de la classe qui les définit, le test doit également avoir lieu à l'intérieur de la classe, par exemple dans une méthode comme static test ci-dessus.
Les instances de sous-classe reçoivent les champs privés de la classe parente en tant que propriétés propres :
class SubA extends A {};
A.test(new SubA()); // true
Mais les objets créés avec Object.create (ou dont le prototype est défini ultérieurement via le modificateur __proto__ ou Object.setPrototypeOf) ne reçoivent pas les champs privés en tant que propriétés propres. Comme la recherche de champs privés ne fonctionne que sur les propriétés propres, l'opérateur in ne trouve pas ces champs hérités :
const a = new A();
const o = Object.create(a);
A.test(o); // false, le champ privé est hérité et non possédé
A.test(o.__proto__); // true
const o2 = {};
Object.setPrototypeOf(o2, a);
A.test(o2); // false, le champ privé est hérité et non possédé
A.test(o2.__proto__); // true
Accéder à un champ privé inexistant génère une erreur - contrairement aux propriétés normales, où l'accès à une propriété inexistante retourne undefined mais ne génère pas d'erreur. Avant les vérifications des marques privées, les développeurs étaient obligés d'utiliser un try-catch pour implémenter un comportement de repli dans les cas où un objet n'a pas le champ privé requis :
class D {
use(obj) {
try {
obj.#foo;
} catch {
// Comportement de repli pour le cas où obj n'avait pas #foo
}
}
#foo = 0;
}
Maintenant, l'existence du champ privé peut être testée en utilisant une vérification de marque privée :
class E {
use(obj) {
if (#foo in obj) {
obj.#foo;
} else {
// Comportement de repli pour le cas où obj n'avait pas #foo
}
}
#foo = 0;
}
Mais attention - l'existence d'un champ privé ne garantit pas que l'objet possède tous les champs privés déclarés dans une classe ! L'exemple suivant montre un objet à moitié construit qui ne possède qu'un des deux champs privés déclarés dans sa classe :
let halfConstructed;
class F {
m() {
console.log(#x in this); // true
console.log(#y in this); // false
}
#x = 0;
#y = (() => {
halfConstructed = this;
throw 'error';
})();
}
try {
new F();
} catch {}
halfConstructed.m();