通过 TypeScript 函数重载，可定义一个在未提供泛型类型时允许无参调用、而在显式指定泛型（如 func()）时强制要求传入对应类型参数的函数。
通过 typescript 函数重载，可定义一个在未提供泛型类型时允许无参调用、而在显式指定泛型（如 func
要实现「仅当显式提供泛型类型时才要求参数」这一行为，不能仅依赖单一泛型签名（例如 function TT
✅ 正确实现方式（函数重载）
// 重载签名 1：无泛型、无参数 → 允许 TT()
function TT(): void;
// 重载签名 2：有泛型、有参数 → 要求 TT<string>("x")
function TT<o>(arg: O): void;
// 实现签名（需兼容所有重载）：参数为可选，但实际逻辑中会根据调用上下文被类型系统约束
function TT<o>(arg?: O): void {
// 实际逻辑（可根据需要处理 arg）
if (arg !== undefined) {
console.log('Received:', arg);
}
}</o></o></string>
✅ 调用行为验证
| 调用方式 | 是否通过 | 说明 |
|---|---|---|
| TT() | ✅ 合法 | 匹配第一个重载（无泛型、无参） |
| TT |
✅ 合法 | 匹配第二个重载，类型 string 与 "hello" 一致 |
| TT |
❌ 编译错误 | 无参数，无法满足 TT |
| TT(42) | ✅ 合法 | 类型参数自动推导为 number，匹配第二重载（TS 会尝试从实参推导 O） |
| TT |
❌ 编译错误 | 42 不是 string 类型，类型不匹配 |
⚠️ 注意：实现签名 function TT
(arg?: O) 中的 arg? 仅用于满足重载兼容性，其可选性不会削弱重载签名的约束力——TypeScript 总是优先匹配最具体的重载，而类型检查严格依据重载签名，而非实现签名。
? 进阶提示
- 若需支持更多变体（如带默认值、返回泛型值等），可在重载中扩展签名，但始终确保无泛型的重载必须放在最前（重载解析按顺序匹配）。
- 此模式常用于配置函数、工厂函数或类型断言辅助工具中，兼顾灵活性与类型安全性。
通过合理设计重载签名，你就能精准控制“泛型显式性”与“参数必要性”之间的联动关系，让 API 更健壮、更易用。
