C++基类析构函数设置成虚函数 && 构造函数和析构函数不能调用虚函数

1.C++基类析构函数设置成虚函数

场景伪代码

//伪代码
class A
{
    
}
class B：public A
{

}

int main()
{
    A *ptr = B;
    delete A;
    
    return 0;
}

当基类指针ptr指向派生类的时候，若基类析构函数不声明为虚函数，在析构时，只会调用基类而不会调用派生类的析构函数，从而导致内存泄露。

2.构造函数和析构函数不能调用虚函数的原因

2.1构造函数不能调用析构函数的原因很容易理解

因为根据规则：构造派生类的时候，是先调用基类构造，再调用派生类构造。

伪代码场景：

//基类
class A{
A()
{
   show();
}
virtual void show()
{
  cout<<"in A"<<endl;
}
};

//派生类
class B:public A{
B() 
{
  show();
}
void show()
{
   cout<<"in B"<<endl;
}
};

int main()
{
    A* ptr = new B;
    return 0;
}

调用基类构造的时候，认为派生类还没有构造出来。

所以即使我们根据正常的多态逻辑：调用基类构造时，基类指针ptr指向派生类对象B，

A{  show（）}里面传入的是派生类B对象的this指针，应该调用派生类的show，但因为派生类还未构造， 认为调用子类的虚函数是不安全的，故而C++不会进行动态联编。

所以调用的结果是 cout<<"in A"<<endl。

2.2析构函数不能调用虚函数的原因

伪代码场景：

//基类
class A{
A()
{
   show();
}
~A()
{
    show;
}
virtual void show()
{
  cout<<"in A"<<endl;
}
};

//派生类
class B:public A{
B() 
{
  show();
}
void show()
{
   cout<<"in B"<<endl;
}
};

int main()
{
    A* ptr = new B;
    return 0;
}
int main()
{
    A* ptr = new B;
    delete ptr;
    return 0;
}

根据析构规则，先调用子类的析构函数，然后再调用基类的析构函数。

所以在调用基类的析构函数时，派生类对象的数据成员已经“销毁”，一旦一个派生类的析构器运行起来，该对象的派生类数据成员就被假设为是未定义的值。

这样一来，C++ 就把它们当做是不存在一样。此时虽然ptr指向的是基类B对象，调用基类的析构函数时，~A{  show（）}里面传入的是派生类B对象的this指针，应该调用派生类的show调用派生类的虚函数，但是派生类对象已经被销毁了，所以已经没有意义了。一旦进入到基类的析构器中，该对象即变为一个基类对象。

总结

构造函数和析构函数调用虚函数时都不使用动态联编， effictive c++第九条，绝不在构造和析构过程中调用virtual。