ECMAScript 2016：对结构类型进行分类的方法
在ECMAScript 2016标准中，新增了一种用于对结构类型进行分类的方法，即Symbol.hasInstance。这个特殊的Symbol用法可以用来创建一个自定义的instanceof操作符行为。在本篇文章中，我们将详细介绍Symbol.hasInstance的用法，并提供一些实际例子来说明如何使用它。
Symbol.hasInstance的作用
Symbol.hasInstance可以被视为定义一个自定义的instanceof操作符行为的方法。instanceof操作符通常用于检查一个对象是否是某个类或其父类的实例。例如：
class Animal {}
class Dog extends Animal {}
const dog = new Dog();
console.log(dog instanceof Dog); // true
console.log(dog instanceof Animal); // true
console.log(dog instanceof Object); // true具体来说，instanceof操作符处理的过程是：检查运行时的对象是否存在一个prototype属性，它的值等于检查对象的原型链中的proto类型。如果是，则返回true；否则返回false。通常，当我们定义一个类时，它会自动获得prototype属性，它的值等于该类的原型（也就是类中的静态属性prototype）。
但是，在某些情况下，我们可能希望拥有更多控制力，以便实现自定义行为。例如，假设我们有一个函数对象A和一个构造函数对象B，我们希望为B的实例定义一个自定义的instanceof操作符，即只有当A(B)返回true时，B的实例才会被视为A的实例。这是我们就可以使用Symbol.hasInstance。接下来，我们将看到如何使用它。
如何使用Symbol.hasInstance
首先，我们需要在A对象上定义一个静态方法Symbol.hasInstance，该方法接受一个参数B并返回一个布尔值。该布尔值表示B对象是否是A的实例。在下面的代码中，我们示例了如何定义一个带有自定义instanceof操作符行为的函数对象A。
class A {
static [Symbol.hasInstance](B) {
return B.customInstanceCheck();
}
}关于上述代码，需要注意以下几点：
- A是一个函数对象，需要使用class语法进行定义；
- Symbol.hasInstance是Symbol对象的静态属性之一，它需要用[]运算符来访问；
- Symbol.hasInstance需要定义为A的静态属性，因此需要使用static关键字；
- [Symbol.hasInstance]作为一个特殊的Symbol用法，是需要使用方括号来包裹的；
- Symbol.hasInstance接受一个参数B，该参数是用于检查的实例对象；
- 该示例中的实际检查行为是通过调用B对象的一个自定义方法customInstanceCheck()来实现的。
接下来，我们需要定义一个构造函数对象B，该函数对象的实例将被视为A的实例。在下面的代码中，我们示例了如何定义一个带有自定义instanceof操作符行为的构造函数对象B。
class B {
customInstanceCheck() {
return true;
}
}
const b = new B();
console.log(A[b]); // true关于上述代码，需要注意以下几点：
- B是一个构造函数对象，需要使用class语法进行定义；
- 类B中定义了一个自定义方法customInstanceCheck()，用于检查B对象是否是A的实例；
- 在b对象作为A的参数传入时，ASymbol.hasInstance会被调用并返回true。
这说明，当我们调用A[b]时，它会返回true。即，b对象被视为A的实例！这正是我们预期的行为。下面，我们给出一个实际应用示例。
实际应用示例
假设我们有三个类A、B和C，其中A是B和C的父类。我们希望定义一个自定义instanceof操作符行为，以便只有当B或C的实例满足某个特定条件时，它们才被视为是A的实例。下面的代码中通过一个静态方法testInstanceof来定义了这样的一个行为。
-- -------------------- ---- -------
----- - --
----- - ------- - --
----- - ------- - --
----- - -
------ ------------------------------ -
----- ------ - -------- ---------- - -- -------- ---------- --
----- --------- - ------ ------------- --- ------------
------ ------ -- ----------
-
-
----- -- - --- ----
------- - -----
------------------- -- ----
----- -- - --- ----
------------------- -- -----
----- -- - --- ----
------- - -------
------------------- -- ----
----- -- - --- ----
------------------- -- -----
----- -- - --- ----
------------------- -- -----关于上述代码，需要注意以下几点：
- 类A、B、C被预定义为父子类之间的继承关系；
- 类D定义了一个静态方法[Symbol.hasInstance]，用来检查一个实例对象是否为类A的实例，该验证包括两个条件：(1) 该实例对象是类B或类C的实例对象；(2) 该实例对象的name属性不为空；
- 测试用例中我们实例化了类B、C、A，并检查它们是否为类D的实例对象，最后的结果与预期的行为一致。
总结
Symbol.hasInstance可以让我们自定义instanceof操作符的行为，并获得更多灵活性。但是，需要注意的是，Symbol.hasInstance并不允许我们动态地定义判断行为；它只能用于静态地定义一次instanceof操作符的行为。因此，我们需要谨慎地使用这个特殊的Symbol用法，以确保代码的可读性和可维护性。
来源：JavaScript中文网 ，转载请注明来源 https://www.javascriptcn.com/post/6456a074968c7c53b09ab61b