list<int>::iterator 和 vector<int>::iterator 的行为差异

Question

我有一个std::list<int> 和一个std::vector<int>。我想从中删除 even 元素，并在其中复制 odd 元素。

我对它们都有两个不同的功能：

矢量：

std::vector<int> vec_remove_even_duplicate_odd(std::vector<int> target) {
    std::vector<int>::iterator begin = target.begin();

    while (begin != target.end()) {
        if (*begin % 2 == 0) {
            begin = target.erase(begin);
        } else {
            begin = target.insert(begin, *begin);
            begin += 2;
        }
    }

    return target;
}

这很好用。但是std::list<int> 的相同函数在begin += 2 行显示错误：

error: no match for ‘operator+=’ (operand types are ‘std::list<int>::iterator {aka std::_List_iterator<int>}’ and ‘int’)

如果我将其更改为：

begin = begin + 2

它显示以下注释：

note:   mismatched types ‘const std::reverse_iterator<_Iterator>’ and ‘int’

但是，如果我将该行更改为：

++begin;
++begin;

它也适用于list。那么这种行为是什么，我在阅读容器时可能会错过。

为什么没有为std::list<T>::iterator 定义+= 运算符？以及为什么简单的+ 操作员的消息？我什至还没有创建reverse_iterator？

我知道vector 是一个连续 结构，而list 不是。但是，考虑到 post-increment 是适用的，这又有什么关系呢？ 这个问题是特定于list 的，还是其他一些容器也有这个问题？

Answer 1

由于std::list 实际上是一个链表，它的迭代器只提供在这种数据结构中实现的微不足道的功能；特别是，std::list 迭代器是所谓的 双向迭代器，而不是 随机访问 迭代器，因此它们既不提供 operator+= 也不提供 operator+，因此消息你明白了。

如果在通用算法中您需要前进 n 个元素，无论操作的计算成本如何，您都可以使用std::advance，它将使用operator+= 进行随机迭代器和在其他情况下重复应用++ 或--。

顺便说一句，std::vector 的循环看起来不太好 - 在 std::vector can invalidate iterators 中插入和删除（包括用于迭代向量的循环）；您应该更改算法的方法（也许最简单的方法就是将元素复制到单独的 vector 中）。