TypeScript中能否使用Symbol作为Record类型的键？为何出现索引报错？

• 报错的核心触发点
  你定义在Item类中的实例属性key = Symbol('item')，经过TS类型推导后得到的类型是宽泛的symbol原始类型，而非和你实际使用的那个Symbol值绑定的、唯一的字面量symbol类型。
• Record类型的实际推导结果
  虽然Record工具类型的泛型约束支持string | number | symbol，但当你把Item['key']传入作为泛型参数时，因为它本身是宽泛的symbol，最终生成的类型等价于Record<symbol, Item>。
• 报错的直接原因
  TS的内置类型规则中，不允许用无边界的宽泛symbol类型，作为通用对象的索引查询键——它无法校验你用来索引的symbol值，是否属于这个对象实际允许的键集合，因此直接抛出“类型为symbol的表达式无法用来索引Record<symbol, Item>类型”的隐式any错误。

这里需要明确一个常见的认知误区：泛型语法上支持某个类型范围，不代表这个类型范围下的所有场景都能获得完整的类型校验能力。你看到Record的定义支持symbol类型，就以为传入宽泛的symbol就能正常工作，实际上TS对symbol键的类型校验，是依赖unique symbol这种和具体值绑定的字面量类型实现的。当K是无差别的宽泛symbol时，TS没办法做键的匹配校验，自然不会允许你直接用symbol做索引查询。

• 方案1：绑定唯一的字面量Symbol类型，获得完整类型校验
  先在模块层级定义带unique symbol标识的常量，这个标识会告诉TS，这是一个固定的、全局唯一的Symbol值，不会和其他symbol值混淆：

  // 模块级定义唯一Symbol常量
  const ITEM_KEY: unique symbol = Symbol('item');
  
  class Item {
    // 把类的key属性的类型绑定到这个唯一symbol上
    key: typeof ITEM_KEY = ITEM_KEY;
  }
  
  const startingItem = new Item();
  // 此时Record的泛型参数是具体的unique symbol，而非宽泛的symbol
  const items: Record<typeof ITEM_KEY, Item> = { [ITEM_KEY]: startingItem };
  
  // 索引操作可以正常通过类型检查
  const item = items[startingItem.key];
  

• 方案2：临时兼容写法（不推荐长期使用）
  如果你暂时不想调整现有代码结构，可以通过类型断言显式声明对象的索引结构，这种方式会丢失对symbol键的精确校验能力，仅适合作为临时兼容方案：

  const items = {
    [startingItem.key]: startingItem
  } as Record<symbol, Item>;
  
  const item = items[startingItem.key];
  

内容的提问来源于stack exchange，提问作者Nick Gazzillo