如何在类型层面限制函数：首参为对象时必须传第二个参数？

你可以用函数重载来实现这个需求，直接在编译阶段就约束参数的合法性，不用等到运行时再抛错。

具体实现如下：

type SomeType = { name: string }
type SomeOtherType = { config: number }

// 定义函数重载签名，明确允许的调用组合
function myFunc(firstArg: string): number;
function myFunc(firstArg: string, secondArg: SomeOtherType): number;
function myFunc(firstArg: SomeType, secondArg: SomeOtherType): number;

// 函数实现签名，需要兼容所有重载的参数类型
function myFunc(
  firstArg: string | SomeType,
  secondArg?: SomeOtherType
): number {
  if (typeof firstArg === "string") {
    return doStringStuff(firstArg);
  }
  // 这里不用再判断secondArg是否为undefined，因为类型系统已经保证：
  // 当firstArg是SomeType时，第二个参数一定被传入了
  return doObjStuff(firstArg, secondArg!);
}

为什么这样可行？ #

• 前两个重载对应第一个参数是字符串的情况：可以只传字符串，也可以额外传第二个参数
• 第三个重载严格约束：当第一个参数是SomeType时，必须传入第二个参数
• 实现签名里的secondArg?只是为了兼容重载的参数类型，但类型系统会在调用时检查，确保不符合规则的调用（比如myFunc({})）直接触发编译错误

这种方式的好处是把参数合法性检查提前到编译阶段，避免运行时的错误抛出，完全符合TypeScript的类型安全设计目标。

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