하위 클래스에만 가상 메서드가있는 동안 다형성 사용과 관련된 문제

Question

다음 코드는 C++ 11 표준을 위반하는 코드입니까?

delete p; 

는 pointee의 동적 유형부터 동작 보증되지,

File: f:\dd\vctools\crt\crtw32\misc\dbgdel.cpp 
Line: 52 

Expression: _BLOCK_TYPE_IS_VALID(pHead->nBlockUse) 

Answer 1

예 : 나는 실패한 주장은 2013 년

class P {}; 

class C : public P 
{ 
public: 
    virtual void a() {} 
}; 

int main() 
{ 
    P* p = new C(); 
    delete p; 
} 

---

++ VC에 실패한 주장을 얻을 정적으로 알려진 유형과 다르며 후자에는 가상 소멸자가 없습니다.

C++ 11 §5.3.5/3

제 대체 ( 개체 삭제)에서

” 오브젝트의 정적 유형을 삭제할 경우 해당 다르다 동적 유형 인 경우 정적 유형은 삭제할 객체의 동적 유형의 기본 클래스이고, 정적 유형은 가상 소멸자가 있거나 동작이 정의되지 않음