1. 泛型:让类型像变量一样灵活
泛型是TypeScript中最强大的武器之一,它允许我们创建可复用的类型组件。想象一下,你有个盒子,可以放任何东西——字符串、数字、甚至自定义对象。泛型就是这个"魔法盒子"的类型定义方式。
我在重构公司旧项目时,曾遇到一个典型场景:需要处理多种API返回格式。原始代码为每种响应都写了单独的类型,导致大量重复。用泛型改造后,代码量减少了40%:
// 改造前 interface UserResponse { success: boolean; data: User; } interface ProductResponse { success: boolean; data: Product; } // 改造后 interface ApiResponse<T> { success: boolean; data: T; } // 使用示例 const userResponse: ApiResponse<User> = await getUser(); const productResponse: ApiResponse<Product> = await getProduct();泛型约束是另一个实用技巧。比如我们想确保传入的对象必须有id属性:
interface HasId { id: string | number; } function logId<T extends HasId>(item: T): void { console.log(item.id); } // 正确使用 logId({ id: 123, name: 'Alice' }); // √ logId({ name: 'Bob' }); // × 编译时报错实际项目中,泛型与React组件配合特别有用。比如创建一个可复用的列表组件:
interface ListProps<T> { items: T[]; renderItem: (item: T) => React.ReactNode; } function GenericList<T>({ items, renderItem }: ListProps<T>) { return <div>{items.map(renderItem)}</div>; } // 使用示例 <GenericList items={users} renderItem={(user) => <UserCard key={user.id} {...user} />} />2. 类型操作符:像操作数据一样操作类型
TypeScript提供了一套完整的类型操作符,让我们能像处理普通数据一样处理类型。这就像有了类型系统的"瑞士军刀"。
keyof操作符是我在开发表单验证器时发现的宝藏。它能自动获取对象所有键的联合类型:
interface UserForm { username: string; password: string; email: string; } type FormFields = keyof UserForm; // "username" | "password" | "email" function validateField(field: FormFields, value: string) { // 字段名自动提示且类型安全 console.log(`Validating ${field}: ${value}`); }typeof在需要根据已有变量创建类型时特别有用。有次我需要同步前端配置对象和后端类型定义:
const config = { apiUrl: 'https://api.example.com', timeout: 5000, retries: 3 }; type Config = typeof config; /* 等效于: type Config = { apiUrl: string; timeout: number; retries: number; } */条件类型(Conditional Types)让类型系统具备了逻辑判断能力。我在开发国际化系统时用它处理多语言类型:
type Locale = 'en' | 'zh' | 'ja'; type Translations<T> = T extends 'en' ? { hello: string } : T extends 'zh' ? { 你好: string } : { こんにちは: string }; function getTranslation<T extends Locale>(locale: T): Translations<T> { // 实现略 } const en = getTranslation('en'); // { hello: string } const zh = getTranslation('zh'); // { 你好: string }3. 类型推断与断言:与编译器对话的技巧
TypeScript的类型推断非常智能,但有时我们需要明确告诉编译器我们的意图。这就像和编译器进行一场专业对话。
类型断言在DOM操作中必不可少。有次我需要在React中集成第三方图表库:
const chartContainer = document.getElementById('chart') as HTMLDivElement; const chart = new ThirdPartyChart(chartContainer); // 更安全的做法是先检查 if (chartContainer instanceof HTMLDivElement) { const chart = new ThirdPartyChart(chartContainer); }**非空断言操作符(!)**要慎用,但在某些场景下确实能简化代码。比如处理已知存在的环境变量:
// 传统写法 const apiKey = process.env.API_KEY; if (!apiKey) throw new Error('API_KEY is missing'); // 使用非空断言(确保环境变量确实存在) const apiKey = process.env.API_KEY!;const断言是2025年更流行的写法,它能锁定字面量的精确类型:
// 普通声明 const colors = ['red', 'green', 'blue']; // string[] // const断言 const colors = ['red', 'green', 'blue'] as const; // readonly ["red", "green", "blue"] // 应用场景 function getColor(index: 0 | 1 | 2) { return colors[index]; }4. 实用类型工具:TypeScript的标准库武器
TypeScript内置了大量实用类型,就像JavaScript有Array.map一样自然。掌握它们能极大提升开发效率。
Partial和Required是我在开发表单编辑功能时的救星:
interface User { id: string; name: string; email?: string; } // 创建用户时需要所有必填字段 function createUser(user: Required<User>) { // ... } // 更新用户时允许部分字段 function updateUser(id: string, changes: Partial<User>) { // ... }Pick和Omit让类型组合变得轻松。在开发API客户端时,我经常需要创建不同的DTO类型:
interface FullUser { id: string; name: string; email: string; password: string; createdAt: Date; } // 公开的用户信息 type PublicUser = Omit<FullUser, 'password' | 'email'>; // 登录需要的字段 type LoginCredentials = Pick<FullUser, 'email' | 'password'>;Record类型特别适合处理动态键的对象。在开发配置系统时:
type FeatureFlags = Record<string, boolean>; const flags: FeatureFlags = { darkMode: true, newDashboard: false, experimentalAPI: true }; function isFeatureEnabled(name: string): boolean { return flags[name] ?? false; }5. 模板字面量类型:字符串类型的终极进化
2025年最让我兴奋的特性之一就是模板字面量类型。它让字符串类型具备了模式匹配能力。
在开发路由系统时,我用它实现了类型安全的路由参数解析:
type ExtractParams<Path extends string> = Path extends `${string}/:${infer Param}/${string}` ? Param : never; type BlogPath = '/posts/:postId/comments/:commentId'; type Params = ExtractParams<BlogPath>; // "postId" | "commentId"结合联合类型可以创建强大的验证系统。比如验证CSS单位:
type CssUnit = 'px' | 'em' | 'rem' | '%'; type CssValue = `${number}${CssUnit}`; function setHeight(value: CssValue) { document.body.style.height = value; } setHeight('100px'); // √ setHeight('10vw'); // × 编译时报错国际化键名验证是另一个实用场景:
type Lang = 'en' | 'zh'; type MessageKey = `${Lang}.${string}`; const messages: Record<MessageKey, string> = { 'en.welcome': 'Welcome', 'zh.welcome': '欢迎', // 'fr.hello': 'Bonjour' // × 类型错误 };6. 类型编程实战:从理论到生产
真正的类型高手能把类型系统变成活的文档。我在最近的项目中建立了完整的类型安全层。
API响应类型是类型系统的核心战场。我们团队现在使用这样的模式:
type ApiResponse<T> = | { status: 'success'; data: T } | { status: 'error'; code: number; message: string }; async function fetchUser(id: string): Promise<ApiResponse<User>> { try { const response = await axios.get(`/users/${id}`); return { status: 'success', data: response.data }; } catch (error) { return { status: 'error', code: error.response?.status || 500, message: error.message }; } } // 使用时 const result = await fetchUser('123'); if (result.status === 'success') { console.log(result.data.name); // 类型安全 } else { console.error(result.message); // 错误处理 }Redux状态管理也能从高级类型中获益。我们创建了类型安全的action创建器:
type ActionMap = { ADD_TODO: { text: string }; REMOVE_TODO: { id: number }; TOGGLE_TODO: { id: number }; }; function createAction<K extends keyof ActionMap>( type: K, payload: ActionMap[K] ) { return { type, payload }; } // 使用示例 const addTodo = createAction('ADD_TODO', { text: 'Learn TypeScript' }); const removeTodo = createAction('REMOVE_TODO', { id: 123 }); // const invalid = createAction('ADD_TODO', { id: 123 }); // × 类型错误数据库实体类型是另一个重要应用。我们使用泛型实现基础实体类型:
interface BaseEntity<T extends string> { id: string; type: T; createdAt: Date; updatedAt: Date; } interface UserEntity extends BaseEntity<'user'> { name: string; email: string; } interface ProductEntity extends BaseEntity<'product'> { name: string; price: number; } function logEntity<E extends BaseEntity<string>>(entity: E) { console.log(`[${entity.type}] ${entity.id}`); }