如何让TypeScript中Channels新增值时强制更新ChannelTypes接口

要实现新增Channels成员时强制更新ChannelTypes，同时禁止ChannelTypes包含Channels中未定义的键，可以用以下几种简洁的方式实现：

方法1：利用Exact工具类型强约束（兼容所有TS版本） #

先定义一个工具类型确保类型的键完全匹配Channels，不允许多也不允许少：

type Channels = 'Channel1' | 'Channel2';

// 工具类型：确保T的键完全等于U的键，否则返回never
type Exact<T, U> = T extends U ? (U extends T ? T : never) : never;

// 定义ChannelTypes，必须完全匹配Channels的所有键，且每个键的类型是object的子类型
type ChannelTypes = Exact<{
    Channel1: { id: number; name: string }, // 自定义Channel1的类型
    Channel2: { url: string; active: boolean }, // 自定义Channel2的类型
}, Record<Channels, object>>;

• 当Channels新增成员（比如'Channel3'），Record<Channels, object>会自动包含该键，此时ChannelTypes因缺少对应键会直接报错，强制你补充定义
• 如果ChannelTypes中添加了Channels没有的键（比如'ChannelX'），Exact类型会返回never，触发类型错误

方法2：用satisfies关键字（TS 4.9+推荐） #

satisfies关键字可以直接约束对象字面量的类型，同时保留对象的具体类型信息：

type Channels = 'Channel1' | 'Channel2';

// 定义基础类型：所有Channels成员必须对应object类型
type BaseTypes = Record<Channels, object>;

// 定义具体的频道类型对象，受BaseTypes约束
const channelTypes = {
    Channel1: {} as { id: number; name: string },
    Channel2: {} as { url: string; active: boolean },
} satisfies BaseTypes;

// 提取类型供其他地方使用
type ChannelTypes = typeof channelTypes;

• 新增Channels成员后，channelTypes对象必须同步添加对应属性，否则satisfies会抛出错误
• 若channelTypes包含Channels外的键，同样会触发类型检查错误

方法3：接口+额外类型检查（兼容旧版TS） #

如果你坚持用interface，可以通过额外的类型检查来禁止额外属性：

type Channels = 'Channel1' | 'Channel2';

type BaseTypes = { [K in Channels]: object };

// 工具类型：检查T是否没有超出U的额外键
type NoExtraProperties<T, U> = Exclude<keyof T, keyof U> extends never ? T : never;

interface ChannelTypes extends BaseTypes {
    Channel1: { id: number; name: string };
    Channel2: { url: string; active: boolean };
}

// 强制检查ChannelTypes是否有额外键，有则报错
type _ValidateChannelTypes = NoExtraProperties<ChannelTypes, BaseTypes>;

• 继承BaseTypes确保ChannelTypes必须包含所有Channels成员
• _ValidateChannelTypes会检查ChannelTypes是否存在额外键，存在则返回never触发错误

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