JavaScript | Symbol.hasInstance 属性

JavaScript 的 Symbol.hasInstance 属性是一个可以被所有函数实例化对象继承的内置 Symbol 属性，表示一个函数对象与其构造函数之间的关系。该属性可以被用来特化 instanceof 操作符的行为，使得其能够更加灵活的判断变量是否为某个类型的实例。在本文中，我们将介绍 Symbol.hasInstance 属性的基本概念、用法和例子。

基本概念

Symbol.hasInstance 属性是一个函数对象的内置 Symbol 属性，它可以设置为一个含有单个参数的函数。当一个对象使用 instanceof 运算符检查时，该对象将会调用其构造函数的 Symbol.hasInstance 方法，并将需要检查的目标对象作为参数传递给该方法。如果该方法返回 true，则 instanceof 运算符返回 true，否则返回 false。具体地说，下面的代码：

x instanceof y

其行为相当于：

y[Symbol.hasInstance](x)

用法

Symbol.hasInstance 属性常常被用来自定义 instanceof 操作符的内部逻辑。一个常见的用法是，将某个类似数组的对象（比如 arguments 对象）注册为 Array 类的实例，以便能够使用 Array 类的方法。下面是一个例子：

function MyArray() {}
MyArray[Symbol.hasInstance] = function(instance) {
  return Array.isArray(instance);
};
console.log([] instanceof MyArray); // false
console.log(arguments instanceof MyArray); // true

在上面的例子中，我们定义了一个 MyArray 类，并将其 Symbol.hasInstance 属性设置为一个匿名函数。该函数接受单个参数 instance，用来检查 instance 是否应该被视为 MyArray 类的实例。我们在这个例子中使用了 Array.isArray 函数来检查 instance 是否为一个数组，如果是，则返回 true，否则返回 false。注意，在该例子中，我们将 arguments 对象注册为 MyArray 类的实例，并且使用 instanceof 操作符检查结果为 true。这是因为 arguments 对象具有类似数组的结构，可以被视为一个数组。

例子

下面是一个例子，演示了如何使用 Symbol.hasInstance 属性来封装一个自己的类骨架：

function MyConstructor() {}
MyConstructor.prototype[Symbol.hasInstance] = function(obj) {
    if (obj instanceof MyConstructor) {
        return true;
    }
    return false;
};

let obj1 = new MyConstructor();
console.log(obj1 instanceof MyConstructor); // true

let obj2 = {};
console.log(obj2 instanceof MyConstructor); // false

在这个例子中，我们使用了 MyConstructor 的原型对象的 Symbol.hasInstance 属性，将检查对象是否为该类的实例的逻辑封装起来。具体地说，我们将其设置为一个含有单个参数 obj 的函数。该函数利用 instanceof 运算符来检查 obj 是否为 MyConstructor 的实例，如果是，则返回 true，否则返回 false。

在主程序中，我们创建了两个不同的对象 obj1 和 obj2，分别使用 instanceof 运算符来检查它们是否为 MyConstructor 的实例。由于 obj1 是使用 new 操作符创建的 MyConstructor 对象，因此检查结果应该为 true；而 obj2 根本不是 MyConstructor 的实例，因此检查结果应该为 false。

参考文献

• Symbol.hasInstance

• Making instanceof work with your custom objects in JavaScript

总结

Symbol.hasInstance 是 JavaScript 的内置 Symbol 属性之一，用来表示一个函数对象与其构造函数之间的关系。它可以被用来特化 instanceof 操作符的行为，使得其能够更加灵活的判断变量是否为某个类型的实例。Symbol.hasInstance 属性通常被用来自定义 instanceof 操作符的内部逻辑，以适应不同的类继承结构。