TypeScript如何根据推断类型设置函数参数可选或必填？

解决方案 #

TypeScript完全支持该需求，可通过条件元组类型结合泛型实现，示例代码如下：

// 根据T是否为空对象，动态定义参数的必填性
type MyFuncParams<T extends {}> = keyof T extends never ? [vars?: T] : [vars: T];

const MyFunc = <T extends {}>(...args: MyFuncParams<T>): void => {
  const vars = args[0];
  // 此处编写你的函数逻辑
};

验证效果 #

测试你给出的场景，完全符合预期：

// ✅ 允许调用：T被推断为空对象，参数可选
MyFunc();

// ✅ 允许调用：显式指定T为空对象，参数可选
MyFunc<{}>();

// ❌ 报错（符合预期）：T包含键，参数必须传入
MyFunc<{ a: string }>();

// ✅ 允许调用：传入符合T类型的参数
MyFunc<{ a: string }>({ a: "hello" });

实现原理 #

• keyof T extends never 是判断T是否为空对象的标准写法：空对象的keyof结果为never，包含键的类型keyof结果为对应键名的联合类型。
• 条件元组类型MyFuncParams<T>会根据T的类型动态生成参数列表：
  • 当T是空对象时，生成带可选标记的元组[vars?: T]，允许不传参数；
  • 当T包含键时，生成必填参数的元组[vars: T]，强制必须传入参数。
• 函数通过剩余参数...args匹配元组类型，让TypeScript能准确推断参数的必填性。

为什么原有写法无效 #

你之前的代码中vars?: T是固定的可选参数，无论T是否包含键，TypeScript都会允许不传参数。而条件元组类型能动态改变参数的可选性，刚好满足你的需求。

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