通过 TypeScript 函数重载，可定义一个泛型函数，使其在未显式指定泛型时允许无参调用，而在显式提供泛型类型（如 func()）时强制要求传入对应类型的参数。
通过 typescript 函数重载，可定义一个泛型函数，使其在未显式指定泛型时允许无参调用，而在显式提供泛型类型（如 `func
要实现「泛型参数 O 显式提供时，arg 必须存在；未提供泛型时，arg 可省略」这一行为，不能仅靠单个泛型签名实现——因为 function TT
正确解法是使用 函数重载（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);
}
}</o></o></string>
✅ 正确行为验证：
- TT() → ✅ 通过（匹配第一个重载）
- TT
("hello") → ✅ 通过（匹配第二个重载，类型安全） - TT
() → ❌ 编译错误（无匹配重载：第一个不接受泛型，第二个要求参数） - TT("world") → ✅ 通过（泛型自动推导为 string，匹配第二个重载）
⚠️ 注意事项：
- 重载签名仅用于类型检查，不参与运行时；实现签名必须能接受所有重载的调用形式；
- 避免在实现中对 arg 做非空断言（如 arg!），应始终按 arg?: O 处理；
- 若需返回值，所有重载签名及实现签名的返回类型需一致或兼容（如统一为 O | void 需谨慎设计）；
- 此模式适用于配置函数、工厂函数等需要“智能可选参数”的场景，但会略微增加类型定义复杂度。
总结：TypeScript 的重载机制是解决“泛型显式性与参数必要性联动”的标准方案——它让类型系统能基于调用形式（是否写
