泛型默认值仅在调用者完全省略泛型参数（如<T>）时生效，而非辅助类型推断；TypeScript 优先通过参数推断类型，推断失败或显式使用<>时才启用默认值。

泛型默认值不是用来“让调用者不传泛型时获得推导”的——恰恰相反，它是在调用者**完全省略泛型参数**（即不写 、也不靠类型推断）时，为类型参数提供一个后备类型。真正实现“不传泛型也能推导”的，是 TypeScript 的**类型参数推断机制**；而默认值只在推断失败或显式省略时生效。

泛型默认值的正确作用场景

当泛型参数无法从函数参数中可靠推断，又希望保持调用简洁时，才需要默认值。常见于以下情况：

• 泛型参数未出现在函数参数中（比如仅用于返回值或内部逻辑）
• 类或接口的泛型参数没有构造器输入可依赖
• 想为高频使用的类型提供合理 fallback，减少冗余标注

配置泛型默认值的语法

在类型参数声明后用 = 指定默认类型，支持任意合法类型（基础类型、联合类型、内置工具类型等）：

// 函数示例：T 默认为 string
function identity<t string>(value: T): T { return value; }</t>
identity("hello"); // ✅ 推断为 string，不依赖默认值
identity(); // ❌ 报错：缺少参数 —— 默认值不解决参数缺失
const fn = identity; fn(42); // ✅ 推断为 number，仍走推断

typescript-dev

使用 Vite 8、React 19、Tailwind CSS v4、shadcn/ui、Biome、Vitest 和 Hono 构建全栈 TypeScript 应用，涵盖前端（Vite/Rolldown 构建 + 开发）...

下载

// 类示例：State 默认为 {}
class Component<p s="{}"> { props: P; state: S; }</p>
const c = new Component(); // ✅ P 和 S 都取默认值

默认值 + 推断的协同关系

TypeScript 总是优先尝试从实际参数推断类型；只有当推断结果为 unknown 或调用时**显式使用空尖括号 <>** 时，才会启用默认值：

// 带默认值的工厂函数
function createBox<t number>(value: T): { value: T } { return { value }; }</t>
createBox(123); // ✅ T 推断为 number
createBox("abc"); // ✅ T 推断为 string
createBox<>(456); // ✅ 显式空泛型，T 取默认值 number

实用建议：什么时候该设默认值？

• React 组件的 Props/State：常用 P = object, S = object 或更严格的 P = {}, S = {}
• 工具函数如 pick<T, K extends keyof T>(obj: T, keys: K[]): Pick<T, K> 一般不设默认值，因为 K 必须由 keys 参数推断
• 配置类或容器类（如 Map、Queue）：可设 K = string, V = any 提升开箱体验
• 避免设 T = any：这会削弱类型安全，违背泛型初衷