Как с этим справиться?
Foo и Bar оборачивают API, где Foo должен пережить Bar, потому что Bar зависит от Foo.
class MyObj {
public:
MyObj()
: foo{}
, bar{foo} // Depends on foo, e.g. may keep a pointer
{
}
Foo foo;
Bar bar;
};
...
MyObj a;
MyObj b;
a = std::move(b); // Bug!!
Проблема в том, что порядок назначения перемещения по умолчанию — это порядок членов, от первого до последнего. Примерно так:
MyObj& operator=(MyObj&& other) noexcept
{
foo = std::move(other.foo); // destroys a.foo while replacing it with b.foo,
// leaving a.bar in a sense dangling
bar = std::move(other.bar);
return *this;
}
Кажется, определение пользовательского оператора присваивания перемещения и изменение порядка на противоположный может сработать (пока правило нуля). Есть ли какие-нибудь ошибки? Что здесь правильно сделать?
Обновление для тех, кто запрашивает полный код: https://godbolt.org/z/sKcrroY6q
(добавлены следующие объявления)
#include
#include
struct Foo {
std::unique_ptr bars = std::make_unique();
};
struct Bar {
Bar(Foo& foo) : foo_(&foo) { (*foo_->bars)++; }
~Bar() { if (foo_) (*foo_->bars)--; }
Bar(Bar&& o) = delete;
Bar& operator=(Bar&& o) { foo_ = std::exchange(o.foo_, nullptr); return *this; }
Foo* foo_;
};
Подробнее здесь: https://stackoverflow.com/questions/798 ... pendencies
