TypeScript 高级技巧：提升代码类型安全

TypeScript 高级技巧：提升代码类型安全

常见误区

前端开发中常有人质疑 TypeScript 的价值。

• "JavaScript 就够了，为什么要用 TypeScript"——结果类型错误频发，调试困难。
• "TypeScript 太严格了，我写起来很麻烦"——结果代码质量差，维护困难。
• "我只在关键地方用 TypeScript，其他地方用 any"——结果失去了 TypeScript 的意义。

事实上，TypeScript 是提升代码质量的有效工具。

为什么需要它？

• 类型安全：在编译时发现类型错误
• 代码提示：提供更好的 IDE 智能提示
• 重构安全：重构代码时更加安全
• 可读性：代码更加清晰易懂
• 可维护性：减少运行时错误，提高代码可维护性

反面教材

// 反面教材：过度使用 any
function processData(data: any) {
  // 没有类型检查，容易出错
  return data.name.toUpperCase();
}

// 反面教材：类型定义不完整
interface User {
  id: number;
  name: string;
  // 缺少 email 等其他属性
}

// 反面教材：类型断言滥用
function getUser(id: number): User {
  // 不安全的类型断言
  return fetch(`/api/users/${id}`).then(res => res.json()) as unknown as User;
}

正确的做法

// 正确的做法：使用泛型
function identity<T>(arg: T): T {
  return arg;
}

// 使用泛型约束
interface Lengthwise {
  length: number;
}
function loggingIdentity<T extends Lengthwise>(arg: T): T {
  console.log(arg.length);
  return arg;
}

// 正确的做法：使用联合类型和类型守卫
type Shape = Circle | Square;
interface Circle {
  kind: 'circle';
  radius: number;
}
interface Square {
  kind: 'square';
  sideLength: number;
}
function getArea(shape: Shape): number {
  // 类型守卫
  if (shape.kind === 'circle') {
    return Math.PI * shape.radius ** 2;
  } else {
    return shape.sideLength ** 2;
  }
}

// 正确的做法：使用类型推断
const user = {
  id: 1,
  name: '张三',
  email: '[email protected]'
};
// TypeScript 会自动推断 user 的类型

// 正确的做法：使用映射类型
interface Person {
  name: string;
  age: number;
}
// 生成只读类型
type ReadonlyPerson = Readonly<Person>;
// 生成可选类型
type PartialPerson = Partial<Person>;
// 生成必填类型
type RequiredPerson = Required<PartialPerson>;

// 正确的做法：使用条件类型
// 提取 Promise 的返回类型
type UnwrapPromise<T> = T extends Promise<infer U> ? U : T;
// 测试
async function fetchData(): Promise<string> {
  return 'data';
}
// 类型会被推断为 string
let data: UnwrapPromise<ReturnType<typeof fetchData>>;

// 正确的做法：使用模板字面量类型
type EventName<T extends string> = `${T}Changed`;
type MouseEventName = EventName<'click' | 'mouseover' | 'mouseout'>;
// 类型为 'clickChanged' | 'mouseoverChanged' | 'mouseoutChanged'

// 正确的做法：使用类型别名和接口
// 类型别名
type UserID = number;
type UserName = string;
type Email = string;
// 接口
interface User {
  id: UserID;
  name: UserName;
  email: Email;
  createdAt: Date;
  updatedAt: Date;
}

// 正确的做法：使用枚举
enum Role {
  Admin = 'admin',
  User = 'user',
  Guest = 'guest'
}
function checkPermission(role: Role): boolean {
  return role === Role.Admin;
}

// 正确的做法：使用命名空间
namespace Validation {
  export interface StringValidator {
    isAcceptable(s: string): boolean;
  }
  const lettersRegexp = /^[A-Za-z]+$/;
  const numberRegexp = /^[0-9]+$/;
  export class LettersOnlyValidator implements StringValidator {
    isAcceptable(s: string): boolean {
      return lettersRegexp.test(s);
    }
  }
}