TypeScript中正确读取Record联合类型属性值的方法

你定义的SortOption是string | Record<string, "desc" | "asc">联合类型，当你给item显式标注为Item类型后，TypeScript的静态检查不会追踪运行时给value实际赋的对象结构，只会按照Item的公开类型定义做校验：value有可能是字符串类型，而字符串实例上不存在version属性，因此直接访问会抛出TS2339错误。这个错误只出现在类型检查阶段，不影响运行时逻辑，但属于类型安全校验的正常拦截，不是TS误报。

以下方案按推荐优先级排序：

• 类型收窄（最安全，优先使用）
  类型收窄是TS处理联合类型属性访问的标准方式，你只需要在访问属性前加一层类型判断，TS会自动在判断分支内把类型收窄为对应的子类型，全程保留完整的类型校验能力：

  // 先判断value不是字符串
  if (typeof item.value !== 'string') {
    // 分支内TS自动推导item.value类型为Record<string, "desc" | "asc">
    console.log(item.value.version) // 无报错，属性写错时TS会及时提示
  }
  

  如果业务逻辑里有更明确的判断规则，也可以自定义类型守卫函数做收窄，适配复杂场景。

• 精确类型断言（比转any安全）
  如果你100%确定当前业务场景下item.value一定是排序对象、不可能是字符串，不需要做运行时判断，可以直接断言为对应的对象子类型，相比as any不会丢失全部类型校验：

  // 抽公共类型别名减少重复代码
  type SortObject = Record<string, "desc" | "asc">
  type SortOption = string | SortObject
  
  console.log((item.value as SortObject).version) // 无报错
  

  注意：如果后续业务逻辑变更导致value真的可能为字符串，这种写法不会做运行时兜底，需要自己保证逻辑正确性。

• 泛型优化类型定义（从根源消除模糊类型）
  如果你的Item实例本身value结构是固定的，根本不会出现string赋值的场景，可以给Item加泛型支持，在定义实例时传入精确的value类型，从类型定义层面就避免联合类型带来的访问问题：

  type SortOption = string | Record<string, "desc" | "asc">
  // 给Item加泛型参数，默认值为通用SortOption，兼容原有逻辑
  type Item<T extends SortOption = SortOption> = {
    name: string
    value: T
  }
  
  // 定义实例时传入精确的value类型
  const item: Item<{ version: "desc" }> = {
    name: "myItem",
    value: {
      version: "desc"
    }
  }
  
  // 直接访问无报错，还能获得精确的"desc"字面量类型提示
  console.log(item.value.version)
  

注意：不推荐长期用as any绕过类型校验，这种写法会丢失所有类型提示，后续如果出现属性名拼写错误、值类型不匹配等问题，TS完全无法提前捕获，很容易引入线上bug。

内容的提问来源于stack exchange，提问作者Peter Lustig