TypeScript中带泛型约束的函数设置默认参数报错如何解决？

问题成因 #

这段代码的报错本质是泛型的动态性和固定默认值之间的冲突：
泛型T的约束是'hello' | 'goodbye'联合类型，虽然你给T设置了默认类型为'hello'，但这个默认类型只在用户没有手动指定泛型参数时生效。如果用户显式指定T为'goodbye'，参数bar的类型就会被限定为'goodbye'，此时你设置的固定默认值'hello'就不符合bar的类型要求，TypeScript 正是检测到了这种潜在的类型冲突，才会判定默认值不合法。

可行解决方案 #

你可以根据自己的使用场景选择下面的方案：

• 方案1：放弃泛型，直接用联合类型定义参数
  如果你的函数返回值不需要和入参的精确类型绑定，这是最简单的实现：

function foo(bar: 'hello' | 'goodbye' = 'hello'): void { }

• 方案2：用函数重载保留泛型能力
  如果你需要保留泛型用于后续类型推导（比如返回值类型随入参变化），可以用重载拆分不同调用场景：

// 无参调用场景，默认使用hello类型
function foo(): void
// 传参或手动指定泛型的场景
function foo<T extends 'hello' | 'goodbye'>(bar: T): void
// 实现层用联合类型兼容所有情况
function foo(bar: 'hello' | 'goodbye' = 'hello'): void {
  // 函数逻辑
}

这个方案完全符合类型安全要求，兼顾了泛型的灵活性和默认值的使用。

• 方案3：类型断言快速修复（不推荐）
  如果你确定不会出现手动指定T为'goodbye'却不传参数的场景，可以用类型断言强制兼容：

function foo<T extends 'hello' | 'goodbye' = 'hello'>(bar: T = 'hello' as T): void { }

这个方案属于妥协写法，存在类型不匹配的隐患：如果用户写出foo<'goodbye'>()的代码，运行时参数值为'hello'但静态类型为'goodbye'，会导致后续类型校验失效。

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