Является ли законным явное вызов деструктора/конструктора класса?

Question

Является ли законным разрушать и создавать объект базового класса для восстановления части состояния, известного базовому классу?

class C : public BaseClass {...}; 

C c; 
c.BaseClass::~BaseClass(); 
new (static_cast<BaseClass*>(&c)) BaseClass; 

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

Answer 1

Нет, это не законно. Вы не можете заменить базовый подобъект объекта.

C++ 11 3.8/7 указывает, что вы можете только повторно использовать для хранения объекта, если

исходный объект был наиболее производный объект (1.8) типа Т и новый объект является наиболее производный объект типа T (то есть они не являются подобъектами базового класса).

Объект, который вы заменили, был подобъектом базового класса, а не самым производным объектом, и поэтому запрещен.

Если вы должны были заменить весь объект (т. Е. Позвонить ~C, а затем построить новый C), тогда это будет законным, но опасным. Если конструктор бросил, то объект будет уничтожен второй раз в конце его срока службы. Это даст неопределенное поведение.

Answer 2

Деструктор будет работать (только), если он виртуальный, в противном случае у вас будет частично уничтоженный объект (который, кажется, является тем, что вы на самом деле хотите, учитывая ваши комментарии, но не является законным). Новое место должно работать, но я уверен, что стандарт не разрешен стандартом (хотя я думаю, что есть приличный шанс, что он будет работать). И я не уверен, почему вы хотели бы этого, поскольку объект использовался как производный C, но после его строительства он никогда не был бы C, только BaseClass.