Fluid框架：SharedTree如何合并更改
内容提要
SharedTree是Fluid Framework中的一种数据结构，允许协同编辑层次化数据。它支持不同类型的节点，并使用合并语义来协调并发编辑。排序确定编辑的应用顺序，SharedTree从不将编辑建模为冲突。它允许移动和删除项目，并在冲突意图的情况下以最后一次写入为准。SharedTree还具有约束条件以确保更改的有效性。
延伸解读
SharedTree 与 Git 的合并哲学差异
文章通过 TODO 列表的例子对比了 SharedTree 和 Git 的合并方式。Git 仅通过 diff 理解更改，无法感知更改背后的意图，因此非平凡的合并往往需要人工干预。而 SharedTree 的编辑操作捕获了精确的意图，能够判断并发编辑是否兼容，并自动协调，无需人工解决冲突。这种差异体现了 SharedTree 为实时协作场景设计的初衷。
移动与删除的语义设计如何避免竞态
SharedTree 将移动实现为真正的移动而非复制，因此对项目的编辑在移动后仍然有效，无论编辑和移动的先后顺序。删除被视为移动到“已删除”状态，这样并发移动不会丢失。例如，Alice 删除整个数组，Bob 并发移动其中一项，Bob 的移动仍会生效。这种设计避免了因顺序不同而导致编辑丢失的竞态条件。
最后写入胜出原则的适用场景与影响
当并发编辑代表根本不相容的用户意图时，SharedTree 采用最后写入胜出原则。例如，Alice 和 Bob 同时将同一项目移动到不同位置，最终位置取决于编辑的排序顺序。由于删除被视为移动，即使涉及删除，最后排序的编辑也会决定最终状态。这一原则确保了确定性结果，但可能覆盖先前的编辑意图。
约束机制：保障树的有效性与应用不变式
SharedTree 使用基础约束确保每次更改后树符合其模式。此外，开发者可以添加额外约束来维护应用自身的不变式，例如防止删除被并发更改或移动的项目。文章提到该功能仍在开发中，并欢迎反馈。这为开发者提供了灵活性，但需注意其成熟度可能影响生产环境的使用。
Q&A
SharedTree是什么？
SharedTree是Fluid Framework中的一种数据结构，支持协同编辑层次化数据。
SharedTree支持哪些类型的节点？
SharedTree支持对象节点、映射节点、数组节点和叶子节点四种类型的节点。
如何处理并发编辑？
SharedTree通过合并语义按顺序应用有效的编辑，不将编辑视为冲突，而是根据最后写入胜出原则决定最终状态。
SharedTree的移动操作有什么特点？
SharedTree允许项目在树中移动，移动操作不会影响之前的编辑应用，确保编辑的有效性。
什么是最后写入胜出原则？
最后写入胜出原则指的是在并发编辑中，最后被序列化的编辑将决定最终状态。
SharedTree如何确保更改的有效性？
SharedTree使用约束条件确保更改的有效性，并允许开发者添加额外的约束。
