在成对的“std::vector”上使用“std::count”的意外行为

Question

我的目标是完全删除std::vector<std::pair<int, int>>中多次出现的所有元素。

这个想法是利用std::remove和std::count作为谓词的一部分。 我的方法看起来像这样：

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

using std::cout;
using std::endl;
using i_pair = std::pair<int, int>;

int main()
{
    std::vector<i_pair> vec;
    vec.push_back(i_pair(0,0)); // Expected to stay
    vec.push_back(i_pair(0,1)); // Expected to go
    vec.push_back(i_pair(1,1)); // Expected to stay
    vec.push_back(i_pair(0,1)); // Expected to go

    auto predicate = [&](i_pair& p)
    {
        return std::count(vec.begin(), vec.end(), p) > 1;
    };
    auto it = std::remove_if(vec.begin(), vec.end(), predicate);

    cout << "Reordered vector:" << endl;
    for(auto& e : vec)
    {
        cout << e.first << " " << e.second << endl;;
    }
    cout << endl;
    
    cout << "Number of elements that would be erased: " << (vec.end() - it) << endl;

    return 0;
}

数组被重新排序，两个(0,1)元素都被推到末尾，但是std::remove返回的迭代器指向最后一个元素。 这意味着后续的erase操作只会删除一个(0,1)元素。

为什么会发生这种行为，如何删除多次出现的所有元素？

Answer 1

您最大的问题是std::remove_if在运行时对向量的内容几乎没有保证。

它保证最后， begin()到返回的迭代器包含未删除的元素，并且从那里直到end()还有一些其他元素。

同时，您在此操作的中间迭代容器。

std::partition更有可能起作用，因为它保证（完成后）您“删除”的元素实际上存储在最后。

一个更安全的方法是制作一个std::unordered_map<std::pair<int,int>, std::size_t>并在一遍中计数，然后在第二遍中删除计数至少为 2 的所有内容。这也是 O(n) 而不是你的算法 O(n^2) 所以应该更快。

std::unordered_map<i_pair,std::size_t, pair_hasher> counts;
counts.reserve(vec.size()); // no more than this
for (auto&& elem:vec) {
  ++counts[elem];
}
vec.erase(std::remove_if(begin(vec), end(vec), [&](auto&&elem){return counts[elem]>1;}), end(vec));

您必须编写自己的pair_hasher 。 如果你愿意接受 nlgn 的表现，你可以这样做

std::map<i_pair,std::size_t> counts;
for (auto&& elem:vec) {
  ++counts[elem];
}
vec.erase(std::remove_if(begin(vec), end(vec), [&](auto&&elem){return counts[elem]>1;}), end(vec));