如何在TypeScript中实现属性存在时的关联必填约束？

你的核心需求是：当某个属性（比如a）存在时，关联属性（比如desc）必须同时存在；反之则两者都不能出现。先分析你原有方案的问题，再给出可行的实现方式。

原有方案的问题 #

1. 使用{} 的问题 #

export type A = { a: string; desc: string };
export type B = { b: string } & (A | {});

TypeScript 的结构类型系统中，{}是一个“宽松”类型，允许包含任何额外属性。当你只传入a而缺少desc时，{ b: "", a: "123" }会被匹配到{ b: string } & {}分支，不会触发A的约束，因此不会报错。

2. 使用Record<string, never>的问题 #

export type B = { b: string } & (A | Record<string, never>);

Record<string, never>表示完全没有任何属性的对象，和{ b: string }交叉后，b的类型会变成string & never = never，导致无法定义合法的B类型，自然报错。

正确实现方式 #

方式1：直接枚举合法联合类型 #

最直观的方式是明确定义两种合法情况，通过联合类型约束：

export type B = 
  // 情况1：同时包含a和desc
  { b: string; a: string; desc: string } 
  // 情况2：既不包含a也不包含desc
  | { b: string; a?: never; desc?: never };

测试验证：

// ✅ 合法：包含b，同时有a和desc
const v1: B = { b: "", a: "123", desc: "描述" };
// ✅ 合法：只有b属性
const v2: B = { b: "" };
// ❌ 报错：有a但缺少desc
const v3: B = { b: "", a: "123" };
// ❌ 报错：有desc但缺少a
const v4: B = { b: "", desc: "描述" };

方式2：通用工具类型（适合多组属性约束） #

如果需要复用“关联属性必填/必无”的逻辑，可以封装一个工具类型：

// 工具类型：约束一组属性要么全有，要么全无
type RequireAllOrNone<T, K extends keyof T> = 
  // 全有：保留K属性，同时保留原类型其他属性
  (Pick<T, K> & Omit<T, Exclude<keyof T, K>>) 
  // 全无：移除K属性，并将K属性设为never（禁止存在）
  | (Omit<T, K> & Record<K, never>);

// 定义B类型
export type B = RequireAllOrNone<{ 
  b: string; 
  a?: string; 
  desc?: string; 
}, "a" | "desc">;

这个工具类型可以灵活适配不同的属性组合，扩展性更强。

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