构造函数可不可以调用虚函数？析构函数可不可以调用虚函数

• 构造函数可以调用虚函数，但是最好别这样做。

  • 例：

    #include<string>
    #include<iostream>
    using namespace std;
    
    class B {
    public:
    	B(const string& ss) { cout << "B constructor\n"; f(ss); }
    	virtual void f(const string&) { cout << "B::f\n";}
    };
    
    class D : public B {
    public:
    	D(const string & ss) :B(ss) { cout << "D constructor\n";}
    	void f(const string& ss) { cout << "D::f\n"; s = ss; }
    private:
    	string s;
    };
    
    int main()
    {
    	D d("Hello");
    }
    

    该程序编译并产生：

    B constructor
    B::f
    D constructor

  • 调用B::f()，而未调用D::f()，原因是基类构造期间，虚函数绝对不会下降到派生类阶层，也就是说，在基类构造期间，对象类型是基类类型，调用的虚函数不是虚函数。（参照：Effective C++ 第9条）

  • 考虑如果规则不同而从B::B()调用D::f()，因为尚未运行构造函数D:: D()，所以D::f()会尝试将其参数分配给未初始化的字符串s。结果很可能是立即崩溃。（参照：Bjarne Stroustrup’s C++ Style and Technique FAQ）

• 析构函数可以调用虚函数，但是最好别这样做。

  • 同理，当派生类的析构函数开始执行时，对象内的派生类成员变量便呈现未定义值。也就是说，先调用派生类的析构函数，销毁派生类对象；再调用基类的析构函数时，派生类对象的数据成员已销毁，此时再调用派生类的虚函数已经无意义。