有关 CS144 Lab1 的一个疑问

[taylover2016]

哈啰大佬您好。我最近正在做CS144的Lab，在Lab1卡住的时候看到了您写的博客以及代码。

我想向您问个问题：您的实现里面的那个 new_idx，我刚开始的时候按照之前的习惯尝试初始化为 -1, 也就是"size_t new_idx = -1"
但是最后在提交的时候显示有错误，调试之后发现在特定的测试用例当中 new_idx 将无法被赋予正确的值而一直保持值为-1（但是后面赋值的逻辑上是完备没有错误的）
想问下大佬您知道这是为什么吗...一直很困惑，因为我看您对于那个 eof_idx 的处理也一样，都是先初始化为 -1，但是这个却没出现错误...

这里把传送门给出来方便大佬您跳转～
https://github.com/kiprey/sponge/blob/master/libsponge/stream_reassembler.cc

[taylover2016]

给 new_idx 赋值的逻辑就是 在没有字串的那个 else if 后面又加了一个 else {new_idx = index}，但是不知道为什么holes.cc里的"bdca"写入就不成功...

[Kiprey]

我理了一下你的思路，你的代码应该是这样吧？

// 获取当前子串的新起始位置
size_t new_idx = -1;
// 如果前面确实有子串
if (pos_iter != _unassemble_strs.end() && pos_iter->first <= index) {
    const size_t up_idx = pos_iter->first;

    // 如果当前子串前面出现了重叠
    if (index < up_idx + pos_iter->second.size())
        new_idx = up_idx + pos_iter->second.size();
}
// 如果前面没有子串，则和当前读取到的pos进行比较
else if (index < _next_assembled_idx)
    new_idx = _next_assembled_idx;
else
    new_idx = index;

[Kiprey]

如果思路是类似我刚刚贴出来的那部分代码，那可能是因为忘记处理 前面有子串但不重叠 的情况，即这块位置：

// 获取当前子串的新起始位置
size_t new_idx = -1;
// 如果前面确实有子串
if (pos_iter != _unassemble_strs.end() && pos_iter->first <= index) {
    const size_t up_idx = pos_iter->first;

    // 如果当前子串前面出现了重叠
    if (index < up_idx + pos_iter->second.size())
        new_idx = up_idx + pos_iter->second.size();
    /* -------------------------------------------------------------------------------- */
    else {
        /* NOP, 这里的 new_idx 应该为 index，但是因为没有赋值结果却为 -1 */
    }
    /* -------------------------------------------------------------------------------- */
}
// 如果前面没有子串，则和当前读取到的pos进行比较
else if (index < _next_assembled_idx)
    new_idx = _next_assembled_idx;
else
    new_idx = index;

[taylover2016]

啊，damn. 谢谢大佬，辛苦你啦。我刚想了下确实是这样。万分感谢

[Kiprey]

没事没事，有问题再联系