虚函数与普通成员函数的区别

问题

• 问题：类A中使用了类B的成员函数fun（非虚），没有问题。但考虑到，类B以后可能会被继承，所以将类B的fun改为virtual。修改后，程序崩溃。
• 问题代码：

class B
{
public:
    virtual void f()
    {
        // code
    }  
}
class A
{
public:
    void f()
    {
       // some code
       m_b->f();
    }

private:
    B* m_b;
}

• 原因：类A中方法f()，在调用 m_b->f()前，未给 m_b实例化。也就说m_b为NULL。
• 原因：当然，给m_b实例化，即可解决问题。但为什么类B的f()未声明为虚函数前，程序运行正确？
• 原因：该问题与普通成员函数和虚函数的调用流程有关。

虚函数与普通成员函数的调用流程

• 虚函数调用流程（大体）

  1. 查找this指针（也就是实例）的地址
  2. 根据this指针，查找虚函数表（函数指针数组）的地址
  3. 从虚函数表中，取出相应的函数地址

• 普通成员函数调用流程（大体）

  1. 由于函数地址在编译期间已确定，所以直接找到该函数地址
  2. this指针，作为隐含参数传入该函数
  3. 注意：如果该函数中，使用了实例的成员变量，由于this指针为null，程序会报错。

• 代码

#include<iostream>

class B
{
public:
    void out(){
        // Error for use object data
        // std::cout << m_data << std::endl; 
        std::cout << "out" << std::endl;
        fun();
    }
    void fun()
    {
        std::cout << "fun" << std::endl;
    }

    virtual void funv()
    {
        std::cout << "funv" << std::endl;
    }
private:
    int m_data;
};


int main()
{
    B* b = NULL;
    b->out(); // No Error
    b->funv(); // Error 
}