TypeScript中<T, U = T>语法含义是什么？求推荐相关资料

<T, U = T>是TypeScript中的泛型参数默认值语法，属于泛型特性的进阶用法，你之前没找到可能是没留意官方文档里的对应小节。

核心概念 #

当定义泛型时给参数U设置= T的默认值，意味着：

• 显式指定U类型时，使用你指定的类型；
• 未显式指定且TypeScript无法自动推断U类型时，U会 fallback 到T的类型。

举个简单例子：

// 定义带默认泛型参数的函数
function combine<T, U = T>(first: T, second: U): T | U {
  if (typeof first === 'number' && typeof second === 'number') {
    return (first + second) as T | U;
  }
  return `${first}${second}` as T | U;
}

// 未指定U，U默认等于T（这里T被推断为string）
const strResult = combine('hello', 'world'); 
// 显式指定U为number，T为string
const mixResult = combine<string, number>('count:', 100); 

推荐阅读资料 #

• TypeScript官方手册：直接查找「Generics」章节下的「Default Type Parameters」小节，里面有语法定义、约束结合、使用场景的详细说明，是最权威的参考。
• 《TypeScript权威指南》：书中泛型进阶章节专门讲解了默认参数的设计意图和实际案例，适合结合代码理解用法。
• 社区技术专栏：很多前端技术博客会分享泛型默认参数在工具函数、React组件封装中的实际应用，比如处理可选的泛型 props 时的简化写法，能帮助你快速掌握落地场景。

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