Valibot 中异步自定义验证函数的序列化问题解析
2025-05-30 23:50:21作者:劳婵绚Shirley
在 Valibot 这个强大的 TypeScript 模式验证库中,开发者经常会遇到需要实现异步自定义验证逻辑的场景。本文将通过一个典型的使用案例,深入分析异步验证函数的序列化问题及其解决方案。
异步验证的典型场景
在用户注册表单验证中,我们通常需要检查邮箱的唯一性。Valibot 提供了 customAsync 验证器来实现这一需求:
export const insertUserSchema = objectAsync({
email: stringAsync([
email(),
customAsync(uniqueEmail, 'Email Adresse schon vorhanden')
]),
// 其他字段...
});
其中 uniqueEmail 是一个异步验证函数,它会查询数据库检查邮箱是否已存在:
export const uniqueEmail = async (email: string): Promise<boolean> => {
const result = await db.query.userTable.findFirst({
where: (userTable, { eq }) => eq(userTable.email, email)
});
return !result;
};
问题现象
当使用 safeParseAsync 进行验证并处理错误时,开发者可能会尝试将验证错误对象直接返回给客户端:
const parsedValues = await safeParseAsync(schema, formValues);
if (!parsedValues.success) {
return fail(403, { issues: parsedValues.issues });
}
这时会遇到序列化错误,因为验证错误对象中的 requirement 属性保留了原始的验证函数:
{
reason: 'string',
validation: 'custom',
message: 'Email Adresse schon vorhanden',
input: 'xxxxxx',
requirement: [AsyncFunction (anonymous)], // 无法序列化的函数
// ...
}
问题本质
这种现象是 Valibot 的预期行为。验证错误对象中的 requirement 属性始终保存着原始的验证条件:
- 对于
email验证,它是正则表达式 - 对于
custom验证,它就是开发者传入的验证函数
这不是一个 bug,而是设计如此,因为 Valibot 需要完整保留验证的上下文信息。
解决方案
方案一:过滤非序列化属性
最简单的解决方案是在返回给客户端前过滤掉函数属性:
const formatValidationIssues = (issues: Issue[]) => {
return issues.map(({ requirement, skipPipe, ...rest }) => rest);
};
方案二:使用 Valibot 的 flatten 方法
Valibot 提供了内置的 flatten 方法来格式化验证错误:
import { flatten } from 'valibot';
const formattedErrors = flatten(parsedValues.error);
方案三:仅返回必要信息
最佳实践是只返回客户端真正需要的信息,通常是错误消息和路径:
const simplifiedIssues = parsedValues.issues.map(issue => ({
path: issue.path,
message: issue.message
}));
进阶建议
对于需要在客户端和服务端共享但又有差异的验证逻辑,可以采用以下模式:
- 定义基础模式(客户端和服务端共用)
- 在服务端扩展添加服务端特有的验证
// 基础模式(客户端和服务端共用)
const baseUserSchema = objectAsync({
username: string([/* 客户端验证规则 */]),
// ...
});
// 服务端扩展模式
const serverUserSchema = mergeAsync([
baseUserSchema,
objectAsync({
email: stringAsync([email(), customAsync(uniqueEmail)])
})
]);
总结
Valibot 的验证错误对象设计保留了完整的验证上下文,这虽然会导致序列化问题,但也提供了最大的灵活性。开发者应当根据实际需求选择适当的错误格式化策略,而不是直接返回原始错误对象。理解这一设计理念,能够帮助开发者更好地利用 Valibot 构建健壮的验证逻辑。
登录后查看全文
热门项目推荐
相关项目推荐
atomcodeClaude Code 的开源替代方案。连接任意大模型,编辑代码,运行命令,自动验证 — 全自动执行。用 Rust 构建,极致性能。 | An open-source alternative to Claude Code. Connect any LLM, edit code, run commands, and verify changes — autonomously. Built in Rust for speed. Get StartedRust099- DDeepSeek-V4-ProDeepSeek-V4-Pro(总参数 1.6 万亿,激活 49B)面向复杂推理和高级编程任务,在代码竞赛、数学推理、Agent 工作流等场景表现优异,性能接近国际前沿闭源模型。Python00
MiMo-V2.5-ProMiMo-V2.5-Pro作为旗舰模型,擅⻓处理复杂Agent任务,单次任务可完成近千次⼯具调⽤与⼗余轮上 下⽂压缩。Python00
GLM-5.1GLM-5.1是智谱迄今最智能的旗舰模型,也是目前全球最强的开源模型。GLM-5.1大大提高了代码能力,在完成长程任务方面提升尤为显著。和此前分钟级交互的模型不同,它能够在一次任务中独立、持续工作超过8小时,期间自主规划、执行、自我进化,最终交付完整的工程级成果。Jinja00
Kimi-K2.6Kimi K2.6 是一款开源的原生多模态智能体模型,在长程编码、编码驱动设计、主动自主执行以及群体任务编排等实用能力方面实现了显著提升。Python00
MiniMax-M2.7MiniMax-M2.7 是我们首个深度参与自身进化过程的模型。M2.7 具备构建复杂智能体应用框架的能力,能够借助智能体团队、复杂技能以及动态工具搜索,完成高度精细的生产力任务。Python00
项目优选
收起
deepin linux kernel
C
28
16
Claude Code 的开源替代方案。连接任意大模型,编辑代码,运行命令,自动验证 — 全自动执行。用 Rust 构建,极致性能。 | An open-source alternative to Claude Code. Connect any LLM, edit code, run commands, and verify changes — autonomously. Built in Rust for speed.
Get Started
Rust
576
99
暂无描述
Dockerfile
710
4.51 K
本项目是CANN提供的数学类基础计算算子库,实现网络在NPU上加速计算。
C++
958
955
🎉 (RuoYi)官方仓库 基于SpringBoot,Spring Security,JWT,Vue3 & Vite、Element Plus 的前后端分离权限管理系统
Vue
1.61 K
942
Ascend Extension for PyTorch
Python
573
694
openEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。
C
414
339
🍒 Cherry Studio 是一款支持多个 LLM 提供商的桌面客户端
TypeScript
1.43 K
116
暂无简介
Dart
952
235
Nop Platform 2.0是基于可逆计算理论实现的采用面向语言编程范式的新一代低代码开发平台,包含基于全新原理从零开始研发的GraphQL引擎、ORM引擎、工作流引擎、报表引擎、规则引擎、批处理引引擎等完整设计。nop-entropy是它的后端部分,采用java语言实现,可选择集成Spring框架或者Quarkus框架。中小企业可以免费商用
Java
12
2