Django REST Framework 3.15中DjangoModelPermissionsOrAnonReadOnly权限的变更分析
在Django REST Framework 3.15版本中,开发者发现了一个关于DjangoModelPermissionsOrAnonReadOnly权限类的行为变更问题。这个权限类原本设计用于允许匿名用户进行只读访问,但在3.15版本中却意外地开始要求模型上的"view"权限,导致原有功能失效。
问题本质
DjangoModelPermissionsOrAnonReadOnly是DRF提供的一个常用权限类,它继承自DjangoModelPermissions。在3.15版本之前,这个类允许匿名用户执行GET和HEAD请求(即只读访问),而对其他HTTP方法则要求用户认证并拥有相应权限。
问题的根源在于3.15版本中DjangoModelPermissions类引入了对Django模型"view"权限的检查。由于DjangoModelPermissionsOrAnonReadOnly继承了这个行为,导致匿名用户在尝试读取数据时也被要求拥有"view"权限,这显然与设计初衷相违背。
技术背景
Django在2.1版本中引入了模型的"view"权限(即view_modelname),这是对传统CRUD权限(add/change/delete)的补充。DRF的权限系统早于这一变更,因此在处理"view"权限时需要考虑向后兼容性。
在DRF的权限系统中,perms_map字典定义了HTTP方法与所需权限的映射关系。DjangoModelPermissions默认将GET/HEAD/OPTIONS映射到"view"权限,而DjangoModelPermissionsOrAnonReadOnly本应覆盖这一行为。
解决方案探讨
针对这一问题,社区提出了几种可能的解决方案:
-
完全回退:在3.15.1版本中回退相关变更,恢复3.14及之前版本的行为。这是最保守的方案,确保现有项目不受影响。
-
调整权限映射:修改
DjangoModelPermissionsOrAnonReadOnly的perms_map,明确将GET和HEAD方法映射为空列表,同时设置authenticated_users_only = False。 -
组合权限方案:推荐开发者使用权限组合(如
DjangoModelPermissions | ReadOnly)来实现类似功能,这提供了更大的灵活性。
从稳定性和向后兼容性角度考虑,第一种方案(完全回退)被项目维护者认为是最合适的短期解决方案。长期来看,可能需要重新设计权限系统以更好地处理Django的"view"权限。
开发者应对策略
对于正在使用或计划使用DjangoModelPermissionsOrAnonReadOnly的开发者,建议采取以下措施:
-
如果升级到DRF 3.15后发现匿名访问失效,可以暂时降级到3.14版本等待修复。
-
考虑实现自定义权限类,结合
BasePermission和DjangoModelPermissions来精确控制访问权限。 -
对于新项目,可以评估是否真的需要匿名只读访问,或者是否应该使用更明确的权限控制策略。
总结
权限系统是Web框架中最敏感的部分之一,任何变更都可能对现有应用产生深远影响。DRF 3.15中的这一变更提醒我们,在引入新功能时需要更加谨慎地考虑向后兼容性,特别是当涉及到权限和安全相关的功能时。
开发者在使用框架提供的权限类时,应该充分理解其行为机制,并在升级框架版本后对权限系统进行充分测试,确保应用的安全访问控制仍然按预期工作。
kernelopenEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。C042
MiniMax-M2.1从多语言软件开发自动化到复杂多步骤办公流程执行,MiniMax-M2.1 助力开发者构建下一代自主应用——全程保持完全透明、可控且易于获取。Python00
kylin-wayland-compositorkylin-wayland-compositor或kylin-wlcom(以下简称kywc)是一个基于wlroots编写的wayland合成器。 目前积极开发中,并作为默认显示服务器随openKylin系统发布。 该项目使用开源协议GPL-1.0-or-later,项目中来源于其他开源项目的文件或代码片段遵守原开源协议要求。C01
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提供零码、低码可视化开发和工作流编排,模型、知识库、插件等各资源管理能力TSX0121
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00