这个 C++ 方法可以简化吗？

Question

背景：

我一直在将gap buffer 算法实现为具有匹配自定义迭代器的 STL 容器。除了其他成员之外，Buffer 类还有两个内部指针_gapStart 和_gapEnd，它们分别代表间隙的开始和结束。

BufferIterator 有两个成员 _buffer 是对其迭代的 Buffer 类的引用，_pos 是 Buffer 中的当前位置。它与普通迭代器的不同之处在于，当它在缓冲区中前后移动时，它应该“跳过”间隙。

为此，我有下面的代码，它实现了operator+=（所有其他迭代器算术运算符都是根据它定义的）。这段代码有效，但我有一种唠叨的感觉，它可以变得更简单。

BufferIterator& operator+=(const difference_type& n) {
   auto count = n;

   if (count >= 0) {
        while (count--) {
            ++_pos;
            if (_pos == _buffer._gapStart) {
                _pos += (_buffer._gapEnd - _buffer._gapStart);
            }
        }
    } else {
        while (count++) {
            --_pos;
            if (_pos == _buffer._gapEnd) {
                _pos -= (_buffer._gapEnd - _buffer._gapStart);
            }
        }
    }

    return *this;
}

所以我想用下面的版本替换它。但是它不起作用；它会导致段错误。为什么？在我看来，它应该是完全等价的，但我不知道为什么不是。

BufferIterator& operator+=(const difference_type& n) {

    if (n >= 0) {
        _pos += n;
        if (_pos >= b._gapStart) {
            _pos += (b._gapEnd - b._gapStart);
        }
    } else {
        _pos -= n;
        if (_pos <= b._gapEnd) {
            _pos -= (b._gapEnd - b._gapStart);
        }
    }

    return *this;
}

谁能帮我理解这个？有没有更简单的方法来实现第 1 版，或者它真的是最好的实现方法？

顺便说一句，如果有助于在上下文中查看代码，我的简单编辑器可以在 on Github 找到。

Answer 1

第一个版本可以这样简化：

BufferIterator& operator+=(const difference_type& n) {
   auto count = n;

   if (count >= 0) {
        while (count--) {
            ++_pos;
            if (_pos == _buffer._gapStart) {
                _pos = _buffer._gapEnd;
            }
        }
    } else {
        while (count++) {
            --_pos;
            if (_pos == _buffer._gapEnd) {
                _pos = _buffer._gapStart;
            }
        }
    }
    return *this;
}

要删除循环，您的代码可能如下所示：

BufferIterator& operator+=(const difference_type& n) {
    if (n >= 0) {
        if (_pos < b._gapStart && b._gapStart <= _pos + n) {
            _pos += b._gapEnd - b._gapStart;
        }
    } else {
        if (_pos + n <= b._gapEnd && b._gapEnd < _pos) {
            _pos -= (b._gapEnd - b._gapStart);
        }
    }
    _pos += n;
    return *this;
}