如何利用TypeScript类型系统避免嵌套数据结构中对象键被误用

我太懂这种嵌套结构踩坑的痛苦了——明明想关联某个分类下的指定项，结果手滑把分类名写错，或者把对应项的键拼错，等到运行时才发现问题，真的闹心。好在TypeScript的类型系统完全能帮我们在编码阶段就把这些错误掐灭在摇篮里，下面就结合你给出的fruits数据结构一步步实现约束：

首先，先把你的原始数据结构用as const锁定，这样TypeScript能精确推导所有的字面量类型，避免类型拓宽：

const fruits = {
  alfa: {
    contents: {
      apple: {
        associations: {
          oscar: ['orange'],
          golf: ['grape', 'grapefruit'],
        },
      },
    },
  },
  oscar: {
    contents: {
      orange: {
        associations: {
          alfa: ['apple'],
        },
      },
    },
  },
  golf: {
    contents: {
      grape: { associations: {} },
      grapefruit: { associations: {} },
    },
  },
} as const;

接下来，我们从原始数据中自动推导核心的类型，这样后续数据结构变化时，类型会自动更新，不用手动维护：

• 推导所有顶级分类的类型：

// 自动获取fruits的所有顶级分类键，比如'alfa' | 'oscar' | 'golf'
type FruitCategory = keyof typeof fruits;

• 推导指定分类下的所有内容项类型：

// 传入分类名，返回该分类下的所有内容键，比如CategoryContents<'oscar'>就是'orange'
type CategoryContents<C extends FruitCategory> = keyof typeof fruits[C]['contents'];

然后，定义每个内容项的associations类型，这里要做两个关键约束：

1. 关联的键必须是存在的顶级分类，不能瞎写不存在的分类名
2. 每个分类对应的数组元素，必须是该分类下真实存在的内容项键

// 定义associations的类型：键只能是FruitCategory的成员，值是对应分类内容键的数组
type ItemAssociations = {
  [C in FruitCategory]?: CategoryContents<C>[];
};

// 定义单个内容项的类型
type FruitItem = {
  associations: ItemAssociations;
};

// 最后定义整个fruits结构的完整类型
type FruitsStructure = {
  [C in FruitCategory]: {
    contents: {
      [Item in CategoryContents<C>]: FruitItem;
    };
  };
};

现在，当我们把原始数据标注为这个类型，或者基于这个类型创建新数据时，TypeScript会自动帮我们检查所有键的合法性：

错误场景1：写错分类键 #

const badFruits: FruitsStructure = {
  ...fruits,
  alfa: {
    contents: {
      apple: {
        associations: {
          oscxr: ['orange'], // ❌ TypeScript报错：对象文字可以只指定已知属性，“oscxr”不在类型“ItemAssociations”中
        },
      },
    },
  },
};

错误场景2：写错分类对应的内容键 #

const badFruits2: FruitsStructure = {
  ...fruits,
  alfa: {
    contents: {
      apple: {
        associations: {
          oscar: ['applex'], // ❌ TypeScript报错：类型'"applex"'不能分配给类型'"orange"'
        },
      },
    },
  },
};

这样一来，不管是手滑拼错分类名，还是关联了不存在的内容项，TypeScript都会在编码阶段直接报错，彻底避免运行时才发现的键误用问题。

备注：内容来源于stack exchange，提问作者Maddy Guthridge