TypeScript中如何根据另一泛型参数控制泛型参数可选性？

要实现你想要的效果，TypeScript是支持的，核心是通过条件类型设置泛型参数的默认值，结合约束来强制某些场景下必须显式传入泛型参数。

具体实现代码 #

type HTTPMethod = "HEAD" | "GET" | "POST" | "PUT" | "PATCH" | "DELETE";

// 定义Endpoint泛型类型
type Endpoint<
  M extends HTTPMethod,
  // 针对不同HTTP方法设置S的默认值：POST/PUT/PATCH时默认值为never（不满足约束，强制用户传入）；其他方法默认值为{}（满足约束，可省略）
  S extends {} = M extends "POST" | "PUT" | "PATCH" ? never : {}
> = (payload: M extends "POST" | "PUT" | "PATCH" ? S : S | undefined) => void;

验证示例 #

按照你的需求测试：

const a: Endpoint = () => {}; // ❌ 报错：需要1个类型参数（符合预期）
const b: Endpoint<"HEAD"> = () => {}; // ✅ 合法（S使用默认值{}）
const c: Endpoint<"HEAD", { id: number }> = () => {}; // ✅ 合法（显式传入S）
const d: Endpoint<"POST"> = () => {}; // ❌ 报错：类型参数'S'的默认值不满足约束（符合预期，必须传入S）
const e: Endpoint<"POST", { name: string }> = () => {}; // ✅ 合法（显式传入符合约束的S）

实现原理 #

1. 泛型约束与默认值的配合：

   • 当M是POST/PUT/PATCH时，S的默认值设为never，而S的约束是extends {}，never不满足该约束，因此TypeScript会强制你显式传入符合{}的S类型。
   • 当M是HEAD/GET/DELETE时，S的默认值设为{}，刚好满足约束，因此可以省略S参数，直接使用默认值。

2. 函数类型的适配：
   示例中把函数参数payload的类型也做了条件处理：POST类方法要求必须传S类型的参数，其他方法允许传S或undefined，这也贴合你将S作为输入类型的设计思路。

关于你之前写法的问题 #

你之前的约束逻辑混乱，把S的约束写成了M extends ... ? never : never，相当于强制S必须是never，而默认值设为unknown，这本身就矛盾。TypeScript在这种情况下可能因为条件类型的复杂性出现误判，但这不是正确的实现方式。

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