在非虚函数中调用虚函数

一，下面是一个在非虚函数中调用虚函数的例子

#include <iostream>
using namespace std;

class Base {
protected:
    int i;
public:
    Base(int j):i(j){}
    virtual ~Base(){}
    virtual void func2(){
        i ++;
    }
    void func1() {
        i *= 10;
        func2();
    }
    int getValue() {
        return  i;
    }
};

class Child: public Base {
public:
    Child(int i): Base(i) {}
    void func1() {
        i *= 100;
        func2();
    }
    void func2() {
        i += 2;
    }
};

int main() {
    Base *pb = new Child(1);
    pb->func1();
    cout<<pb->getValue()<<endl;
    delete pb;
    return 0;
}

输出结果

12

Process returned 0 (0x0)   execution time : 0.033 s
Press any key to continue.

程序分析

代码pb->func1()；由于func1()不是虚函数，因此执行的是静态绑定，pb的编译期类型是Base，此时执行的是Base类的func1()函数。在Base类的func1()函数中，调用了虚函数func2()，虚函数执行的是动态绑定，pb实际指向的是Child类对象，因此此时执行的func2()是Child类的func2()函数。

二，不能在构造函数中调用虚函数

下面是一个类的继承体系，在基类的构造函数中，调用虚函数doSomething()。

class Base{
public:
    Base(){
        ...
        doSomething();
    }
    virtual void doSomething(){
        ...
    }
};

class Derived : public Base{
public:
    virtual void doSomething(){
        ...
    }
};

Derived derivedObj;

程序分析

1，当创建一个Derived对象时，有一个Derived构造函数会被调用，但首先Base构造函数一定会更早被调用，因为Derived对象内的Base成分会在Derived自身成分被构造之前先构造妥当。Base构造函数最后一行调用virtual函数doSomething()，这正是引发疑惑的地方。这时候被调用的doSomething()是Base内的版本，不是Derived内的版本。Base class 构造期间 virtual 函数绝不会下降到Derived class阶层。造成上面这种现象的根本原因是，在Derived class对象的Base class构造期间，对象的类型是Base class而不是Derived class。

2，下面这个理由可以很好的解释上面这种现象。由于Base class构造函数执行的时间早于Derived class构造函数，当Base class构造函数执行时，Derived class的成员尚未初始化。如果此期间调用的virtual函数下降至Derived class阶层，Derived class的成员函数几乎必然取用Derived自身的员变量，而那些成员变量尚未初始化，如果直接使用这些尚未初始化的成员变量，会导致不明确的行为。

三，不要在析构函数中调用virtual函数

与上面的道理类似，一旦Derived class的析构函数开始执行时，对象内的Derived class成员变量便呈现未定义值。此时，如果调用Derived class的虚函数，Derived class的虚函数几乎必然取用Derived自身的成员变量，但是此时的Derived自身的成员变量呈现的是未定义值，会导致不明确的行为。