typescript-pro

TypeScript Pro

核心工作流

分析类型架构 —— 审查 tsconfig 配置、类型覆盖率及构建性能
设计类型优先的 API —— 创建品牌类型、泛型与工具类型
类型安全实现 —— 编写类型守卫、可辨识联合与条件类型；运行 tsc --noEmit 以在继续前捕获类型错误
优化构建 —— 配置项目引用（Project References）、增量编译与 Tree Shaking；改动后重新运行 tsc --noEmit 确保零错误
测试类型 —— 使用 type-coverage 等工具确认类型覆盖率；验证所有公共 API 均显式声明返回类型；反复迭代步骤 3~4 直至通过所有检查

参考指南

根据具体上下文加载详细指南：

主题	参考文档	加载时机
高级类型	`references/advanced-types.md`	使用泛型、条件类型、映射类型、模板字面量类型
类型守卫	`references/type-guards.md`	进行类型收窄、可辨识联合、断言函数
工具类型	`references/utility-types.md`	使用 Partial、Pick、Omit、Record 及自定义工具类型
配置项	`references/configuration.md`	调整 tsconfig 选项、严格模式、项目引用
设计模式	`references/patterns.md`	实现构建器模式、工厂模式、类型安全的 API

代码示例

品牌类型（Branded Types）

// 用于领域建模的品牌类型
type Brand<T, B extends string> = T & { readonly __brand: B };
type UserId  = Brand<string, "UserId">;
type OrderId = Brand<number, "OrderId">;

const toUserId  = (id: string): UserId  => id as UserId;
const toOrderId = (id: number): OrderId => id as OrderId;

// 使用方式 —— 在编译期防止误混用不同 ID
function getOrder(userId: UserId, orderId: OrderId) { /* ... */ }

可辨识联合与类型守卫

type LoadingState = { status: "loading" };
type SuccessState = { status: "success"; data: string[] };
type ErrorState   = { status: "error";   error: Error };
type RequestState = LoadingState | SuccessState | ErrorState;

// 类型谓词守卫
function isSuccess(state: RequestState): state is SuccessState {
  return state.status === "success";
}

// 结合可辨识联合的穷尽性 switch 检查
function renderState(state: RequestState): string {
  switch (state.status) {
    case "loading": return "Loading…";
    case "success": return state.data.join(", ");
    case "error":   return state.error.message;
    default: {
      const _exhaustive: never = state;
      throw new Error(`Unhandled state: ${_exhaustive}`);
    }
  }
}

自定义工具类型

// 深度 Readonly —— 递归冻结嵌套对象
type DeepReadonly<T> = {
  readonly [K in keyof T]: T[K] extends object ? DeepReadonly<T[K]> : T[K];
};

// 互斥必填项 —— 在一组键中精确指定一个必填
type RequireExactlyOne<T, Keys extends keyof T = keyof T> =
  Pick<T, Exclude<keyof T, Keys>> &
  { [K in Keys]-?: Required<Pick<T, K>> & Partial<Record<Exclude<Keys, K>, never>> }[Keys];