C++ удалить указатель на класс и полиморфизм

Question

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

#include <stdio.h> 
#include <iostream> 

class Base { 
    public: 
     Base(){ 
      std::cout<<"Constructing Base" << std::endl; 
     }; 
     virtual int get_a(){ 
      return p_a; 
     }; 
     virtual int check(){ 
      std::cout<<"check Base" << std::endl; return 2; 
     }; 
     virtual ~Base(){ 
      std::cout<<"Destroying Base" << std::endl; 
     }; 
     int p_a = 4; 
}; 

class Derive: public Base { 
    public: 
     Derive(){ 
      std::cout<<"Constructing Derive" << std::endl; 
     }; 
     int get_a(){ 
      return p_a; 
     }; 
     int check(){ 
      std::cout<<"check Derive" << std::endl; 
      return 3; 
     }; 
     ~Derive(){ std::cout<<"Destroying Derive" << std::endl; }; 
     int p_a = 2; 
}; 

int main() { 
     Base *basePtr = new Derive(); 
     delete basePtr; 
     basePtr->check(); 
     std::cout << "p_a: " << basePtr->get_a() << std::endl; 
     return 1; 
} 

Консоль вывод:

Constructing Base // line 1 
Constructing Derive // line 2 
Destroying Derive // line 3 
Destroying Base  // line 4 
check Base   // line 5 
p_a: 4    // line 6 

Я понимаю, почему я получаю линию 1-4, то basePtr является указателем на Выведите, который наследует от базы, который реализует виртуальные функции.

Мое 1. ожидание: после звонка удалите, указатель basePtr не сможет доставить вызов функции -> check(), а также не должно быть значения p_a.

My 2. expectation: Я бы ожидал, что значение p_a из Derive (p_a = 2) появится на выходе, поскольку basePtr хранит указатель Derive.

Может ли кто-то исправить мои мысли?

Answer 1

Это неопределенное поведение. Независимо от результатов, которые вы получили, они недействительны.

delete basePtr; 

Это разрушает объект.

basePtr->check(); 

После разрушения объекта, показанный код пытается разыменованием указателя на разрушенном экземпляр класса и вызвать метод разрушаемого объекта. Вызов метода уничтоженного объекта - это неопределенное поведение.