通过 typescript 函数重载可实现：当显式指定泛型类型时，强制要求传入对应类型的参数；若不指定泛型，则允许无参调用，且类型可由参数自动推导。
通过 typescript 函数重载可实现：当显式指定泛型类型时，强制要求传入对应类型的参数；若不指定泛型，则允许无参调用，且类型可由参数自动推导。
在 TypeScript 中，无法直接通过单一函数签名实现“仅当泛型被显式提供时才要求参数”的逻辑，因为泛型参数的显式传入（如 TT<string>()）与参数是否可选是正交的。但借助函数重载（function overloads），我们可以精确控制不同调用形式的类型行为。
✅ 正确实现方式：函数重载
// 重载签名 1：无泛型、无参数 → 允许 TT()
function TT(): void;
// 重载签名 2：有泛型、有参数 → 要求 TT<T>(arg)
function TT<T>(arg: T): void;
// 实现签名（必须兼容所有重载）：参数为可选，但实际逻辑中会由重载约束调用合法性
function TT<T>(arg?: T): void {
// 实际逻辑（例如：仅作类型占位或运行时处理）
console.log(arg);
}✅ 调用效果验证
| 调用形式 | 是否通过 | 说明 |
|---|---|---|
| TT() | ✅ 通过 | 匹配第一重载签名，无泛型、无参数 |
| TT<string>("hello") | ✅ 通过 | 匹配第二重载，泛型 string 与参数 "hello" 类型一致 |
| TT<string>() | ❌ 编译错误 | 不匹配任一重载：第一重载无泛型，第二重载要求必传 string 类型参数 |
| TT(42) | ✅ 通过 | 泛型 T 被自动推导为 number，匹配第二重载 |
? 注意：实现签名 function TT<T>(arg?: T) 中的 arg? 是实现细节所需（避免编译报错），真正起约束作用的是上面两个重载签名。TypeScript 在类型检查阶段优先匹配重载，而非实现签名。
typescript-dev下载使用 Vite 8、React 19、Tailwind CSS v4、shadcn/ui、Biome、Vitest 和 Hono 构建全栈 TypeScript 应用，涵盖前端（Vite/Rolldown 构建 + 开发）...
⚠️ 常见误区提醒
- 不可省略重载声明：仅写 function TT<T>(arg?: T) {} 无法达成目标——此时 TT<string>() 仍合法，因 arg 本就是可选。
- 实现签名必须兼容所有重载：它不能比任一重载更严格（如不能将 arg 写成必填），否则会导致重载无法解析。
- 返回类型需一致或兼容：各重载的返回类型应统一（如均为 void），否则可能引发类型冲突。
✅ 进阶提示：支持更多灵活性（可选）
若还需支持「无泛型但传参」和「有泛型且传参」两种场景，并保持类型精准，当前方案已完备。如需进一步扩展（例如支持多个可选参数、默认值等），建议封装为泛型类或使用 Parameters<T> + 条件类型组合，但会显著增加复杂度，通常非必要。
总之，函数重载是解决此类“上下文相关参数必填性”问题的标准、可靠且类型安全的方式。
