从 std::vector 中删除原始指针

Deleting raw pointers from std::vector

本文关键字:原始 指针 删除 vector std      更新时间:2023-10-16

我有以下模式:

  1. 我有一个包含指向对象的原始指针的std::vector(我知道原始指针是"邪恶的",但它是需要维护的遗留软件(。
  2. 现在,对于向量
  3. 中的每个元素,我需要做一个测试,如果测试是正的,则对指针执行一些操作,将其删除,然后将其从向量中删除:

伪代码:

for each pointer in vector
{
  if (SomeTest(pointer))
  {
     DoSomething(pointer)
     delete pointer
     remove pointer from vector
  }
}

我无法为此想出一些漂亮的干净代码。

这个链接提供了不同的方法,但对我来说它们看起来或多或少都很麻烦。

我现在使用的繁琐解决方案:

for(auto &  p : v)
{
   if (SomeTest(p))
   {
       DoSomething(p);
       delete p;
       p = nullptr;
   }
}
v.erase(std::remove(v.begin(), v.end(), nullptr), v.end());

答案通常是:了解你的<algorithm>(并且对我自己是一个很好的提醒(;)

std::partition就是你要找的:std::partition(begin, end, p)"移动"范围[beginend(中不满足范围末尾的谓词p的元素;然后你可以将它们视为一个批处理。

auto const to_be_removed = std::partition(begin(v), end(v), [](auto p){ /* predicate */ });
std::for_each(to_be_removed, end(v), [](auto p) {
    /* crunch */
    delete p;
});
v.erase(to_be_removed, end(v));

完整程序

#include <iostream>
#include <algorithm>
#include <vector>
int main()
{
    std::vector v = { new int{0}, new int{1}, new int{2} };
    // let's delete all even values
    auto const to_be_removed = std::partition(begin(v), end(v), [](auto p){ return *p % 2 != 0; });
    std::for_each(to_be_removed, end(v), [](auto p) {
        std::cout << "Deleting value " << *p << "...n";
        delete p;
    });
    v.erase(to_be_removed, end(v));
}

现场演示

为了走得更远

这种实现有两个主要缺点:来自向量的阶数不稳定(1(,它可以分解为可重用的函数(2(。

  • (1(由std::stable_partition解决。
  • (2(没那么难:
template<class InputIt, class UnaryPredicate, class UnaryDeleter>
InputIt delete_if(InputIt begin, InputIt end, UnaryPredicate p, UnaryDeleter d)
{
    auto const to_be_removed = std::stable_partition(begin, end, std::not_fn(p));
    std::for_each(to_be_removed, end, [d](auto p) { d(p) ; delete p; });
    return to_be_removed;
}
template<class Container, class UnaryPredicate, class UnaryDeleter>
auto delete_if(Container& c, UnaryPredicate p, UnaryDeleter d)
{
    using std::begin, std::end;
    return c.erase(delete_if(begin(c), end(c), p, d), end(c));
}

用法

delete_if(v, SomeTest, DoSomething);

现场演示

您可以使用

std::remove_if 我不确定为什么您链接的文章在删除指针之前使用 std::remove_if,因为这不起作用。您必须在删除之前删除指针:

std::vector<int*> v;
v.erase(std::remove_if(std::begin(v), std::end(v), [](int* p){
    // do your test and do not remove on failure
    if(!SomeTest(p))
        return false; // keep this one
    DoSomething(p);
    // Now we remove but be sure to delete here, before the
    // element is moved (and therefore invalidated)
    delete p;
    return true; // signal for removal
}), std::end(v));

注意:为什么这是安全的。

删除指针不会修改指针本身,而是修改所指向的对象。这意味着使用此方法不会修改任何元素。

C++17 28.6.8 5 的标准保证每个元素只调用一次谓词。

最简单的解决方案 - 从链接的文章开始 - 是采用erase_if函数

template <typename Container, typename Pred>
void erase_if(Container &c, Pred p)
{
    c.erase(std::remove_if(std::begin(c), std::end(c), p), std::end(c));
}

只需调用它

erase_if(v, [](T *pointer)
         {
           if (SomeTest(pointer))
           {
              DoSomething(pointer);
              delete pointer;
              return true; //remove pointer from vector
           }
           return false;
         });

如果你想将 SomeTest/DoSomething 部分与delete部分分开,你显然可以将谓词一分为二:

template <typename Container, typename Pred>
void delete_if(Container &c, Pred p)
{
    auto e = std::remove_if(std::begin(c), std::end(c),
        [&p](Container::value_type *pointer)
        {
          if (p(pointer)) {
            delete pointer;
            return true;
          }
          return false;
        });
    c.erase(e, std::end(c));
}

既然你还没有说为什么你不喜欢你自己链接的erase_if,我无法猜测这是否有同样的问题。

使用以下方法,首先拆分要删除的元素,然后删除,然后调整向量。

auto badIt = std::stable_partition(std::beging(v), std::end(v), SomeTestInverse);
std::for_each(badIt, std::end(v), [](auto e){ DoSomething(e); delete e;});
v.erase(badIt,std::end(v));

提供的谓词必须为 true,元素才能保留才能工作,因为不符合谓词的元素在最后一个范围内。

假设您有一个 int 指针向量。这是我的解决方案:

vector<int*> vpi;
for (vector<int*>::iterator it = vpi.begin(); it != vpi.end(); )
{
    if (SomeTest(*it))
    {
        DoSomething(*it)
        int* old = *it;
        it = vpi.erase(it);
        delete old;
    } else
    {
       it++;
    }
}
我会

使用的一些方法:

for (auto i = vector.begin(); i != vector.end(); ++i) {
  if (SomeTest(*i)) {
    DoSomething(*i);
    delete *i;
    *i = nullptr;
  }
}
vector.erase(std::remove(vector.begin(), vector.end(), nullptr), vector.end());
<</div> div class="answers">

保持简单。 亚格尼。 没有理由解决一个更通用和更复杂的问题版本,如果你需要它(提示:你不会(,或者寻找晦涩的STL方法(好吧,除非你愿意(。

size_t target = 0;
for (size_t idx = 0; idx < v.size(); idx++) {
    if (should_delete(v[idx]))
        delete v[idx];
    else
        v[target++] = v[idx];
}
v.resize(target);