TypeScript：如何根据对象属性值约束另一属性可选值？

要实现根据对象中entryPoint的值限制trigger的可选范围，同时获得清晰的错误提示和IDE自动补全，可以通过映射类型+联合类型推导的方式优化现有实现，既提升可维护性，又增强开发体验。

步骤1：定义入口与触发器的映射关系 #

先用一个类型明确每个EntryPoints对应的有效Triggers，后续修改规则只需调整这一处，比单独定义多个类型更直观：

enum EntryPoints {
  HOME,
  DASHBOARD,
  SETTINGS,
}

enum Triggers {
  RED_BUTTON,
  BLUE_BUTTON,
  YELLOW_BUTTON,
  ORANGE_BUTTON,
}

// 核心映射：明确每个入口对应的有效触发器
type EntryToTriggerMap = {
  [EntryPoints.HOME]: Triggers.BLUE_BUTTON;
  [EntryPoints.DASHBOARD]: Triggers.YELLOW_BUTTON | Triggers.ORANGE_BUTTON;
  [EntryPoints.SETTINGS]: Triggers.BLUE_BUTTON | Triggers.RED_BUTTON;
};

步骤2：自动推导联合类型 #

基于上面的映射，用keyof和索引访问类型自动生成ModalTriggers，无需手动逐个定义：

type ModalTriggers = {
  [K in keyof EntryToTriggerMap]: {
    entryPoint: K;
    trigger: EntryToTriggerMap[K];
  };
}[keyof EntryToTriggerMap];

这个写法会遍历EntryToTriggerMap的所有键，为每个键生成对应的对象类型，最后通过索引访问合并成联合类型，效果和手动定义的HomeTriggers | DashboardTriggers | SettingsTriggers完全一致，但更易维护。

步骤3：优化错误提示与IDE补全 #

使用推导后的ModalTriggers类型，会自动获得以下开发体验：

IDE自动补全 #

当你在函数参数中输入entryPoint后，IDE会根据选中的entryPoint值，自动过滤出对应的trigger可选值：

function foo(trigger: ModalTriggers): void {}

foo({
  entryPoint: EntryPoints.HOME,
  trigger: // 这里只会提示Triggers.BLUE_BUTTON
});

清晰的错误提示 #

如果传入不匹配的组合，TypeScript会明确指出当前entryPoint允许的trigger值，而非泛泛的类型不匹配：

foo({entryPoint: EntryPoints.HOME, trigger: Triggers.RED_BUTTON});
// 错误提示：类型"Triggers.RED_BUTTON"的参数不能赋给类型"Triggers.BLUE_BUTTON"的参数

进阶：增强错误提示（可选） #

如果希望错误提示更直白，可将参数拆分，用泛型函数强化约束：

function createTrigger<T extends EntryPoints>(
  entryPoint: T,
  trigger: EntryToTriggerMap[T]
): ModalTriggers {
  return { entryPoint, trigger };
}

// 错误示例：
createTrigger(EntryPoints.HOME, Triggers.RED_BUTTON);
// 错误提示：类型"Triggers.RED_BUTTON"的参数不能赋给类型"Triggers.BLUE_BUTTON"的参数

这种写法下，传入第一个参数entryPoint后，第二个参数的可选值会自动过滤，错误提示也会更聚焦。

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