为什么当类A的析构函数为虚函数或非虚函数时，B的类成员n具有不同的值

why the calss member n of B have different value , when destructor of class A is virtual or non virtual?

本文关键字：函数 成员 析构函数 为什么      更新时间：2023-10-16
#include <iostream>
using namesapce std;
class A
{
  public:
         virtual ~A(){cout<<"delete A"<<endl};
};
class B: public A
{
  public:
         B(int n):n(n){}
         void show(){cout<<n<<endl;}
         ~B(){cout<<"delete B"<<endl;}
  private:
         int n;
}
int main()
{
   A *pa;
   B *pb = new B(1);
   pa = pb;
   delete pa;
   pb->show();
   return 0;
}
当A类的析构函数为 virtual ~A(){...} 时，程序输出: delete B delete A 1 当A类的析构函数为 ~A(){...} 时，程序输出: delete A 0 当类A的析构函数是虚的或非虚的时，为什么n的值不同?当调用B的析构函数销毁对象时，为什么类成员n仍然存在?

您的程序显示未定义行为。这是你"为什么"问题的唯一答案。

首先，如果A的析构函数不是虚函数，那么在代码中执行delete pa会导致未定义的行为。试图通过指向父类型A *的指针来访问B类型的delete对象，导致A的析构函数的未定义行为不是虚的。

其次，pb->show()似乎是试图调用一个已经被销毁的对象的方法。无论析构函数是否为虚函数，其行为也是未定义的。

 A *pa;
 B *pb = new B(1);
 pa = pb;

这被称为向上转换。无论何时进行上转换，基类析构函数都应该是虚的。

如果没有虚基类析构函数，delete pa将只调用基类析构函数，这是不希望的，因为它派生的类对象将永远不会被销毁，并导致内存泄漏。

基类的虚析构函数将首先调用派生类的析构函数，然后它将自己析构，这是期望的行为，并且不会因为上转换而导致任何泄漏。

相关文章：