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 构建健壮的验证逻辑。
登录后查看全文
热门项目推荐
相关项目推荐
GLM-5智谱 AI 正式发布 GLM-5,旨在应对复杂系统工程和长时域智能体任务。Jinja00
GLM-5.1GLM-5.1是智谱迄今最智能的旗舰模型,也是目前全球最强的开源模型。GLM-5.1大大提高了代码能力,在完成长程任务方面提升尤为显著。和此前分钟级交互的模型不同,它能够在一次任务中独立、持续工作超过8小时,期间自主规划、执行、自我进化,最终交付完整的工程级成果。Jinja00
MiniMax-M2.7MiniMax-M2.7 是我们首个深度参与自身进化过程的模型。M2.7 具备构建复杂智能体应用框架的能力,能够借助智能体团队、复杂技能以及动态工具搜索,完成高度精细的生产力任务。Python00- QQwen3.5-397B-A17BQwen3.5 实现了重大飞跃,整合了多模态学习、架构效率、强化学习规模以及全球可访问性等方面的突破性进展,旨在为开发者和企业赋予前所未有的能力与效率。Jinja00
HY-Embodied-0.5这是一套专为现实世界具身智能打造的基础模型。该系列模型采用创新的混合Transformer(Mixture-of-Transformers, MoT) 架构,通过潜在令牌实现模态特异性计算,显著提升了细粒度感知能力。Jinja00
LongCat-AudioDiT-1BLongCat-AudioDiT 是一款基于扩散模型的文本转语音(TTS)模型,代表了当前该领域的最高水平(SOTA),它直接在波形潜空间中进行操作。00
热门内容推荐
项目优选
收起
deepin linux kernel
C
28
15
OpenHarmony documentation | OpenHarmony开发者文档
Dockerfile
663
4.27 K
🎉 (RuoYi)官方仓库 基于SpringBoot,Spring Security,JWT,Vue3 & Vite、Element Plus 的前后端分离权限管理系统
Vue
1.54 K
895
Ascend Extension for PyTorch
Python
505
610
openEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。
C
392
290
暂无简介
Dart
909
219
🔥LeetCode solutions in any programming language | 多种编程语言实现 LeetCode、《剑指 Offer(第 2 版)》、《程序员面试金典(第 6 版)》题解
Java
69
21
昇腾LLM分布式训练框架
Python
142
168
本项目是CANN提供的数学类基础计算算子库,实现网络在NPU上加速计算。
C++
940
867
🍒 Cherry Studio 是一款支持多个 LLM 提供商的桌面客户端
TypeScript
1.33 K
108