명시 적으로 기본 클래스 소멸자/생성자를 호출하는 것이 합법적입니까?

Question

기본 클래스에 알려진 상태 부분을 재설정하기 위해 기본 클래스 객체를 파괴하고 구성하는 것이 합법적입니까?

class C : public BaseClass {...}; 

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

분명히 우리가 클래스의 소스 코드에 액세스 할 수 있다면이 효과를 얻을 수있는 다른 방법이 있습니다. 그러나 이것이 유효하지 않은 특별한 이유가있는 경우 언어 관점에서 알고 싶습니다.

Answer 1

아니요, 유효하지 않습니다. 객체의 기본 하위 객체를 바꿀 수 없습니다. 3.8/7

C++ 11 만 원의 객체는 타입 T의 가장 파생 된 개체 (1.8)이었고, 새로운 개체가 대부분이다

경우 객체의 저장 공간을 다시 사용할 수 있도록 지정 형식 T의 파생 개체 (즉, 기본 클래스 하위 개체가 아닌 )입니다.

대체하는 객체는 기본 클래스 하위 객체이며 대부분 파생 된 객체가 아니므로 금지됩니다.

전체 개체를 바꾸려면 (즉, ~C으로 전화 한 다음 새 C을 작성하십시오.) 합법적이지만 위험 할 수 있습니다. 생성자가 던진 경우 객체는 수명이 끝난 후 두 번째로 삭제됩니다. 그러면 정의되지 않은 동작이 발생합니다.

Answer 2

소멸자가 가상 ​​일 경우에만 작동합니다. 그렇지 않으면 부분적으로 파괴 된 개체가 생깁니다 (실제로는 의견을 제시하고 싶지만 합법적이지는 않습니다). 새로운 배치가 작동해야하지만, 나는 표준에 의해 실제로 허용되지 않는다고 확신한다. (그러나 나는 제대로 작동 할 것으로 보인다.) 그리고 나는 왜 당신이 이것을 원할 것인지는 모르겠다. 왜냐하면 그 물체는 파생 된 것이기 때문에, C이지만, 건설 후에는 다시 C이 될 것이고, 단지 BaseClass 일 뿐이다.