我有一个简化的代码示例:
class Base {
Base() = default;
Base(const Base& src) {
// construct by copying src etc. - ok, legal even if src points to Derived object
}
Base(Base&& src) {
// construct by moving src - stealing its resources, ok, it was invented for this,
// but.. what if src points to Derived object?
}
};
class Derived : public Base {
};
void foo() {
Derived derived;
Base base_by_copy_constructor(derived); // legal, derived cannot be touched so nothing will be wrong
Base base_by_move(std::move(derived)); // uu? what's gonna happen, part of derived object (Base class) was moved..
}
这种行为恰当吗?这可能会导致奇怪的问题,因为基本部分od派生对象实际上是“去初始化的”。
所以我们应该避免从具有move操作符的类派生,还是让我们的派生类抵制“移动”它的基部分?
(当然,这只是一个例子,类没有数据,move操作符什么都不做,所以这里不会出错。我问的是一个真实世界的例子,这种情况:))