TypeScript泛型是类型系统核心能力而非语法糖，通过<T>声明类型参数实现跨类型安全复用，支持多参数、约束（extends）、泛型类/接口/类型别名，避免any导致的类型丢失。
TypeScript 中的泛型不是语法糖，而是类型系统的核心能力——它让一个函数能安全地适配多种类型，同时保留完整的类型信息。关键不在于“怎么写”，而在于“为什么这样写更可靠”。
泛型函数的基本写法
用 <T> 声明类型参数，T 只是一个占位符，调用时会被真实类型替换：
- 函数签名里写
function first<t>(arr: T[]): T | undefined</t>，表示“无论数组里是什么类型，返回值就是那个类型或 undefined” - 调用时可显式指定：
first<string>(['a', 'b'])，也可靠类型推断：first([1, 2, 3])→ 返回类型自动为number | undefined - T 不限于一个，多个类型可用逗号分隔：
<K, V>，适合处理键值对、映射等场景
避免 any 的典型复用场景
不用泛型时，常靠 any 或重复写函数，结果是类型丢失或代码膨胀：
- 比如拼接数组：
['a','b'].join(',')和[1,2].join(',')逻辑一致，但元素类型不同；用function join<t>(arr: T[], sep: string): string</t>就能统一处理 - 再如 API 响应解包：
interface ApiResponse<T> { code: number; data: T; message: string }，后续所有接口只需写ApiResponse<User>或ApiResponse<Product[]> - 工具函数如
pick<T, K extends keyof T>(obj: T, keys: K[]): Pick<T, K>，既能约束 key 合法性，又保证返回类型精确
加约束让泛型更实用
泛型默认接受任意类型，但很多操作需要类型具备某些特征（比如有 length 或能比较大小）：
立即学习“Java免费学习笔记（深入）”；
- 用
extends限制范围：function logLength<T extends { length: number }>(x: T)，确保传入对象一定有length属性 - 组合多个约束：
<T extends Record<string, unknown> & { id: number }>表示既要是一般对象，又要带id - 内置约束如
keyof T、typeof、ReturnType<F>都是泛型配合类型运算的自然延伸，不是额外语法，而是类型系统的连贯表达
泛型类和接口增强结构复用
不只是函数能泛型化，整个结构都可以按需注入类型：
- 容器类：
class Stack<T> { private items: T[] = []; push(item: T) { this.items.push(item); } pop(): T | undefined { return this.items.pop(); } } - 泛型接口定义行为契约：
interface Mapper<In, Out> { map(input: In): Out; }，实现时可明确输入输出关系 - 类型别名也能泛型化：
type AsyncResult<T> = Promise<{ success: boolean; data?: T; error?: string }>，一处定义，多处复用
