TypeScript 泛型的作用与核心理念
泛型的定义与核心价值
泛型是一种让类型参数化的工具，它把具体的类型留到使用时再绑定。通过使用
在设计公共 API 时，泛型提供了更清晰的语义，让调用方知道返回值会受传入类型的约束，同时保留了类型信息，避免了过度的类型断言。
为什么要使用泛型
使用泛型可以让函数、类和接口在多种数据类型上工作，而不需要为每种数据类型编写重复的实现。可重用性和类型推断共同提升了开发效率与代码可维护性。
此外，泛型还能帮助你在编译阶段发现更多错误，例如错误的属性访问、参数不匹配等，从而降低运行时出现类型相关的问题。类型安全的边界是在大型项目中保持稳定性的关键。
基础用法：泛型在函数、接口和类中的应用
泛型函数的定义
通过在函数名后面跟一个类型参数来实现泛型函数，参数化的类型在调用时被具体化，从而实现对不同类型的处理。
下面给出一个最常见的泛型示例，身份函数identity
function identity(arg: T): T {return arg;
} 在调用时，TypeScript 可以根据传入的参数自动推断
泛型接口与泛型类
泛型不仅限于函数，接口和类也能泛型化，从而定义可复用的数据结构和行为抽象。
例如，定义一个简单的栈结构，栈的元素类型由泛型参数 T 决定，能够适配多种数据类型。
interface Stack {push(item: T): void;pop(): T | undefined;peek(): T | undefined;
}
class ArrayStack implements Stack {private items: T[] = [];push(item: T) { this.items.push(item); }pop(): T | undefined { return this.items.pop(); }peek(): T | undefined { return this.items[this.items.length - 1]; }
} 常见场景与实战案例
对数组和集合的泛型函数
处理集合数据时，泛型函数可以保持元素类型的一致性，避免在不同集合之间频繁进行强制类型转换。
一个常用的场景是对数组进行转换或筛选，使用泛型函数可以实现通用逻辑。
function mapArray(arr: T[], fn: (t: T) => U): U[] {return arr.map(fn);
}
const nums = [1, 2, 3];
const squares = mapArray(nums, n => n * n); 在上面的代码中，T 与 U分别表示输入与输出的类型，调用时保持了类型信息的完整性。
通用工厂与包装器
工厂函数通过泛型来实现对不同类型对象的创建，工厂的返回类型与传入的构造参数紧密绑定，从而提升 API 的灵活性。
下面的模式展示了如何使用泛型作为工厂函数的返回类型标记。
function createInstance(c: new () => T): T {return new c();
}
class User { constructor(public name: string) {} }
const user = createInstance(User); 高级技巧：约束、默认类型与工具类型
泛型约束与 extends
为泛型提供约束可以确保传入的类型具备某些属性或行为，extends 用于实现这类限制。
通过约束，我们可以在泛型内部安全地访问特定属性，避免运行时错误的出现。
interface HasLength {length: number;
}
function logLength(arg: T): void {console.log(arg.length);
}
logLength([1, 2, 3]); // 正常
// logLength(123); // 编译错误
键名和值映射：keyof 与索引访问
利用 keyof 和索引类型查询，可以实现更灵活的类型推断与安全访问。
这类模式在实现通用的对象访问工具、表单数据处理等场景非常常见。
function getProperty(obj: T, key: K): T[K] {return obj[key];
}
const person = { name: 'Alice', age: 30 };
const name = getProperty(person, 'name'); // 类型为 string
条件类型与分发：泛型逻辑的高级表达
条件类型允许根据类型的分布情况，选择不同的类型分支，实现编译期的类型推断分支。
通过 infer 关键词，可以从复杂类型中推断中间类型，进一步包装或提取类型信息。
type PromiseType = T extends Promise ? U : T;type A = Promise; // string
type B = Promise; // number[]
在前端架构中的实战应用
React 组件的泛型 Props
在前端 UI 组件库中，组件 Props 的泛型化能够实现高度可复用的组件。
通过将 data 或 event 的类型参数化，组件可以适配不同的数据模型，且保持完整的类型推断。
type Props = {value: T;onChange: (v: T) => void;
};
function Input(props: Props): JSX.Element {// 示例实现，实际自定义输入需要依据框架进行调整return props.onChange((e.target as any).value as unknown as T)} />;
}
综合场景：把泛型组合成可扩展的 API
通过将泛型与条件类型、映射类型等工具类型结合，可以构建通用而可扩展的 API，如通用数据仓库、表单处理工厂、以及跨类型的事件总线等。
这种设计模式能够在后续迭代中保持类型的准确性，同时降低重复实现的工作量。
type ApiResponse = {success: boolean;data: T;error?: string;
};
function wrapResponse(data: T): ApiResponse {return { success: true, data };
}
