TypeScript中如何约束字符串字面量为特定类型并规范联合类型的type字段？

针对你的问题，核心是让OnStatusChange的参数param的type字段严格对应MediaStatus的成员，同时保留不同状态的专属属性。首先要纠正原代码里的拼写错误：param中的'stoped'应该改为'stopped'，和MediaStatus的定义一致，否则会出现类型不匹配。

推荐方案：用映射类型+条件类型自动生成约束 #

这种方式能完全复用MediaStatus的定义，避免手动重复写字面量，还能自动维护类型一致性：

export type MediaStatus = 'stopped' | 'playing' | 'waiting' | 'finished';

// 定义仅部分状态需要的额外属性
type StatusSpecificProps = {
  waiting: { topics: string[] };
  // 其他状态无额外属性，无需定义
};

// 自动生成每个状态对应的参数类型：合并基础type字段和专属属性
type StatusParam = {
  [Status in MediaStatus]: { type: Status } & (Status extends keyof StatusSpecificProps ? StatusSpecificProps[Status] : {})
}[MediaStatus];

// 最终的回调类型
type OnStatusChange = (param: StatusParam) => void;

说明：

• 映射类型{ [Status in MediaStatus]: ... }会遍历MediaStatus的每个成员，生成对应的对象类型
• 条件类型Status extends keyof StatusSpecificProps ? ... : {}会判断当前状态是否有专属属性，有则合并，无则保留空对象
• 最后通过[MediaStatus]提取映射类型的所有值，形成联合类型，和你原代码的结构完全一致，但严格绑定了MediaStatus

备选方案：直接显式约束（不推荐，易出错） #

如果不想用映射类型，也可以在每个分支里直接指定type为MediaStatus的成员，但需要确保字面量完全匹配：

export type MediaStatus = 'stopped' | 'playing' | 'waiting' | 'finished';

type OnStatusChange = (
  param:
    | { type: 'stopped' } // 严格对应MediaStatus的成员
    | { type: 'playing' }
    | { type: 'waiting'; topics: string[] }
    | { type: 'finished' }
) => void;

这种方式的问题是如果MediaStatus更新，你需要手动修改所有分支，容易出现拼写错误或遗漏。

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