有没有比std::remove_if更好的方法来从向量中移除元素

Is there a better alternative to std::remove_if to remove elements from a vector?

本文关键字:向量 元素 方法 std remove 更好 if 有没有      更新时间:2023-10-16

std::vector或其他容器中删除具有特定属性的元素的任务适用于函数式实现:为什么要麻烦循环、内存释放和正确移动数据?

然而,在C++中这样做的标准方法似乎是以下习语:

std::vector<int> ints;
...
ints.erase(
    std::remove_if(ints.begin(), 
                   ints.end(),
                   [](int x){return x < 0;}),
    ints.end());

此示例从整数向量中删除所有小于零的元素。

我发现它不仅难看,而且很容易用错。很明显,std::remove_if不能改变向量的大小(正如其名称所暗示的那样),因为它只传递迭代器。但包括我在内的许多开发人员一开始都不明白这一点。

那么,有没有一种更安全、更优雅的方式来实现这一点呢?如果没有,为什么?

我发现它不仅难看,而且很容易用错。

别担心,我们一开始都这么做了。

很明显,std::remove_if不能改变向量的大小(正如其名称所暗示的那样),因为它只传递迭代器。但包括我在内的许多开发人员一开始都不明白这一点。

同样。这让每个人都感到困惑。这么多年前,它可能不应该被称为remove_if。事后诸葛亮,嗯?

那么,有没有一种更安全、更优雅的方式来实现这一点呢?

如果没有,为什么?

因为这是在从容器中删除项时保持性能的最安全、最优雅的方法,在容器中删除一个项会使迭代器失效。

预期:

我能做什么吗?

是的,将这个习语包装成一个函数

template<class Container, class F>
auto erase_where(Container& c, F&& f)
{
    return c.erase(std::remove_if(c.begin(), 
                                  c.end(),
                                  std::forward<F>(f)),
                   c.end());    
}

激励性示例中的调用变为:

auto is_negative = [](int x){return x < 0;};
erase_where(ints, is_negative);

erase_where(ints, [](int x){return x < 0;});

这将很快通过std::experimental::erase_if算法在C++17编译器中可用:

#include <algorithm>
#include <iostream>
#include <iterator>
#include <vector>
#include <experimental/vector>
int main()
{
    std::vector<int> ints { -1, 0, 1 };   
    std::experimental::erase_if(ints, [](int x){
        return x < 0;
    });
    std::copy(ints.begin(), ints.end(), std::ostream_iterator<int>(std::cout, ","));
}

打印0,1 的实时示例