Explication détaillée de l'opérateur instanceof dans la spécification ECMAScript7 (avec exemples)

Cet article vous apporte une explication détaillée de l'opérateur instanceof (avec des exemples) dans la spécification ECMAScript7. Il a une certaine valeur de référence. Les amis dans le besoin peuvent s'y référer.

Cet article explique principalement l'opérateur instanceof dans la spécification ECMAScript7.

Connaissances préliminaires

Symboles célèbres

Les symboles « célèbres » font référence aux symboles intégrés, qui sont définis sur l'objet Symbole. ECMAScript7 utilise la forme @@name pour référencer ces symboles intégrés. Par exemple, @@hasInstance mentionné ci-dessous est en fait Symbol.hasInstance.

InstanceofOperator(O, C)

O instanceof C appellera en interne l'opération abstraite InstanceofOperator(O, C). Les étapes de cette opération abstraite sont les suivantes :

Si C Le type de données n'est pas un objet et une exception d'erreur de type est levée ;

Laissez instOfHandler égal à GetMethod(C, @@hasInstance). La sémantique approximative consiste à obtenir la valeur de l'attribut @@hasInstance. de l'objet C;

Si la valeur de instOfHandler n'est pas indéfinie, alors :

renvoie le résultat de ToBoolean(? Call(instOfHandler, C, « O »)). pour exécuter instOfHandler(O), puis forcer le résultat de l'appel à un retour de type booléen.

Si C ne peut pas être appelé, lancez une exception de type erreur

Renvoyer le résultat de OrdinaryHasInstance(C, O).

OrdinaryHasInstance(C, O)

Les étapes de l'opération abstraite OrdinaryHasInstance(C, O) sont les suivantes :

Si C ne peut pas être appelé, retournez false

Si C a un emplacement interne [[BoundTargetFunction]], alors :

Laissez BC être égal à la valeur de l'emplacement interne de C [[BoundTargetFunction]];

Return InstanceofOperator(O, BC) Le résultat de

Si le type de données de P n'est pas un objet, lancez une exception d'erreur de type

Répétez les étapes suivantes :

Laissez O égal à O.[[GetPrototypeOf]] () En conséquence, la sémantique approximative est d'obtenir l'objet prototype de O

Si O est égal à null, renvoie false

Si le résultat de SameValue(P, O) est vrai, renvoie vrai.

Les opérations abstraites SameValue font référence à ==, === en JavaScript et Object.is() dans Object.js() utilise le résultat de cette opération abstraite.

À partir de l'étape 2 ci-dessus, nous savons que si C est une fonction de liaison, l'opération InstanceofOperator(O, BC) sera réexécutée sur la fonction cible liée par C.

Comme le montre l'étape 6 ci-dessus, l'objet prototype de l'objet O sera obtenu à plusieurs reprises, puis l'objet prototype et l'attribut prototype de C sont comparés pour voir s'ils sont égaux, jusqu'à l'égalité renvoie vrai, ou O devient nul, c'est-à-dire que le parcours est terminé. L'ensemble de la chaîne de prototypes renvoie faux.

Function.prototype[@@hasInstance](V)

On peut savoir à partir des étapes 2 et 3 de l'opération abstraite InstanceofOperator(O, C) ci-dessus que si C est défini ci-dessus ou hérite de l'attribut @ @hasInstance, la valeur de l'attribut sera appelée sans passer par les étapes 4 et 5. Le but des étapes 4 et 5 est d'être compatible avec les navigateurs qui n'implémentent pas la méthode @@hasInstance. Si une fonction ne définit pas ou n'hérite pas de l'attribut @@hasInstance, alors l'instance de sémantique par défaut sera utilisée, qui correspond aux étapes décrites par l'opération abstraite OrdinaryHasInstance(C, O).

Dans la spécification ECMAScript7, l'attribut @@hasInstance est défini sur l'attribut prototype de Function. Les étapes de Function.prototype[@@hasInstance](V) sont les suivantes :

Soit F égal à cette valeur

renvoie le résultat de OrdinaryHasInstance(F, V).

Ainsi, vous pouvez voir que par défaut, la sémantique de instanceof est la même, et elles renvoient toutes le résultat de OrdinaryHasInstance(F, V). Pourquoi ça dit par défaut ? Parce que vous pouvez remplacer la méthode Function.prototype[@@hasInstance] pour personnaliser le comportement d'instanceof.

Exemple

De l'étape 6 de OrdinaryHasInstance(C, O) :

Pour une instance de A, P est A.prototype, dans un premier temps lors d'une boucle , l'objet prototype a._proto__ de a est A.prototype, c'est-à-dire que O dans l'étape est A.prototype, donc true est renvoyé

Pour une instance de B, P est B.prototype, Dans le première boucle, l'objet prototype a._proto__ de a est A.prototype, qui n'est pas égal à P ; lorsque la deuxième boucle est exécutée, O est a.__proto__.__proto__, qui est Object.prototype, qui n'est pas égal à P ; . ; Exécute la troisième boucle. À ce stade, O est a.__proto__.__proto__.__proto__, c'est-à-dire que la chaîne de prototypes a été parcourue, donc false est renvoyé.

function A () {}
function B () {}

var a = new A
a.__proto__ === A.prototype // true
a.__proto__.__proto__ === Object.prototype // true
a.__proto__.__proto__.__proto__ === null // true

a instanceof A // true
a instanceof B // false

Suivez l'exemple ci-dessus :

Dans l'exemple ci-dessus, nous définissons B.prototype comme étant un maillon dans la chaîne de prototypes de a, de sorte qu'une instance de B soit dans OrdinaryHasInstance( Dans la deuxième boucle de l’étape 6 de C, O), true a été renvoyée.

Dès l'étape 2 de OrdinaryHasInstance(C, O), nous savons que le comportement de la fonction bind est différent de celui de la fonction ordinaire :

A.prototype.__proto__ = B.prototype

a.__proto__ === A.prototype // true
a.__proto__.__proto__ === B.prototype // true
a.__proto__.__proto__.__proto__ === Object.prototype // true
a.__proto__.__proto__.__proto__.__proto__ === null // true

a instanceof B // true

Comme le montre le exemple ci-dessus, B .prototype n’est pas défini. Par conséquent, le résultat de retour d'une instanceof agissant sur la fonction de liaison est en fait la valeur de retour agissant sur la fonction cible liée, ce qui n'a fondamentalement rien à voir avec la fonction de liaison.

Comme le montrent les étapes 2 et 3 de InstanceofOperator(O, C), nous pouvons personnaliser le comportement d'instanceof en remplaçant la méthode @@hasInstance sur le prototype :

function A () {}
var a = new A
a instanceof A // true

A[Symbol.hasInstance] = function () { return false }
a instanceof A // ?

在chrome浏览器测试了一下，发现还是输出true。然后看了一下ECMAScript6的文档，
ECMAScript6文档里面还没有规定可以通过@@hasInstance改变instanceof的行为，所以应该是目前chrome浏览器还没有实现ECMAScript7中的instanceof操作符的行为。

总结

本文主要讲解ECMAScript7规范中的instanceof操作符，希望大家能有所收获。

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!