Удаление необработанных указателей из std :: vector

Question

У меня есть следующий шаблон:

1. У меня есть std::vector, содержащий необработанные указатели на объекты (я знаю, что необработанные указатели являются «злыми», но это устаревшее программное обеспечение, которое необходимо поддерживать).
2. Теперь для каждого элемента в векторе мне нужно выполнить тест, и если тест положительный, сделать что-то с указателем, удалить его, а затем удалить из вектора:

Псевдокод:

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());

Answer 1

При следующем подходе сначала вы разделяете удаляемые элементы, затем удаляете, а затем настраиваете вектор.

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));

Предоставленный предикат должен быть истинным, чтобы элемент работал, чтобы он работал,так как элементы, не соответствующие предикату, находятся в последнем диапазоне.

Answer 2

Будьте проще.YAGNI.Нет смысла решать более общую и сложную версию проблемы, если вам она понадобится (подсказка: вы не будете) или выискиваете неясные методы 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);

Answer 3

Вы можете использовать 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 гарантирует, что предикат будет вызываться только один раз для каждого элемента.

Answer 4

Самое простое решение - начиная со связанной статьи - это взять функцию 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Вы связали себя, я не могу догадаться, есть ли у этой же проблемы.

Answer 5

Какой-то подход, который я бы использовал:

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());

Answer 6

Предполагается, что у вас есть указатель на вектор 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++;
    }
}

Answer 7

Как часто ответ таков: знайте свои <algorithm> s (и это хорошее напоминание для меня);)

std::partition - это то, что вы ищете: std::partition(begin, end, p) «перемещает» элементы диапазона [begin, end), которые не удовлетворяют предикату 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);

Live демо