TypeScript 泛型编程完全指南

什么是泛型？

泛型允许我们创建可重用的组件，支持多种数据类型，同时保持类型安全。

基础语法

// 泛型函数
function identity<T>(arg: T): T {
  return arg;
}

identity<string>("hello");
identity<number>(42);

// 泛型接口
interface Box<T> {
  value: T;
  getValue(): T;
}

// 泛型类
class Stack<T> {
  private items: T[] = [];
  
  push(item: T) {
    this.items.push(item);
  }
  
  pop(): T | undefined {
    return this.items.pop();
  }
}

泛型约束

// 限制泛型必须有 length 属性
interface Lengthwise {
  length: number;
}

function logLength<T extends Lengthwise>(arg: T): void {
  console.log(arg.length);
}

logLength("hello"); // ✅
logLength([1, 2, 3]); // ✅
logLength(123); // ❌

实用场景

1. API 响应包装

interface ApiResponse<T> {
  data: T;
  status: number;
  message: string;
}

2. 工具类型

type Nullable<T> = T | null;
type ArrayOrSingle<T> = T | T[];

3. 映射类型

type Readonly<T> = {
  readonly [P in keyof T]: T[P];
};

最佳实践

• 使用有意义的泛型参数名（T, K, V）
• 添加适当的约束
• 避免过度使用泛型

泛型是 TypeScript 强大类型系统的核心，掌握它能写出更灵活、更安全的代码。