11.3 Symbol 类型与元编程特性

ES6 引入了一种全新的原始数据类型——Symbol。它的核心作用是生成一个独一无二的值，从根本上解决属性名冲突的问题，同时也为 JavaScript 的元编程提供了关键接口。

11.3.1 Symbol 的基本特性

Symbol 值通过全局函数 Symbol() 创建，可以接受一个可选的字符串作为描述，这个描述仅用于调试，不影响 Symbol 的唯一性：

const sym1 = Symbol();
const sym2 = Symbol('description');
const sym3 = Symbol('description');

console.log(sym2 === sym3); // false，每个 Symbol 都是独一无二的
console.log(typeof sym1);   // 'symbol'

需要特别注意：

Symbol 不是构造函数，不能使用 new 操作符，否则会报错。
Symbol 是一种原始值，不是对象，不能添加属性。
可以接收一个对象作为参数，该对象的 toString 方法会被调用来生成描述。

11.3.2 作为对象属性名

Symbol 最直接的用途是作为对象的属性键，确保不会与现有属性或未来添加的属性产生冲突：

const COLOR_RED = Symbol('red');
const COLOR_BLUE = Symbol('blue');

const obj = {
  [COLOR_RED]: '#ff0000',
  [COLOR_BLUE]: '#0000ff',
  defaultColor: 'black'
};

console.log(obj[COLOR_RED]); // '#ff0000'

使用 Symbol 作为属性键还有几个特点：

在 for...in 循环中不会被枚举（常规遍历不到），这可以用于隐藏内部实现细节。
Object.keys()、Object.getOwnPropertyNames() 也无法获取 Symbol 属性。
可以使用 Object.getOwnPropertySymbols() 专门获取一个对象的所有 Symbol 属性，或者通过 Reflect.ownKeys() 获取包含 Symbol 在内的全部属性键。

11.3.3 全局 Symbol 注册表

有时我们需要跨模块、跨文件共享同一个 Symbol 值，此时可以使用 Symbol.for(key) 和 Symbol.keyFor(sym)：

// 创建一个全局共享的 Symbol
const globalSym1 = Symbol.for('app.uid');
const globalSym2 = Symbol.for('app.uid');

console.log(globalSym1 === globalSym2); // true，同一个 Symbol

// 获取 Symbol 的 key
console.log(Symbol.keyFor(globalSym1)); // 'app.uid'

Symbol.for() 会先在全局 Symbol 注册表中查找指定 key 的 Symbol，如果存在则返回它，否则创建一个新的并注册。Symbol.keyFor() 用来反查出某个全局 Symbol 的 key，非全局 Symbol 则返回 undefined。

实际开发中，当需要为多态接口定义统一的标识符时（例如插件系统中的 token），全局 Symbol 是比魔法字符串更安全、更语义化的选择。

11.3.4 内置 Symbol 与元编程

JavaScript 预定义了一系列 Well-known Symbols，它们作为语言内部的钩子，允许开发者自定义对象在特定语言操作下的行为。这种通过编程修改语言本身结构或运行时行为的技术，就是元编程。

下面是几个最常用的内置 Symbol 及其应用场景：

（1）Symbol.iterator —— 定义迭代行为

允许自定义对象被 for...of、展开运算符等迭代操作遍历。

const range = {
  from: 1,
  to: 5,
  [Symbol.iterator]() {
    let current = this.from;
    const last = this.to;
    return {
      next() {
        if (current <= last) {
          return { done: false, value: current++ };
        }
        return { done: true };
      }
    };
  }
};

for (const num of range) {
  console.log(num); // 1, 2, 3, 4, 5
}
console.log([...range]); // [1, 2, 3, 4, 5]

任何实现了 Symbol.iterator 方法的对象都成为可迭代对象，可以与数组解构、Array.from、Promise.all 等无缝配合。

（2）Symbol.toPrimitive —— 控制类型转换

当对象需要被转换为原始值时（如 +obj、String(obj)），JavaScript 会调用 Symbol.toPrimitive 方法。

const user = {
  name: 'Alice',
  age: 25,
  [Symbol.toPrimitive](hint) {
    if (hint === 'string') return this.name;
    if (hint === 'number') return this.age;
    return null; // 'default'
  }
};

console.log(`${user}`);    // 'Alice'  (hint: 'string')
console.log(+user);        // 25       (hint: 'number')
console.log(user + '');    // 'null'   (hint: 'default')

在 Vue 3 响应式系统中，对原始值的代理就需要借助 Symbol.toPrimitive 来正确处理类型转换。

（3）Symbol.toStringTag —— 自定义 toString 标签

修改 Object.prototype.toString.call(obj) 返回的类型字符串。

class Validator {
  get [Symbol.toStringTag]() {
    return 'Validator';
  }
}

console.log(Object.prototype.toString.call(new Validator())); // '[object Validator]'

这在很多第三方库中被用来提供更友好的类型检查信息。

（4）Symbol.hasInstance —— 控制 instanceof 行为

class ArrayLike {
  static [Symbol.hasInstance](instance) {
    return instance && typeof instance.length === 'number';
  }
}

console.log({ length: 3 } instanceof ArrayLike); // true
console.log([] instanceof ArrayLike);             // true

（5）Symbol.species —— 控制派生对象的构造函数

允许数组、Promise 等内置类型在创建派生对象时指定使用的构造函数，多用于维持子类的类型完整性。

其他内置 Symbol 简要说明

Symbol.match / Symbol.replace / Symbol.search / Symbol.split：允许对象可以像正则表达式一样用于字符串方法。
Symbol.isConcatSpreadable：控制对象在 Array.prototype.concat 时是否展开。
Symbol.unscopables：指定对象在 with 语句中的不可见属性。

11.3.5 实际应用场景

消除魔术字符串

在状态管理或事件系统中，用 Symbol 代替字符串常量，既避免拼写错误，也防止意外冲突。

定义私有/内部属性

虽然 Symbol 属性不是真正的“私有”，但结合 Object.getOwnPropertySymbols 的遮蔽性，可以模拟出半隐藏的内部实现。

扩展第三方对象而不污染键

当你需要给一个外部库的对象添加自定义数据时，使用 Symbol 属性可以避免与对方未来的更新冲突。

实现可迭代协议

使自定义数据源（链表、树形结构、流等）原生支持 for...of 等迭代语法。

11.3.6 注意事项与限制

类型转换限制：Symbol 值不能隐式转换为字符串或数字，使用 +sym 或 ` ${sym} 会报错，必须显式调用 .toString() 或 String(sym)`。
不可枚举属性：Symbol 属性不会出现在 JSON.stringify 的输出中，也不会被 Object.assign 的浅拷贝忽略（会被拷贝），需根据场景留意。
不能 new：Symbol() 不是构造函数，与 new 连用会抛出 TypeError。
全局注册表内存：Symbol.for() 创建的 Symbol 会常驻注册表，大量使用可能造成内存泄漏（极少见），谨慎使用。

11.3.7 小结

Symbol 为 JavaScript 打开了一扇通往元编程的大门。它既是一个简单实用的“唯一标识符生成器”，又是与语言内部行为交互的标准化接口。理解 Symbol，尤其是那些内置的 Well-known Symbols，能让你写出更优雅、更符合语言协议的代码，也更容易读懂现代框架和库的底层设计。随着后续学习 Proxy 和 Reflect，你会发现 Symbol 与它们搭配在一起，几乎可以重新定义对象的绝大部分行为——这正是 JavaScript 元编程能力的基石。