Symbol.hasInstance自定义类型检测方法

`Symbol.hasInstance` 是 JavaScript 中一个强大而精巧的内置 symbol，它让你能完全自定义 `instanceof` 运算符的判断逻辑——不再局限于僵硬的原型链检查，而是根据实际行为（如是否具备某个方法）灵活定义“谁属于某类型”，比如让任何会“quack”的对象都被视为 `Duck` 实例；它只作用于 `instanceof`、必须定义在构造函数上、返回布尔值，虽不改变其他类型检测方式，却为鸭子类型、运行时契约验证等高级场景提供了简洁优雅的实现可能。

Symbol.hasInstance 是 JavaScript 中一个特殊的内置 symbol，用于自定义 instanceof 运算符的行为。它允许你控制某个对象是否被判定为某构造函数的实例。

什么是 Symbol.hasInstance？

每个函数（包括类）默认拥有一个不可写、不可枚举、不可配置的属性 [Symbol.hasInstance]，其值是一个内置方法，逻辑大致等价于：

function defaultHasInstance(LHS) {
  return LHS instanceof this;
}

但你可以通过在构造函数上**显式定义**该 symbol 属性，来完全替换这个判断逻辑。

如何自定义 instance 检测逻辑？

只需在构造函数（或类）上设置 [Symbol.hasInstance] 属性，它必须是一个函数，接收一个参数（即 instanceof 左侧的操作数），返回布尔值。

• 函数必须是静态的，直接挂在构造函数上
• 不能用箭头函数（需访问 this，即右侧构造函数）
• 返回 true 表示“是其实例”，false 表示“不是”

实际例子：用 Symbol.hasInstance 模拟鸭子类型检测

比如我们想让任何具有 quack() 方法的对象，都被视为 Duck 类型：

class Duck {}
Duck[Symbol.hasInstance] = function(obj) {
  return obj != null && typeof obj.quack === 'function';
};

console.log({ quack() { } } instanceof Duck); // true
console.log({ bark() { } } instanceof Duck);   // false
console.log(null instanceof Duck);             // false

注意：这不会影响 obj.constructor === Duck 或 obj instanceof Duck 的原型链检查（除非你主动绕过），而是完全接管了 instanceof 的语义。

注意事项与限制

• 仅对 instanceof 生效，不影响 typeof、Array.isArray 或其他类型检查方式
• 无法在实例上定义，只能在构造函数/类本身上定义
• 若同时存在原型链继承和自定义 Symbol.hasInstance，后者优先（它完全替代默认行为）
• 不建议滥用——过度偏离原型链语义会让代码难以理解和调试

理论要掌握，实操不能落！以上关于《Symbol.hasInstance自定义类型检测方法》的详细介绍，大家都掌握了吧！如果想要继续提升自己的能力，那么就来关注golang学习网公众号吧！