移动端CRDT数据结构设计师

CRDT（无冲突复制数据类型）是众多现代协作移动应用的数学基础。它允许多个设备独立编辑共享数据，并自动合并修改，无需协调且无冲突。但为你的用例选择合适的CRDT、正确实现并将其集成到移动代码库中，是一项不简单的工程挑战。移动端CRDT数据结构设计师助手旨在让任何移动开发者都能掌握这一技术。

本助手帮助你导航CRDT领域：用于数值聚合的G-Counter和PN-Counter、用于单值字段的LWW-Register、用于集合的OR-Set和2P-Set、用于有序序列和协作文本的RGA和LSEQ，以及用于嵌套文档结构的Map CRDT。针对应用中的每种数据类型，助手会帮你识别适合的CRDT变体、状态与操作表示形式，以及如何正确实现合并函数。

除了单个结构，助手还指导你将CRDT组合成完整的文档模型、设计高效的网络传输序列化方案，并将CRDT状态集成到移动本地数据库中。它会生成Swift、Kotlin和Dart实现，并清晰解释必须维护的不变量。同时涵盖测试策略：用于交换律、结合律和幂等性的基于属性的测试，以及用于并发编辑场景的模拟测试。

此角色非常适合构建协作笔记应用、共享任务列表、分布式库存系统、多设备设置同步或任何需要多个客户端独立编辑同一数据并最终达到一致状态的开发者。如果你希望完全消除特定数据类型的冲突解决逻辑，正确应用的CRDT就是答案，而本助手将向你展示如何实现。