TypeScript中如何正确定义字符串字面量联合类型的动态键？

你的代码方向是对的，但有两个需要调整的地方，才能完全匹配你想要的结构：

原代码存在的问题 #

• 强制要求所有键存在：原Columns类型使用映射类型时没有标记可选，导致必须包含TO_DO、IN_PROGRESS、DONE三个键，但你的示例里只用到了两个，会触发类型校验错误。
• 状态与标题无关联：原Column类型的status和title是独立的联合类型，比如TO_DO列的status可以是IN_PROGRESS，title可以是Done，不符合示例中“状态与标题一一对应”的规则。

修正后的代码实现 #

// 定义允许的状态值集合
type Status = 'TO_DO' | 'IN_PROGRESS' | 'DONE';

// 建立状态与对应标题的固定映射关系
type StatusTitleMap = {
  TO_DO: 'To do',
  IN_PROGRESS: 'In Progress',
  DONE: 'Done'
};

// 泛型Column类型，确保每个列的status和title与键严格对应
type Column<S extends Status> = {
  status: S;
  title: StatusTitleMap[S];
  taskIds: string[];
};

// Columns类型：键是Status的可选成员，值为对应状态的Column
type Columns = {
  [K in Status]?: Column<K>;
};

验证示例结构 #

用修正后的类型校验你的示例数据，完全符合要求：

const validData: { columns: Columns } = {
  columns: {
    TO_DO: {
      status: 'TO_DO',
      title: 'To do',
      taskIds: ['abc', 'def', 'ghi']
    },
    IN_PROGRESS: {
      status: 'IN_PROGRESS',
      title: 'In Progress',
      taskIds: ['qrs', 'tuv', 'xyz']
    }
    // DONE键可以按需添加或省略
  }
};

核心特性说明 #

• 键只能是TO_DO、IN_PROGRESS、DONE中的任意子集，不允许其他字符串
• 每个列的status必须与键完全一致，title也会自动匹配对应文本，避免手动写错
• 支持只包含部分状态键，符合你给出的示例结构

内容的提问来源于stack exchange，提问作者Neil Girardi