关于虚函数的一些解读

peakflys原创作品，转载请注明源作者和源链接！http://www.cppblog.com/peakflys/archive/2013/12/01/204531.html
    virtual function是很多公司面试题的重点考察内容，虽然对于C++而言这是一个老生常谈的话题了，但是工作中我发现还是有很多人理解的不透彻。
    先看下面的一个例子：

/**

 *\brief virtual function test case
 *\author peakflys

 *\date Sun Dec  1 14:52:47 CST 2013

 */

#include

using namespace std;

class Base

{

public:

    virtual void print(const int a = 10) {cout<<"Base: "<

};

class Derive : public Base

{

public:

    virtual void print(const int a = 100) {cout<<"Derive: "<

};

int main()

{

    Base *pb = new Derive;

    pb->print();

    Base& rb = *pb;

    rb.print();

    Derive d;

    d.print();

    Base *pbb = &d; 

    pbb->print();

    Base& rbb = d;

    rbb.print();

    Base b;

    b.print();

    Derive *pd = (Derive*)&b;

    pd->print();

    Derive& rd = *(Derive*)&b;

    rd.print();

    delete pb; 

    return 0;

}

你认为运行后的结果是什么呢？
下面是在我机器上的运行结果（Linux dev 2.6.32，gcc (GCC) 4.8.1）

Derive: 10
Derive: 10
Derive: 100
Derive: 10
Derive: 10
Base: 10
Base: 100
Base: 100

上面例子主要考察的内容有四块：虚函数的执行、引用和指针的关系、函数调用过程、类型强转后的行为。如果你能答对所有的结果，下面的内容可以略过。
下面我们来一一回顾一下所涉及到的这四块内容。
1、虚函数的运行机理：
虚函数是C++实现多态性的必要手段，它在运行时刻才决定具体该调用哪个函数。对于虚函数的完整细节实现标准并未给出，但是大多数编译器厂商，包括GCC、VS的常见实现都是在含有虚函数的类对象起始地址增加一个虚表指针，虚表指针指向的数组空间称之为虚表，这个数组包含了类对象的所有虚函数地址。详细内容大家可以参看《Inside The C++ Object Model》的Function语义学（注：这本书里有部分结论和例子运行同现在主流编译器的实现有出入）。
2、引用的行为
在常见的编译器中，引用一般都是通过指针来实现的，它同指针的区别就是它比指针有更多的约束，使用上有更多的限制。
3、虚函数的调用过程：
虚函数的调用过程通常是以下三个步骤：
①、参数压栈
②、从虚表指针指向的虚表中找出函数的地址
③、调用函数。
这些操作都是在编译时期就确定的，所不同的是运行时刻对象不同，其对应的虚表中函数地址自然也就是运行时真实对象的函数，这也就是虚函数实现的本质。
而这个过程中，参数的入栈是对象无关的，而且是在编译时期就确定下来的。所以上面例子中所有指针和引用所调用函数的参数，都是指针和引用本身类型对应的函数默认参数，同运行时刻他们真实指向的对象内存无关。
4、类型强转后的行为
通常的类型强转是告诉编译器必须按照指定结构的内存布局来解析对应内存，正如上例中”Derive *pd = (Derive*)&b; “ ，编译器就会把b对应的内存来当做Derive的内存布局来解析，但是内存里的内容不变，所以虚函数运行正常。
注：这种行为很危险，如果使用的内存布局并不适合真实内存，很可能造成访问越界等问题，所以要格外小心强转操作的使用！对于例子中的downcasting行为，建议使用C++提供的dynamic_cast来转换。

阅读(981) | 评论(0) | 转发(0) |

0

上一篇：使用C语言扩展Python(五)

下一篇：c++多线程调用python