如何基于嵌套属性的值条件化约束TypeScript属性的有效性

嘿，这个需求我之前也碰到过，其实用联合类型拆分互斥场景就能完美解决！TypeScript里处理这种嵌套属性的依赖约束，最直观的方式就是把不同状态拆成独立的子类型，再合并成联合类型，这样就能精准控制每个场景下的属性规则了。

具体实现方案 #

我们可以把Options拆成三个互斥的子类型，分别对应enableAdvancedFeature的三种状态（true/false/未设置），然后将它们联合起来：

// 场景1：高级功能启用时，enforceAdvancedOrder可以是boolean或可选（即undefined）
type OptionsWithAdvancedEnabled = {
    settings: { enableAdvancedFeature: true };
    enforceAdvancedOrder?: boolean;
};

// 场景2：高级功能明确禁用时，enforceAdvancedOrder必须是undefined
type OptionsWithAdvancedDisabled = {
    settings: { enableAdvancedFeature: false };
    enforceAdvancedOrder: undefined;
};

// 场景3：未设置高级功能状态（或settings本身不存在）时，enforceAdvancedOrder必须是undefined
type OptionsWithAdvancedUndefined = {
    settings?: { enableAdvancedFeature?: undefined };
    enforceAdvancedOrder: undefined;
};

// 最终的Options类型是三个场景的联合
type Options = OptionsWithAdvancedEnabled | OptionsWithAdvancedDisabled | OptionsWithAdvancedUndefined;

验证你的示例 #

把这个类型套进你给出的例子里：

• validOption1完全匹配OptionsWithAdvancedEnabled，符合约束；
• validOption2匹配OptionsWithAdvancedDisabled，enforceAdvancedOrder设为undefined是允许的；
• invalidOption里，settings.enableAdvancedFeature是false但enforceAdvancedOrder设为true，不属于任何一个子类型，TypeScript会直接抛出类型错误，完美符合你的预期。

更紧凑的写法 #

如果你觉得拆成三个类型有点繁琐，也可以把后两个场景合并，写法更简洁：

type Options = 
  | {
      settings: { enableAdvancedFeature: true };
      enforceAdvancedOrder?: boolean;
    }
  | {
      settings?: { enableAdvancedFeature?: false | undefined };
      enforceAdvancedOrder: undefined;
    };

这个版本和上面的效果完全一致，只是把“禁用”和“未设置”的场景合并成了一个类型。

为什么之前的条件类型没生效？ #

你提到尝试用条件类型但没成功，其实是因为条件类型通常需要泛型参数来引用当前类型的属性，而直接在Options里用条件类型的话，TypeScript无法在定义时就推断出settings.enableAdvancedFeature的具体值，所以拆成联合类型是更直接有效的方案。

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