Valibot 中异步自定义验证函数的序列化问题解析
2025-05-30 10:59:07作者:劳婵绚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 构建健壮的验证逻辑。
登录后查看全文
热门项目推荐
相关项目推荐
kernelopenEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。C081
baihu-dataset异构数据集“白虎”正式开源——首批开放10w+条真实机器人动作数据,构建具身智能标准化训练基座。00
mindquantumMindQuantum is a general software library supporting the development of applications for quantum computation.Python056
PaddleOCR-VLPaddleOCR-VL 是一款顶尖且资源高效的文档解析专用模型。其核心组件为 PaddleOCR-VL-0.9B,这是一款精简却功能强大的视觉语言模型(VLM)。该模型融合了 NaViT 风格的动态分辨率视觉编码器与 ERNIE-4.5-0.3B 语言模型,可实现精准的元素识别。Python00
GLM-4.7GLM-4.7上线并开源。新版本面向Coding场景强化了编码能力、长程任务规划与工具协同,并在多项主流公开基准测试中取得开源模型中的领先表现。 目前,GLM-4.7已通过BigModel.cn提供API,并在z.ai全栈开发模式中上线Skills模块,支持多模态任务的统一规划与协作。Jinja00
agent-studioopenJiuwen agent-studio提供零码、低码可视化开发和工作流编排,模型、知识库、插件等各资源管理能力TSX0135
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00
项目优选
收起
deepin linux kernel
C
27
11
OpenHarmony documentation | OpenHarmony开发者文档
Dockerfile
466
3.47 K
openEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。
C
201
81
Nop Platform 2.0是基于可逆计算理论实现的采用面向语言编程范式的新一代低代码开发平台,包含基于全新原理从零开始研发的GraphQL引擎、ORM引擎、工作流引擎、报表引擎、规则引擎、批处理引引擎等完整设计。nop-entropy是它的后端部分,采用java语言实现,可选择集成Spring框架或者Quarkus框架。中小企业可以免费商用
Java
10
1
🔥LeetCode solutions in any programming language | 多种编程语言实现 LeetCode、《剑指 Offer(第 2 版)》、《程序员面试金典(第 6 版)》题解
Java
65
19
暂无简介
Dart
715
172
喝着茶写代码!最易用的自托管一站式代码托管平台,包含Git托管,代码审查,团队协作,软件包和CI/CD。
Go
23
0
本项目是CANN提供的数学类基础计算算子库,实现网络在NPU上加速计算。
C++
846
427
Ascend Extension for PyTorch
Python
275
311
🎉 (RuoYi)官方仓库 基于SpringBoot,Spring Security,JWT,Vue3 & Vite、Element Plus 的前后端分离权限管理系统
Vue
1.26 K
694