泛型在TypeScript中通过延迟类型指定提升代码复用性与类型安全。1. 使用T extends Lengthwise可约束泛型具备特定属性，确保访问.length等成员的安全性；2. 泛型接口如Result<T, E>能灵活表示不同类型的返回结果，避免重复定义接口；3. 泛型函数如reverse<T>(items: T[]): T[]可处理任意类型数组，实现算法通用化；4. 泛型类如Stack<T>构建可存储任意类型数据的通用数据结构；5. TypeScript类型推断能自动识别泛型参数，减少显式标注，简化调用代码。
泛型在TypeScript中就像一把瑞士军刀，能让你的代码更灵活、更安全，也更容易维护。它本质上是在定义函数、接口或类的时候，不预先指定具体的类型，而是允许在使用时再指定类型。
使用泛型，可以避免大量重复的代码，提高代码的复用性。
泛型类型约束：如何确保类型安全？
想象一下，你有一个函数，希望它只接受包含特定属性的对象。这时，泛型类型约束就派上用场了。你可以使用
extends
关键字来约束泛型的类型。
例如：
interface Lengthwise { length: number; } function loggingIdentity<T extends Lengthwise>(arg: T): T { console.log(arg.length); // 现在我们知道 arg 肯定有 .length 属性 return arg; } loggingIdentity({ value: 3, length: 10 }); // OK // loggingIdentity(3); // Error: Argument of type 'number' is not assignable to parameter of type 'Lengthwise'.
这里，
T extends Lengthwise
确保了传入的类型
T
必须包含
length
属性，从而保证了代码的类型安全。
泛型与接口：如何定义灵活的数据结构？
泛型接口允许你定义可以处理多种类型的灵活数据结构。例如，你可以创建一个泛型
Result
接口，用于表示操作的结果，其中包含成功时的值和失败时的错误信息。
interface Result<T, E> { success: boolean; data?: T; error?: E; } function processData(): Result<string, Error> { try { // 模拟一些操作 const data = "操作成功!"; return { success: true, data }; } catch (error) { return { success: false, error: new Error("操作失败") }; } } const result = processData(); if (result.success) { console.log("数据:", result.data); } else { console.error("错误:", result.error); }
通过使用泛型接口，你可以轻松地定义不同类型的
Result
对象，而无需为每种类型都编写单独的接口。
泛型函数：如何编写可复用的算法？
泛型函数允许你编写可以处理多种类型的算法，而无需为每种类型都编写单独的函数。例如，你可以编写一个泛型
reverse
函数，用于反转数组中的元素。
function reverse<T>(items: T[]): T[] { return [...items].reverse(); } const numbers = [1, 2, 3, 4, 5]; const reversedNumbers = reverse(numbers); // [5, 4, 3, 2, 1] const strings = ["a", "b", "c"]; const reversedStrings = reverse(strings); // ["c", "b", "a"]
这个
reverse
函数可以处理任何类型的数组，而无需进行任何修改。这大大提高了代码的复用性。
泛型类：如何构建通用的数据结构？
泛型类允许你创建可以存储和操作多种类型数据的通用数据结构。例如，你可以创建一个泛型
Stack
类，用于实现一个栈数据结构。
class Stack<T> { private items: T[] = []; push(item: T): void { this.items.push(item); } pop(): T | undefined { return this.items.pop(); } peek(): T | undefined { return this.items[this.items.length - 1]; } isEmpty(): boolean { return this.items.length === 0; } } const numberStack = new Stack<number>(); numberStack.push(1); numberStack.push(2); console.log(numberStack.pop()); // 2 const stringStack = new Stack<string>(); stringStack.push("hello"); stringStack.push("world"); console.log(stringStack.pop()); // world
通过使用泛型类，你可以创建适用于任何类型的栈，而无需为每种类型都编写单独的类。
泛型与类型推断：如何简化代码？
TypeScript 的类型推断系统可以自动推断泛型函数的类型参数，从而简化代码。例如，如果你调用一个泛型函数，并且 TypeScript 可以根据传入的参数推断出类型参数，那么你可以省略类型参数的显式指定。
function identity<T>(arg: T): T { return arg; } let myString = identity("hello"); // TypeScript 推断出 T 是 string let myNumber = identity(123); // TypeScript 推断出 T 是 number
类型推断可以减少代码的冗余，使代码更易于阅读和维护。