TSED项目中FormData在中间件中无法访问的问题解析
背景介绍
在使用TSED框架处理文件上传时,开发者经常会遇到需要同时处理FormData中的文件和其他表单数据的情况。一个典型场景是前端通过FormData同时上传文件和其他JSON格式的数据。然而,在TSED的最新版本中,开发者发现了一个问题:在中间件中无法访问FormData中的非文件数据,而这些数据在控制器中却可以正常访问。
问题现象
当开发者使用FormData提交包含文件和其他数据的请求时,如果在中间件中使用@BodyParams装饰器尝试获取非文件数据,会得到undefined。但同样的装饰器在控制器方法中却能正常工作。这种行为在TSED 7.33.0版本中是正常的,但在7.75.0版本中出现了问题。
技术分析
这个问题实际上与TSED中间件的执行顺序有关。在TSED框架中,处理multipart/form-data请求的PlatformMulterMiddleware中间件需要先执行,才能正确解析FormData中的内容。然而,默认情况下,自定义中间件的优先级可能导致它在multer中间件之前执行,此时请求体尚未被解析。
解决方案
TSED提供了prioritary选项来控制中间件的执行顺序。通过为自定义中间件设置适当的优先级,可以确保它在multer中间件之后执行:
@Middleware({ prioritary: 11 })
export class TestBodyParamsMiddleware implements MiddlewareMethods {
public use(@BodyParams('list') list: string, @Next() next: Next) {
console.log('List', list);
next();
}
}
将优先级设置为11可以确保中间件在multer中间件之后执行,从而能够正确访问已解析的请求体数据。
处理JSON数据的技巧
当FormData中包含JSON字符串时,开发者可以使用自定义Pipe来简化处理:
@Injectable({
priority: -900
})
export class JsonPipe implements PipeMethods {
transform(value: string) {
return JSON.parse(value);
}
}
export function Json() {
return UsePipe(JsonPipe);
}
然后在控制器中这样使用:
@BodyParams("model") @Json() @Groups("create")
model: CarModelEntity
这个Pipe会自动将JSON字符串转换为对象,方便后续处理。
最佳实践建议
- 当处理multipart/form-data请求时,明确设置中间件的优先级
- 对于JSON数据,考虑使用自定义Pipe来简化转换逻辑
- 在文档中记录中间件的执行顺序,方便团队协作
- 对于复杂的表单处理,考虑使用拦截器(Interceptor)替代中间件
总结
TSED框架在处理multipart/form-data请求时的行为变化,反映了框架对中间件执行顺序控制的改进。通过理解中间件的优先级机制,开发者可以更灵活地控制请求处理流程。同时,利用TSED强大的装饰器和Pipe系统,可以构建出更清晰、更易维护的文件上传处理逻辑。
kernelopenEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。C085
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提供零码、低码可视化开发和工作流编排,模型、知识库、插件等各资源管理能力TSX0136
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00