在 C++ 中,当类的构造函数和析构函数不应该调用虚函数的主要原因是,在派生类中重写(override)的虚函数在基类构造函数和析构函数执行期间,行为是未定义的。
1. 构造函数: 当基类的构造函数被调用时,派生类的成员和虚函数还未被初始化。因此,如果在基类构造函数中调用虚函数,那么实际上派生类的版本还未被调用。这可能导致不正确的行为或潜在的错误。
#include <iostream>
class Base {
public:
Base() {
// 不要在构造函数中调用虚函数
// 虚函数的派生类版本还未被初始化
// 调用的是基类版本
//this->virtualFunction();
}
virtual void virtualFunction() {
std::cout << "Base::virtualFunction()" << std::endl;
}
};
class Derived : public Base {
public:
Derived() {}
void virtualFunction() override {
std::cout << "Derived::virtualFunction()" << std::endl;
}
};
int main() {
Derived d;
return 0;
}
2. 析构函数: 当对象销毁时,析构函数被调用。在派生类的析构函数执行完毕之前,基类的析构函数已经执行完毕。如果在基类析构函数中调用了虚函数,那么只能调用到基类版本的虚函数,无法调用到派生类版本的虚函数。这可能导致资源没有正确释放或者行为未定义。
#include <iostream>
class Base {
public:
virtual ~Base() {
// 不要在析构函数中调用虚函数
// 调用的是基类版本
//this->virtualFunction();
}
virtual void virtualFunction() {
std::cout << "Base::virtualFunction()" << std::endl;
}
};
class Derived : public Base {
public:
~Derived() {}
void virtualFunction() override {
std::cout << "Derived::virtualFunction()" << std::endl;
}
};
int main() {
Base* ptr = new Derived();
delete ptr;
return 0;
}