c++ 虚函数实现

概念

        虚函数是C++中用于实现多态机制。通过基类访问派生类定义的函数，是C++中多态性的一个重要体现。利用基类指针访问派生类中的虚函数，在基类的函数前加上virtual关键字，在派生类中重写该函数，运行时将会根据对象的实际类型来调用相应的函数。

       每一个含有虚函数的类(包括派生类)都至少有一个与之对应的虚函数表，其中存放着该类所有虚函数对应的函数指针（地址)，类的示例对象都包含有一个虚指针指向虚函数表。虚表是和类对应的，虚表指针是和对象对应的。

实现机制

        虚函数实际使用很简单，只需要通过基类指针调用函数名，就可以访问实际对象所在类中的函数，具体实现细节通过虚函数表来完成。

Animal类进行举例说明

typedef void(*FUNC)(void);
class Animal
{
public:
    Animal() { std::cout << "Animal::Animal" << std::endl; }
    ~Animal() { std::cout << "Animal::~Animal" << std::endl; }

    virtual void eat() { std::cout << "Animal::eat" << std::endl; }
    virtual void eat2() { std::cout << "Animal::eat2" << std::endl; }
    virtual void eat3() { std::cout << "Animal::eat3" << std::endl; }
};

       Animal实例化后在内存中存储如下，含有虚函数的类实例化后首部地址存入虚函数地址，以此来访问虚函数。而一个类仅拥有一个虚函数表，对象通过虚函数地址访问到该表。

 

 Animal animal；

虚函数所在地址与该类对象地址一致，为了方便64位机器打印地址，类型转化为long long。

 (long long*) * (long long*)(&animal)   虚函数表的地址(取animal对象第一个元素的值)

(long long *)*(long long *)*(long long *)&animal    第一个虚函数的入口地址(取虚函数表中第一个元素的值)