如何创建兼具单属性约束与可索引性的TypeScript Branch类型？

要同时满足对象恰好拥有and/or其中一个属性，以及能通过该属性安全索引访问的需求，我们可以通过联合类型+条件约束的方式定义类型，同时配合辅助函数简化业务逻辑。

核心类型定义 #

// 定义允许的属性集合
type AndOr = 'and' | 'or';

// 单个分支类型：仅包含指定的key，且排除另一个key的存在
type SingleBranch<K extends AndOr> = {
  [P in K]: Branch[];
} & {
  // 确保另一个AndOr属性不存在（或为never类型，无法赋值）
  [P in Exclude<AndOr, K>]?: never;
};

// 最终的Branch类型：只能是and分支或or分支的联合
type Branch = SingleBranch<'and'> | SingleBranch<'or'>;

类型说明 #

1. SingleBranch：通过Exclude<AndOr, K>排除不需要的属性，并将其类型设为never，确保每个Branch实例只能拥有and或or中的一个属性。如果尝试同时定义两个属性，TypeScript会直接报错。
2. Branch联合类型：明确限定了合法的分支结构，既满足业务需求，又保留了类型安全性。

简化业务逻辑的实现 #

有了上述类型定义，我们可以通过一个辅助函数快速获取当前分支的属性键，从而避免重复的类型判断：

// 获取当前分支的属性键（and/or）
function getBranchKey(branch: Branch): AndOr {
  return 'and' in branch ? 'and' : 'or';
}

// 你的简化业务逻辑
function processBranch(branch: Branch, set: Branch[]) {
  const andOr = getBranchKey(branch);
  // 自动推断合法的分支结构，无需手动类型断言
  const retval: Branch = { [andOr]: [] };

  retval[andOr] = _.reduce(set, (all, item: Branch) => {
    const itemKey = getBranchKey(item);
    // 仅处理与当前分支类型一致的子项
    if (itemKey === andOr) {
      return _.union(all, item[itemKey]);
    }
    return all;
  }, [] as Branch[]);

  return retval;
}

类型安全性验证 #

• 合法分支会被TypeScript正确识别：

  const validAndBranch: Branch = { and: [] }; // ✅
  const validOrBranch: Branch = { or: [] };   // ✅
  

• 非法分支会直接触发类型错误：

  const invalidBranch: Branch = { and: [], or: [] }; // ❌ 类型错误
  

为什么之前的方案不生效？ #

• Record<AndOr, Branch[]>要求同时存在and和or两个属性，不符合"仅含单个属性"的需求；
• 直接的联合类型AndBranch | OrBranch无法让TypeScript推断出branch[andOr]的合法性，因为它不确定变量andOr对应的属性是否存在于当前分支实例中。

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