通过函数重载配合泛型参数推断，可实现“仅在显式提供泛型类型时强制要求传参”，否则允许无参调用，兼顾类型安全与使用灵活性。
通过函数重载配合泛型参数推断，可实现“仅在显式提供泛型类型时强制要求传参”，否则允许无参调用，兼顾类型安全与使用灵活性。
在 TypeScript 中，泛型函数默认无法直接表达“参数是否必需取决于泛型是否被显式指定”这一逻辑，因为类型检查发生在编译期，而泛型实参是否省略属于调用语法层面的决策。但借助函数重载（function overloads），我们可以为不同调用模式定义独立的签名，从而精确控制参数约束。
核心思路是：
- 提供一个无参重载签名（对应 TT() 场景）；
- 提供一个带泛型参数和必填实参的重载签名（对应 TT
("hello")）； - 实现签名则保持宽松（如 arg?: O），确保运行时逻辑兼容所有合法调用。
以下是完整、可直接使用的实现：
// 重载签名：无参调用（泛型自动推断或不指定）
function TT(): void;
// 重载签名：显式指定泛型时，参数必须存在且类型匹配
function TT<o>(arg: O): void;
// 实现签名（需兼容以上所有重载，使用可选参数）
function TT<o>(arg?: O): void {
// 实际逻辑（可根据需要处理 arg）
if (arg !== undefined) {
console.log('Received argument:', arg);
}
}</o></o>
✅ 正确用法示例：
TT(); // ✅ 无参，无泛型 —— 允许
TT("hello"); // ✅ 参数推导泛型为 string
TT<string>("hello"); // ✅ 显式泛型 + 匹配参数</string>
❌ 非法用法（编译时报错）：
TT<string>(); // ❌ 错误：期望 1 个参数，但获得 0 个
TT<number>("hello"); // ❌ 错误：类型 "hello" 的参数不能赋给类型 number</number></string>
⚠️ 注意事项：
- 重载签名必须严格按从具体到宽泛的顺序声明（即先写 TT
(arg: O)，再写无参 TT()），否则 TypeScript 可能因签名匹配优先级导致意外行为； - 实现签名不可被直接调用，它仅用于运行时逻辑，因此其参数应设计为兼容所有重载（如使用 arg?: O）；
- 此方案不适用于箭头函数或函数表达式（重载仅支持 function 声明）；
- 若需返回值类型随泛型变化，可在各重载签名中明确返回类型（如 TT
(): O | void），并同步调整实现签名返回类型。
该模式广泛应用于配置函数、工厂方法及 DSL 构建等场景，在保证类型严谨性的同时，显著提升 API 的易用性与智能提示体验。
