c++ - std::unique 是否使 vector 迭代器无效？

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