C++ 迭代和循环范围差异

Question

我有一大块 C++ 代码应该通过向量 go 并就地删除重复出现的对象。 我使用迭代器完成了任务（C1）。 我继续解决这个问题，并想使用基于范围的 for 循环来解决这个问题，比如后者（C2）。 但是，我遇到了编译器错误。 有人可以解释为什么这两个代码与 function 不同，以及是否有办法访问 range-for-loop 的内部迭代器。 C1)

for(auto itr = nums.begin(); itr != nums.end(); itr++) {
    if(*itr != set) {
        set = *itr;
    } else {
        nums.erase(itr--);
    }
}

C2)

for(auto num : nums) {
    if(num != set) {
        set = num;
    } else {
        nums.erase((&num));
    }
}

Answer 1

谁能解释一下为什么这两个代码不 function 一样

因为你做不同的事情。 std::vector::erase function 将迭代器作为 arguments - 引用向量中特定 position 的特殊对象。 您可以取消引用迭代器，因为它重载了取消引用运算符，但是(&num)不会将num转换为迭代器，它仍然是一个指针，它与std::vector::erase function 参数不兼容。

如果有办法访问 range-for-loop 的内部迭代器

并不真地。 您正在尝试更改您当前正在经历的容器，这本身就容易出错。 对于迭代器，它之所以有效，是因为您在每次调用擦除时使迭代器无效并更新：

nums.erase(itr--);

itr--使迭代器指向前一个值并返回指向当前值的迭代器（因此您可以自由删除此操作的结果，因为它现在是一个临时值，并且您的本地迭代器变量itr不再指向这个位置）

Answer 2

您提供的两个循环不等效。 第一个循环遍历迭代器到向量中的元素。 第二个循环遍历存储在向量中的值。 对于整数向量， num的类型为 integer。 向量的擦除方法需要一个迭代器或一对迭代器来标记要删除的元素。 所以即使&num也不起作用，因为它没有提供迭代器。

以供参考：

https://en.cppreference.com/w/cpp/container/vector/erase

https://en.cppreference.com/w/cpp/language/range-for

考虑使用std::unique ：

https://en.cppreference.com/w/cpp/algorithm/unique

Answer 3

至少像这样重写第一个代码片段会更正确

for ( auto itr = nums.begin(); itr != nums.end(); ) {
    if(*itr != set) {
        set = *itr++;
    } else {
        itr = nums.erase( itr );
    }
}

擦除元素后，从被擦除元素的迭代器开始的迭代器变得无效。

所以这个基于范围的 for 循环

for(auto num : nums) {
    if(num != set) {
        set = num;
    } else {
        nums.erase((&num));
    }
}

调用未定义的行为，因为它基于迭代器。 此外，在现代 C++ 标准库中，class 模板std::vector的迭代器不是指针。 所以此外这个声明

nums.erase((&num));

只是无效。 您不应依赖 class 模板std::vector的迭代器被定义为指针。

请注意，如果要删除相邻的相等元素，则可以使用标准算法 std::unique 例如

nums.erase( std::unique( nums.begin(), nums.end() ), nums.end() );

这是一个演示程序。

#include <iostream>
#include <vector>
#include <iterator>
#include <algorithm>

int main()
{
    std::vector<int> nums = { 1, 2, 2, 3, 3, 3, 4, 4, 4, 4 };

    for ( const auto &item :nums )
    {
        std::cout << item << ' ';
    }
    std::cout << '\n';

    nums.erase( std::unique( std::begin( nums ), std::end( nums ) ), 
                std::end( nums ) );

    for ( const auto &item :nums )
    {
        std::cout << item << ' ';
    }
    std::cout << '\n';
}

程序 output 是

1 2 2 3 3 3 4 4 4 4 
1 2 3 4