std :: unique是否会使向量迭代器无效？

Question

对于此代码：

std::vector<int> v = {...};
std::sort(v.begin(), v.end());

// Does this work?
std::size_t unique_count = std::unique(v.begin(), v.end()) - v.cbegin();

在最后一行中，我认为自std::unique以来，只是在Vector内部移动了东西，并且没有在其中插入任何东西，没有迭代器应该被使无效，因此我计算unique_count的方式应该是正确的。 但我想确保确实如此。 是吗？

Answer 1

std::unique是一种算法。 所有stl算法都在范围上而不是容器上运行。

尽管该算法可以交换元素内容，但这些元素的迭代器保持不变。

这是保证。

如果不是，那么这将不起作用：

#include <algorithm>
#include <vector>
#include <iostream>
#include <array>

int main()
{

  auto unique_size = [](auto&& container)
  {
    std::sort(std::begin(container), std::end(container));
    return std::unique(std::begin(container), std::end(container)) - std::cbegin(container);
  };

  std::cout << unique_size(std::vector<int> {6,5,4,4,3,2,1}) << std::endl;
  std::cout << unique_size(std::array<int,7> {6,5,4,4,3,2,1}) << std::endl;
  int x[] = {6,5,4,4,3,2,1};
  std::cout << unique_size(x) << std::endl;

    // Does this work? yes.
}

法定产出：

6
6
6

Answer 2

std::unique将迭代器返回到容器中最后一个“ unique”元素之后的某个位置。

auto last = std::unique(v.begin(), v.end());

然后范围[ last ， v.end() ）包含任何内容，您不能依赖v.cbegin() 。 代替：

auto unique_count = std::distance(v.begin(), last);

会成功的

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