Как стереть во время итерации boost::intrusive::list

Question

Как я могу стереть элементы из boost::intrusive::list перебирая это? Следующий код завершается с ошибкой утверждения https://wandbox.org/permlink/nzFshFSsaIrvBiTa

#include <iostream>
#include <vector>
#include <boost/intrusive/list.hpp>

using std::cout;
using std::endl;

class Integer : public boost::intrusive::list_base_hook<> {
public:
    explicit Integer(int a_in) : a{a_in} {}
    int a;
};

int main() {
    auto vec = std::vector<Integer>{};
    vec.push_back(Integer{1});
    vec.push_back(Integer{2});
    vec.push_back(Integer{3});
    auto list = boost::intrusive::list<Integer>{};
    for (auto ele : vec) {
        list.push_back(ele);
    }

    for (auto it = list.begin(); it != list.end();) {
        if (it->a == 2) {
            it = list.erase(it);
        } else {
            ++it;
        }
    }

    for (auto ele : list) {
        cout << ele.a << endl;
    }
}

Answer 1

Ваша проблема в том, что вы добавили временные данные в список:

for (auto ele : vec) {
    list.push_back(ele);
}

Вы, вероятно, хотели написать:

for (auto& ele : vec) {
    list.push_back(ele);
}

Это классическая путаница при начале работы с навязчивыми контейнерами: ничто по значению не является таким же, как у всех стандартных контейнеров библиотеки.

Чтобы избежать подобных ситуаций, рассмотрите возможность использования режима ловушки автоматической отмены связи.

демонстрация

Даже безопаснее, чем думать о квалификационной переменной цикла, не имеет цикла вообще:

boost::intrusive::list<X> list(vec.begin(), vec.end());

Жить на Колиру

#include <iostream>
#include <iterator>
#include <vector>
#include <boost/intrusive/list.hpp>

struct X : public boost::intrusive::list_base_hook<> {
    X(int a_in) : a{a_in} {}
    int a;

    friend std::ostream& operator<<(std::ostream& os, X const& x) { return os << "{" << x.a << "}"; }
};

int main() {
    std::ostream_iterator<X> out(std::cout << std::unitbuf, " ");

    std::vector<X> vec { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 };
    boost::intrusive::list<X> list(vec.begin(), vec.end());

    std::cout << "before: "; std::copy(list.begin(), list.end(), out);

    list.remove_if([](X const& x) { return 0 == (x.a % 2); });

    std::cout << "\nafter: "; std::copy(list.begin(), list.end(), out);
}

Печать

before: {1} {2} {3} {4} {5} {6} {7} {8} {9} {10} 
after: {1} {3} {5} {7} {9} 

С auto_unlink:

struct X : public bi::list_base_hook<bi::link_mode<bi::auto_unlink> > {

Обратите внимание, вам нужно отключить постоянное время size() поддержка list<> (см. ссылку)

С этим на месте, даже добавляя

vec.erase(vec.begin()+4);

правильно отсоединит соответствующий узел от навязчивого списка:

Жить на Колиру

#include <iostream>
#include <iterator>
#include <vector>
#include <boost/intrusive/list.hpp>

namespace bi = boost::intrusive;

struct X : public bi::list_base_hook<bi::link_mode<bi::auto_unlink> > {
    X(int a_in) : a{a_in} {}
    int a;

    friend std::ostream& operator<<(std::ostream& os, X const& x) { return os << "{" << x.a << "}"; }
};

int main() {
    std::ostream_iterator<X> out(std::cout << std::unitbuf, " ");

    std::vector<X> vec { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 };
    bi::list<X, bi::constant_time_size<false> > list(vec.begin(), vec.end());

    std::cout << "before: "; std::copy(list.begin(), list.end(), out);

    list.remove_if([](X const& x) { return 0 == (x.a % 2); });

    std::cout << "\nafter: "; std::copy(list.begin(), list.end(), out);

    vec.erase(vec.begin()+4);
    std::cout << "\nauto-unlinked: "; std::copy(list.begin(), list.end(), out);
}

Печать

before: {1} {2} {3} {4} {5} {6} {7} {8} {9} {10} 
after: {1} {3} {5} {7} {9} 
auto-unlinked: {1} {3} {6} {8} {10}