为何LevelDB WAL中begin标志定义为ptr==slice.data()而非left==slice.size()？

Status Writer::AddRecord(const Slice& slice) {
   RecordType type; 
    // Why not defined as left == slice.size();
    const bool begin = (ptr == slice.data());
    const bool end = (left == fragment_length);
    if (begin && end) {
      type = kFullType;
    } else if (begin) {
      type = kFirstType;
    } else if (end) {
      type = kLastType;
    } else {
      type = kMiddleType;
    }

}

问题 #

为何begin标志不定义为left == slice.size()？这种写法看起来更为简洁。

回答 #

虽然left == slice.size()在正常流程下和ptr == slice.data()的结果一致，但LevelDB选择后者有以下几个实际原因：

• 语义更直观：ptr == slice.data()直接表达“当前正在处理的是这个slice的起始位置”，完美对应begin标志“第一个片段”的含义。而left == slice.size()是通过剩余字节数间接推导，需要读者额外联想“剩余字节等于总长度意味着还没开始写入”，可读性不如指针直接比较。

• 逻辑更可靠：在代码维护过程中，如果出现异常分支导致left被意外修改（比如边界情况的错误处理），指针比较的方式不会受影响——只要当前处理的是slice的起始地址，就肯定是第一个片段。而依赖剩余字节数的判断可能因计算错误出现误判。

• 符合代码设计习惯：LevelDB的Writer类中，ptr负责跟踪当前在slice中的处理位置，left负责跟踪剩余未写入的字节数，两者分工明确。用指针判断起始位置、用剩余长度判断结束位置，保持了代码逻辑的一致性，也符合LevelDB整体的设计风格。

内容的提问来源于stack exchange，提问作者王听正