RocksDB关联合并算子：列表增删操作是否违反设计预期？

这种实现完全违反了AssociativeMergeOperator的设计预期，核心原因如下：

• AssociativeMergeOperator的核心设计前提是合并操作必须满足结合律——简单来说，多个合并操作的执行顺序任意调换，最终合并后的结果必须一致。比如数值累加、取最大值这类操作就符合要求，不管操作顺序怎么变，最终结果都不会受影响。
• 而列表增删ID的操作（比如append(id=3)和remove(id=3)）完全不满足结合律：
  • 先执行append(id=3)再执行remove(id=3)，最终列表是空的；
  • 反过来先执行remove(id=3)再执行append(id=3)，最终列表会保留id=3。
    两种顺序得到的结果完全不同，直接违背了AssociativeMergeOperator的核心设计要求。

内容的提问来源于stack exchange，提问作者UnkemptPanda