泛型默认类型参数使用疑问：如何实现指定类型约束行为？

TypeScript里的泛型类型推断逻辑是：只要能从函数实参里推断出类型参数，就会优先用推断结果，而非默认值。这就是你之前代码里默认参数“失效”的原因——传入的实参直接覆盖了默认类型的推导。

要实现你想要的三种调用行为，必须用函数重载来区分不同的调用场景，单一泛型声明无法区分“用户显式指定U”和“依赖默认推导U”的情况。具体实现如下：

// 重载1：显式指定两个类型参数，arg2严格遵循U类型
function foo<T, U>(arg1: T, arg2: U): void;
// 重载2：仅指定第一个类型参数，arg2必须是T的数组
function foo<T>(arg1: T, arg2: T[]): void;
// 重载3：不指定任何类型参数，使用默认的string和string[]
function foo(arg1: string, arg2: string[]): void;

// 函数实现（内部泛型仅用于兼容重载约束，实际类型由重载规则控制）
function foo<T, U>(arg1: T, arg2: U | T[]) {
  // 这里写你的函数逻辑
}

现在验证各个场景的行为：

• 指定两个类型参数：

  foo<number, boolean>(1, true); // 正常通过，符合预期
  

• 仅指定第一个类型参数：

  foo<string>("a", ["b", "c"]); // 正常通过
  foo<string>("a", 1); // 报错，符合预期（arg2必须是string[]）
  

• 不指定类型参数：

  foo("hello", ["world"]); // 正常通过
  foo("hello", 123); // 报错，符合预期（arg2必须是string[]）
  

这样就完全匹配了你想要的三种调用规则。

内容的提问来源于stack exchange，提问作者Yevgeniy P