TypeScript Academy · 课时

zod/valibot 模式与类型推断

Q: 「zod/valibot 模式与类型推断」这节课中我会学到什么？

使用模式验证不受信任的数据；直接从验证器推断 TS 类型；比较 zod 和 valibot；并将其接入处理程序。 你通过在浏览器中直接运行的动手代码来练习 TypeScript Academy，全天候 AI 导师会在你学习这节课的过程中回答你的问题。

使用模式验证不受信任的数据；直接从验证器推断 TS 类型；比较 zod 和 valibot；并将其接入处理程序。

第 1 / 2 课8 个步骤

zod/valibot 模式与类型推断 是 CoddyKit 上的免费 TypeScript Academy 课时。这是第 1 节课，共 2 节。你可以在下方免费阅读本课时的完整内容 — 然后在浏览器中使用内置代码编辑器和全天候 AI 导师进行实践。这是 TypeScript Academy 学习路径的一部分，你的进度在网页和 CoddyKit 应用中同步。 TypeScript Academy 课程共包含 2 节课。

简介

目标：将外部输入视为未知类型，使用模式进行验证，并从该模式推断 TS 类型。您将使用 Zod，了解 Valibot 语法，并为处理器创建一个小型辅助函数。

唯一可信来源
safeParse 与 parse 的区别
复用推断出的类型

zod 类型推断

只定义一次模式。type User = z.infer<typeof userSchema> 会完全对应验证规则。

import { z } from "zod"

export const userSchema = z.object({
  id: z.string().uuid(),
  name: z.string().min(1),
  age: z.number().int().min(0).optional()
})

export type User = z.infer<typeof userSchema>

// User is kept in sync with runtime rules.

safeParse 与 parse

safeParse 会返回成功或失败的结果而不会抛出错误，非常适合 HTTP 处理器；parse 则会在输入无效时抛出错误。

import type { Request, Response } from "express"
import { userSchema, type User } from "./schema"

export function createUser(req: Request, res: Response<User | { error: string; issues?: unknown }>) {
  const r = userSchema.safeParse(req.body)
  if (!r.success) {
    return res.status(400).json({ error: "Invalid body", issues: r.error.format() })
  }
  const user = r.data
  return res.status(201).json(user)
}

// parse() throws; safeParse() returns a discriminated union

valibot 类型推断

Valibot 提供了一种简洁的验证器，并支持 Infer<typeof schema>。请选择一个库，并在团队中统一使用。

import { object, string, number, optional, minLength, uuid, minValue } from "valibot"
import type { Infer } from "valibot"

export const VUser = object({
  id: string([uuid()]),
  name: string([minLength(1)]),
  age: optional(number([minValue(0)]))
})

export type VUserT = Infer<typeof VUser>

// Similar idea: one schema, inferred type.

验证辅助函数

将解析封装在一个小型辅助函数中，让处理器获得简单的 { ok,data } 或 { ok:false,issues } 结构。

import { ZodTypeAny } from "zod"

export function validate<T extends ZodTypeAny, Out = unknown>(schema: T, value: unknown, onError?: (issues: unknown) => never | void): { ok: true; data: Out } | { ok: false; issues: unknown } {
  const r = schema.safeParse(value)
  if (!r.success) {
    const issues = r.error.format()
    if (onError) onError(issues as unknown as never)
    return { ok: false, issues }
  }
  return { ok: true, data: r.data as unknown as Out }
}

提示

提示：

将模式放在边界附近（HTTP、CLI、数据库输入/输出）。
推断类型并导出它们，避免手写重复定义。
返回带有问题详情的 400 响应；永远不要信任客户端输入。

类型推断收益检查

快速检查：为什么要从模式中推断类型？

在交互式课程中回答

回顾

回顾：使用 Zod/Valibot 验证未知输入，使用 safeParse，并推断类型，以保持编译时和运行时的一致。

免费开始

用 AI 导师学习 TypeScript — 免费

在浏览器中编写并运行真实代码，获得全天候 AI 导师的即时帮助，并在网页或应用中继续学习。

课程: 101
课程: 352

免费开始学习查看完整课程

常见问题解答

「zod/valibot 模式与类型推断」课时是免费的吗？

是的 — 「zod/valibot 模式与类型推断」的完整文本可在网页上免费阅读。要进行交互式练习（内置代码编辑器和全天候 AI 导师）并解锁 TypeScript Academy 课程的其余内容，请升级到 CoddyKit PRO。 TypeScript Academy 课程共包含 2 节课。

「zod/valibot 模式与类型推断」这节课中我会学到什么？

使用模式验证不受信任的数据；直接从验证器推断 TS 类型；比较 zod 和 valibot；并将其接入处理程序。你通过在浏览器中直接运行的动手代码来练习 TypeScript Academy，全天候 AI 导师会在你学习这节课的过程中回答你的问题。

学习 TypeScript Academy 需要有经验吗？

无需任何先前经验。CoddyKit 上的 TypeScript Academy 课程适合初学者到高级学习者，你可以从这里开始或从头开始，按照自己的节奏学习。这是第 1 节课，共 2 节。

「zod/valibot 模式与类型推断」课时需要多长时间？

大多数 CoddyKit 课程大约需要 5–10 分钟。每节课都很精短且互动，所以你能稳步进步，并在网页和应用中从离开的地方继续。

我能在这节 TypeScript Academy 课中编写并运行代码吗？

能。每节 TypeScript Academy 课都包含内置代码编辑器，你可以在浏览器中直接编写并运行真实代码，并获得即时 AI 反馈 — 无需本地设置。

此课程中的所有课时

zod/valibot 模式与类型推断
防御式解析与错误信封

← 返回 TypeScript Academy