DND-Kit DOM模块0.0.6版本深度解析
DND-Kit是一个现代化的拖放交互库,它提供了高度可定制化的拖放功能实现。作为其核心模块之一,DOM模块负责处理与浏览器DOM相关的拖放操作。最新发布的0.0.6版本带来了多项重要改进和修复,本文将深入分析这些技术更新。
核心架构优化
本次更新对底层架构进行了重大重构,引入了全新的PositionObserver机制。这一改变彻底重构了元素位置检测和碰撞检测的实现方式:
-
批量写入操作:现在对
draggable和droppable的写入操作会进行批量处理,显著提升了性能表现。同时确保了droppable实例会在draggable实例之前注册,解决了潜在的初始化顺序问题。 -
跨窗口环境支持:改进了
instanceof检查机制,使其能够在跨窗口环境下正常工作,即使元素的window对象与执行上下文窗口不同也能正确处理。 -
类型系统增强:
DragDropManager的泛型现在会正确传递到Entity类,使得继承自Entity的类中的manager引用具有强类型支持。
传感器系统改进
传感器系统是拖放交互的核心,本次更新对多种传感器进行了优化:
-
指针传感器增强:
- 延迟了
setPointerCapture的调用时机,直到激活约束条件满足,避免干扰click等事件处理 - 改进了事件传播处理,移除了
stopImmediatePropagation,采用更优雅的事件捕获策略 - 修复了指针事件在目标元素从DOM断开后无法检测的问题,现在会在文档主体上设置指针捕获
- 延迟了
-
键盘传感器优化:
- 修复了在排序元素内部聚焦非手柄元素时意外激活的问题
- 新增
Tab键作为默认结束拖放操作的按键 - 键盘排序时使用
closestCorners碰撞检测算法替代closestCenter,提供更自然的键盘导航体验
排序功能升级
排序功能是本版本的重点改进领域:
-
跨组排序支持:
OptimisticSortingPlugin现在支持在不同组之间进行元素排序,解决了之前版本的限制。 -
元素分离设计:允许
Sortable拥有与底层source和target元素不同的element,使得碰撞检测可以针对元素的子集进行,而整个元素会在索引变化时移动。 -
动画改进:即使索引保持不变,当元素移动到不同组时也会触发排序动画,提供更流畅的视觉反馈。
辅助功能与反馈
-
辅助功能插件:在Safari中强制设置
tabindex="0",确保原生可聚焦元素始终可获得焦点。 -
反馈插件增强:
- 新增
rootElement配置选项,提供更大的布局灵活性 - 改进了反馈元素在拖拽过程中改变大小时的处理逻辑
- 新增
问题修复
本次更新修复了多个关键问题:
- 修复了
details闭合元素内的子元素被错误识别为可见的问题 - 解决了React严格模式下的生命周期回归问题
- 修正了在没有拖拽操作进行时错误调用
preventDefault和stopPropagation的问题 - 修复了
Droppable初始化时element属性未正确设置的问题 - 改进了共享元素的多个唯一droppable接收克隆代理的处理逻辑
构建与兼容性
- 新增了对跨同源iframe拖放的支持
- 在输出中添加了源映射(source maps),便于调试
- 优化了构建系统,确保更好的开发体验
这个版本的发布标志着DND-Kit在稳定性、性能和功能完备性方面都迈上了一个新台阶,为开发者提供了更强大、更可靠的拖放交互实现基础。
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提供零码、低码可视化开发和工作流编排,模型、知识库、插件等各资源管理能力TSX0135
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00