通过 TypeScript 函数重载，可定义一个泛型函数，使其在未显式指定泛型时允许无参调用，而在显式提供泛型类型（如 func<string>()）时强制要求传入对应类型的参数。

通过 typescript 函数重载，可定义一个泛型函数，使其在未显式指定泛型时允许无参调用，而在显式提供泛型类型（如 `func()`）时强制要求传入对应类型的参数。

要实现「泛型参数 O 显式提供时，arg 必须存在；未提供泛型时，arg 可省略」这一行为，不能仅靠单个泛型签名实现——因为 function TT<O>(arg?: O) 会让 TT<string>() 也合法（arg 被视为可选），违背需求。

正确解法是使用 函数重载（Function Overloads），为不同调用场景分别声明签名，并在实现签名中统一处理逻辑：

// 重载签名 1：无泛型、无参数 → 允许 TT()
function TT(): void;

// 重载签名 2：有泛型、有参数 → 要求 TT<string>("x")
function TT<O>(arg: O): void;

// 实现签名（必须兼容所有重载）：泛型 + 可选参数
function TT<O>(arg?: O): void {
  // 实际逻辑（例如：类型校验、副作用等）
  if (arg !== undefined) {
    console.log('Received:', arg);
  }
}

✅ 正确行为验证：

• TT() → ✅ 通过（匹配第一个重载）
• TT<string>("hello") → ✅ 通过（匹配第二个重载，类型安全）
• TT<string>() → ❌ 编译错误（无匹配重载：第一个不接受泛型，第二个要求参数）
• TT("world") → ✅ 通过（泛型自动推导为 string，匹配第二个重载）

⚠️ 注意事项：

• 重载签名仅用于类型检查，不参与运行时；实现签名必须能接受所有重载的调用形式；
• 避免在实现中对 arg 做非空断言（如 arg!），应始终按 arg?: O 处理；
• 若需返回值，所有重载签名及实现签名的返回类型需一致或兼容（如统一为 O | void 需谨慎设计）；
• 此模式适用于配置函数、工厂函数等需要“智能可选参数”的场景，但会略微增加类型定义复杂度。

总结：TypeScript 的重载机制是解决“泛型显式性与参数必要性联动”的标准方案——它让类型系统能基于调用形式（是否写 <T>）精确约束参数存在性，而非依赖运行时判断。