runtime-type-reconstruction

了解如何在运行时重建类型

概述

TypeScript 类型会在运行时被擦除，但有时你需要验证运行时数据是否符合你的类型。使用 io-ts、zod 或 runtypes 等库来定义架构，同时提供运行时验证和静态类型。这样可以确保类型与实际数据相符。

何时使用此技能

• 在运行时验证数据
• 以类型安全的方式解析 JSON
• 类型需要运行时检查
• 使用 io-ts、zod 或 runtypes
• 构建验证架构

铁律

使用 zod 或 io-ts 等验证库，从单一事实来源同时获得运行时验证和 TypeScript 类型。

使用 Zod 的示例

import { z } from 'zod';

// Define schema once
const UserSchema = z.object({
  id: z.string(),
  name: z.string(),
  email: z.string().email(),
  age: z.number().optional(),
});

// Get TypeScript type from schema
type User = z.infer<typeof UserSchema>;

// Runtime validation
const result = UserSchema.safeParse(unknownData);
if (result.success) {
  // result.data is typed as User
  console.log(result.data.name);
} else {
  console.error(result.error);
}

参考资料

• Dan Vanderkam 著《Effective TypeScript》第 2 版
• 条目 74：了解如何在运行时重建类型