TypeScript中如何定义当且仅当提供maxCount时counter为必填字段的类型？

这个需求在TypeScript里挺常见的，核心是要实现属性之间的依赖约束——当且仅当maxCount存在时，counter必须必填。下面给你几种实用的实现方式，每种都有对应的代码示例和适用场景：

方法1：直接使用联合类型（最直观） #

这是最直接易懂的方案，通过联合类型明确两种互斥的结构：要么同时提供maxCount和必填的counter，要么不提供maxCount（此时counter可选）。

type MyType = 
  // 情况1：不提供maxCount，counter可选或省略
  { maxCount?: never; counter?: number; } 
  // 情况2：提供maxCount时，counter必须存在
  | { maxCount: number; counter: number; };

// 合法示例
const valid1: MyType = {}; // 两个属性都不填
const valid2: MyType = { counter: 3 }; // 只填counter
const valid3: MyType = { maxCount: 10, counter: 5 }; // 两个都填

// 非法示例（TypeScript会报错）
const invalid1: MyType = { maxCount: 10 }; // 缺少必填的counter

这种方案的优势是逻辑清晰，TypeScript的类型检查能精准识别非法情况，适合结构简单的类型定义。

方法2：泛型+条件类型（动态控制） #

如果需要根据外部参数动态控制是否启用maxCount的约束，可以用泛型结合条件类型来实现：

type MyType<T extends number | undefined = undefined> = 
  T extends number 
    ? { maxCount: T; counter: number; } // 当T是number时，counter必填
    : { maxCount?: never; counter?: number; }; // 否则counter可选

// 使用示例
// 不指定泛型参数，默认不启用maxCount约束
const defaultCase: MyType = { counter: 4 }; // 合法
const emptyCase: MyType = {}; // 合法

// 指定泛型参数（比如10），此时必须同时填maxCount和counter
const withMax: MyType<10> = { maxCount: 10, counter: 2 }; // 合法
const missingCounter: MyType<10> = { maxCount: 10 }; // 报错：缺少counter

这种方案适合需要动态生成类型的场景，比如组件Props需要根据配置项决定是否启用某个约束时会很有用。

方法3：拆分基础类型再组合（适合复杂结构） #

如果你的类型本身还有很多其他属性，直接写联合类型会显得冗余，可以先拆分出基础类型，再组合成需要的约束类型：

// 定义包含所有可选属性的基础类型
type BaseMyType = {
  counter?: number;
  maxCount?: number;
  // 可以添加其他属性，比如name?: string; desc?: string;
};

// 定义必须同时包含maxCount和counter的类型
type WithMaxCount = Required<Pick<BaseMyType, 'maxCount' | 'counter'>>;

// 定义不包含maxCount的类型（maxCount只能是undefined或省略）
type WithoutMaxCount = Omit<BaseMyType, 'maxCount'> & { maxCount?: never; };

// 最终的MyType是两种情况的联合
type MyType = WithMaxCount | WithoutMaxCount;

// 合法示例
const validComplex: MyType = { name: "test", counter: 6 }; // 合法
const validWithMax: MyType = { name: "test", maxCount: 15, counter: 7 }; // 合法

// 非法示例
const invalidComplex: MyType = { name: "test", maxCount: 15 }; // 报错：缺少counter

这种方案的优势是可维护性强，当需要修改基础属性时，只需要修改BaseMyType即可，不需要重复修改多个联合分支。

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