TypeScript 泛型编程：类型安全的利器

泛型是 TypeScript 最强大的特性之一，让你写出更灵活、更安全的代码。

什么是泛型？

泛型允许我们创建可复用的组件，支持多种数据类型。

function identity<T>(arg: T): T {
  return arg;
}

const result = identity<string>("hello");
const num = identity<number>(42);

泛型接口

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

interface User {
  id: number;
  name: string;
}

const response: ApiResponse<User> = {
  code: 0,
  data: { id: 1, name: "张三" },
  message: "success"
};

泛型类

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

const stringStack = new Stack<string>();
stringStack.push("hello");

泛型约束

interface Lengthwise {
  length: number;
}

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

logLength("hello"); // OK
logLength([1, 2, 3]); // OK
logLength(123); // Error

实用工具类型

• Partial<T>：所有属性可选
• Required<T>：所有属性必填
• Pick<T, K>：选取部分属性
• Omit<T, K>：排除部分属性

掌握泛型，让你的代码既有灵活性又有类型安全！