转自<http://www.cnblogs.com/carter2000/archive/2012/04/28/2474960.html>
先看一段在构造函数中直接调用虚函数的代码:
#include <iostream> class Base { public: Base() { Foo(); } ///< 打印 1 virtual void Foo() { std::cout << 1 << std::endl; } }; class Derive : public Base { public: Derive() : Base(), m_pData(new int(2)) {} ~Derive() { delete m_pData; } virtual void Foo() { std::cout << *m_pData << std::endl; } private: int* m_pData; }; int main() { Base* p = new Derive(); delete p; return 0; }
这里的结果将打印:1。
这表明第6行执行的的是Base::Foo()而不是Derive::Foo(),也就是说:虚函数在构造函数中“不起作用”。为什么?
当实例化一个派生类对象时,首先进行基类部分的构造,然后再进行派生类部分的构造。即创建Derive对象时,会先调用Base的构造函数,再调用Derive的构造函数。
当在构造基类部分时,派生类还没被完全创建,从某种意义上讲此时它只是个基类对象。即当Base::Base()执行时Derive对象还没被完全创建,此时它被当成一个Base对象,而不是Derive对象,因此Foo绑定的是Base的Foo。
C++之所以这样设计是为了减少错误和Bug的出现。假设在构造函数中虚函数仍然“生效”,即Base::Base()中的Foo();所调用 的是Derive::Foo()。当Base::Base()被调用时派生类中的数据m_pData还未被正确初始化,这时执行 Derive::Foo()将导致程序对一个未初始化的地址解引用,得到的结果是不可预料的,甚至是程序崩溃(访问非法内存)。
总结来说:基类部分在派生类部分之前被构造,当基类构造函数执行时派生类中的数据成员还没被初始化。如果基类构造函数中的虚函数调用被解析成调用派生类的虚函数,而派生类的虚函数中又访问到未初始化的派生类数据,将导致程序出现一些未定义行为和bug。
对于这一点,一般编译器会给予一定的支持。如果将基类中的Foo声明成纯虚函数时(看下面代码),编译器可能会:在编译时给出警告、链接时给出 符号未解析错误(unresolved external symbol)。如果能生成可执行文件,运行时一定出错。因为Base::Base()中的Foo总是调用Base::Foo,而此时Base::Foo 只声明没定义。大部分编译器在链接时就能识别出来。
#include <iostream> class Base { public: Base() { Foo(); } ///< 可能的结果:编译警告、链接出错、运行时错误 virtual void Foo() = 0; }; class Derive : public Base { public: Derive() : Base(), m_pData(new int(2)) {} ~Derive() { delete m_pData; } virtual void Foo() { std::cout << *m_pData << std::endl; } private: int* m_pData; }; int main() { Base* p = new Derive(); delete p; return 0; }
如果编译器都能够在编译或链接时识别出这种错误调用,那么我们犯错的机会将大大减少。只是有一些比较不直观的情况(看下面代码),编译器是无法判断出来的。这种情况下它可以生成可执行文件,但是当程序运行时会出错。
#include <iostream> class Base { public: Base() { Subtle(); } ///< 运行时错误(pure virtual function call) virtual void Foo() = 0; void Subtle() { Foo(); } }; class Derive : public Base { public: Derive() : Base(), m_pData(new int(2)) {} ~Derive() { delete m_pData; } virtual void Foo() { std::cout << *m_pData << std::endl; } private: int* m_pData; }; int main() { Base* p = new Derive(); delete p; return 0; }
从编译器开发人员的角度上看,如何实现上述的“特性”呢?
我的猜测是在虚函数表地址的绑定上做文章:在“当前类”(正在被构造的类)的构造函数被调用时,将“当前类”的虚函数表地址绑定到对象上。当基 类部分被构造时,“当前类”是基类,这里是Base,即当Base::Base()的函数体被调用时,Base的虚函数表地址会被绑定到对象上。而当 Derive::Derive()的函数体被调用时,Derive的虚函数表地址被绑定到对象上,因此最终对象上绑定的是Derive的虚函数表。
这样编译器在处理的时候就会变得很自然。因为每个类在被构造时不用去关心是否有其他类从自己派生,而不需要关心自己是否从其他类派生,而只要按 照一个统一的流程,在自身的构造函数执行之前把自身的虚函数表地址绑定到当前对象上(一般是保存在对象内存空间中的前4个字节)。因为对象的构造是从最基 类部分(比如A<-B<-C,A是最基类,C是最派生类)开始构造,一层一层往外构造中间类(B),最后构造的是最派生类(C),所以最终对 象上绑定的就自然而然就是最派生类的虚函数表。
也就是说对象的虚函数表在对象被构造的过程中是在不断变化的,构造基类部分(Base)时被绑定一次,构造派生类部分(Derive)时,又重 新绑定一次。基类构造函数中的虚函数调用,按正常的虚函数调用规则去调用函数,自然而然地就调用到了基类版本的虚函数,因为此时对象绑定的是基类的虚函数 表。
下面要给出在WIN7下的Visual Studio2010写的一段程序,用以验证“对象的虚函数表在对象被构造的过程中是在不断变化的”这个观点。
这个程序在类的构造函数里做了三件事:1.打印出this指针的地址;2.打印虚函数表的地址;3.直接通过虚函数表来调用虚函数。
打印this指针,是为了表明创建Derive对象是,不管是执行Base::Base()还是执行Derive::Derive(),它们构造的是同一个对象,因此两次打印出来的this指针必定相等。
#include <iostream> class Base { public: Base() { PrintBase(); } virtual ~Base() { PrintBase(); } void PrintBase() { std::cout << "Address of Base: " << this << std::endl; // 虚表的地址存在对象内存空间里的头4个字节 int* vt = (int*)*((int*)this); std::cout << "Address of Base Vtable: " << vt << std::endl; // 通过vt来调用Foo函数,以证明vt指向的确实是虚函数表 std::cout << "Call Foo by vt -> "; void (*pFoo)(Base* const) = (void (*)(Base* const))vt[1]; ///< 注意这里索引变成 1 了,因为析构函数定义在Foo之前 (*pFoo)(this); std::cout << std::endl; } virtual void Foo() { std::cout << "Base" << std::endl; } }; class Derive : public Base { public: Derive() : Base() { PrintDerive(); } virtual ~Derive() { PrintDerive(); } void PrintDerive() { std::cout << "Address of Derive: " << this << std::endl; // 虚表的地址存在对象内存空间里的头4个字节 int* vt = (int*)*((int*)this); std::cout << "Address of Derive Vtable: " << vt << std::endl; // 通过vt来调用Foo函数,以证明vt指向的确实是虚函数表 std::cout << "Call Foo by vt -> "; void (*pFoo)(Base* const) = (void (*)(Base* const))vt[1]; ///< 注意这里索引变成 1 了,因为析构函数定义在Foo之前 (*pFoo)(this); std::cout << std::endl; } virtual void Foo() { std::cout << "Derive" << std::endl; } }; int main() { Base* p = new Derive(); delete p; return 0; }
打印虚函数表的地址,是为了表明在创建Derive对象的过程中,虚函数表的地址是有变化的,因此两次打印出来的虚函数表地址必定不相等。
直接通过函数表来调用虚函数,只是为了表明前面所打印的确实是正确的虚函数表地址,因此Base::Base()的第19行将打印Base,而Derive::Derive()的第43行将打印Derive。
注意:这段代码是编译器相关的,因为虚函数表的地址在对象中存储的位置不一定是前4个字节,这是由编译器的实现细节来决定的,因此这段代码在不同的编译器未必能正常工作,这里所使用的是Visual Studio2010。
#include <iostream> class Base { public: Base() { PrintBase(); } void PrintBase() { std::cout << "Address of Base: " << this << std::endl; // 虚表的地址存在对象内存空间里的头4个字节 int* vt = (int*)*((int*)this); std::cout << "Address of Base Vtable: " << vt << std::endl; // 通过vt来调用Foo函数,以证明vt指向的确实是虚函数表 std::cout << "Call Foo by vt -> "; void (*pFoo)(Base* const) = (void (*)(Base* const))vt[0]; (*pFoo)(this); std::cout << std::endl; } virtual void Foo() { std::cout << "Base" << std::endl; } }; class Derive : public Base { public: Derive() : Base() { PrintDerive(); } void PrintDerive() { std::cout << "Address of Derive: " << this << std::endl; // 虚表的地址存在对象内存空间里的头4个字节 int* vt = (int*)*((int*)this); std::cout << "Address of Derive Vtable: " << vt << std::endl; // 通过vt来调用Foo函数,以证明vt指向的确实是虚函数表 std::cout << "Call Foo by vt -> "; void (*pFoo)(Base* const) = (void (*)(Base* const))vt[0]; (*pFoo)(this); std::cout << std::endl; } virtual void Foo() { std::cout << "Derive" << std::endl; } }; int main() { Base* p = new Derive(); delete p; return 0; }
输出的结果跟预料的一样:
Address of Base: 002E7F98 Address of Base Vtable: 01387840 Call Foo by vt -> Base Address of Derive: 002E7F98 Address of Derive Vtable: 01387834 Call Foo by vt -> Derive
在析构函数中调用虚函数,和在构造函数中调用虚函数一样。
析构函数的调用跟构造函数的调用顺序是相反的,它从最派生类的析构函数开始的。也就是说当基类的析构函数执行时,派生类的析构函数已经执行过, 派生类中的成员数据被认为已经无效。假设基类中虚函数调用能调用得到派生类的虚函数,那么派生类的虚函数将访问一些已经“无效”的数据,所带来的问题和访 问一些未初始化的数据一样。而同样,我们可以认为在析构的过程中,虚函数表也是在不断变化的。
将上面的代码增加析构函数的调用,并稍微修改一下,就能验证这一点:
#include <iostream> class Base { public: Base() { PrintBase(); } virtual ~Base() { PrintBase(); } void PrintBase() { std::cout << "Address of Base: " << this << std::endl; // 虚表的地址存在对象内存空间里的头4个字节 int* vt = (int*)*((int*)this); std::cout << "Address of Base Vtable: " << vt << std::endl; // 通过vt来调用Foo函数,以证明vt指向的确实是虚函数表 std::cout << "Call Foo by vt -> "; void (*pFoo)(Base* const) = (void (*)(Base* const))vt[1]; ///< 注意这里索引变成 1 了,因为析构函数定义在Foo之前 (*pFoo)(this); std::cout << std::endl; } virtual void Foo() { std::cout << "Base" << std::endl; } }; class Derive : public Base { public: Derive() : Base() { PrintDerive(); } virtual ~Derive() { PrintDerive(); } void PrintDerive() { std::cout << "Address of Derive: " << this << std::endl; // 虚表的地址存在对象内存空间里的头4个字节 int* vt = (int*)*((int*)this); std::cout << "Address of Derive Vtable: " << vt << std::endl; // 通过vt来调用Foo函数,以证明vt指向的确实是虚函数表 std::cout << "Call Foo by vt -> "; void (*pFoo)(Base* const) = (void (*)(Base* const))vt[1]; ///< 注意这里索引变成 1 了,因为析构函数定义在Foo之前 (*pFoo)(this); std::cout << std::endl; } virtual void Foo() { std::cout << "Derive" << std::endl; } }; int main() { Base* p = new Derive(); delete p; return 0; }
下面是打印结果,可以看到构造和析构是顺序相反的两个过程:
Address of Base: 001E7F98 Address of Base Vtable: 01297844 Call Foo by vt -> Base Address of Derive: 001E7F98 Address of Derive Vtable: 01297834 Call Foo by vt -> Derive Address of Derive: 001E7F98 Address of Derive Vtable: 01297834 Call Foo by vt -> Derive Address of Base: 001E7F98 Address of Base Vtable: 01297844 Call Foo by vt -> Base
最终结论:
1. 不要在构造函数和析构函数中调用虚函数,因为这种情况下的虚函数调用不会调用到外层派生类的虚函数(参考:http://www.artima.com/cppsource/nevercall.html、http://www.parashift.com/c%2B%2B-faq-lite/strange-inheritance.html#faq-23.5)。
2. 对象的虚函数表地址在对象的构造和析构过程中会随着部分类的构造和析构而发生变化,这一点应该是编译器实现相关的。
注:以上的讨论是基于简单的单继承,对于多重继承或虚继承会有一些细节上的差别。
相关推荐
1. 从存储空间角度,虚函数对应一个指向vtable虚函数表的指针,这大家都知道,可是这个指向vtable的指针其实是存储在对象的内存空间的。问题出来了,如果构造函数是虚...而构造函数是在创建对象时自动调用的,不可能通
下面小编就为大家带来一篇c++ 构造函数中调用虚函数的实现方法。小编觉得挺不错的,现在就分享给大家,也给大家做个参考。一起跟随小编过来看看吧
在虚函数的基类与子类构造函数中调用虚函数。当生成子类对象时,函数的调用顺序是怎样的
而继承包含了虚拟继承和普通继承,在可见性上分为public、protected、private。可见性继承比较简单,而虚拟继承对学习c++的难度较大。 首先,虚拟继承与普通继承的区别有: 假设derived 继承自base类,那么...
在C#中,用virtual关键字修饰的方法(属性、事件)称为虚方法(属性、事件),表示该方法可以由派生类重写(override)。虚方法是.NET中的重要概念,可以说在某种程度上,虚方法使得多态成为可能。 然而虚方法的使用...
主要介绍了C#中派生类调用基类构造函数用法,实例分析了派生类调用基类构造函数的技巧,具有一定参考借鉴价值,需要的朋友可以参考下
构造函数是一种可初始化其类的实例的成员函数。构造函数具有与类相同的名称,没有返回值。构造函数可以具有任意数量...虚函数指针指向类中的虚函数表,确保虚函数正确地调用绑定代码。 它执行自己函数体中的所有代码。
代码如下:#include class base{public: base() { std::cout<<std::endl; std::cout<<“base constructor”<<std::endl; func1(); std::cout<<std::endl; } ... func
构造函数:不可以虚化(重写),在子类的构造函数前自动被调用一次父类的构造函数. 析构函数:当[DELETE]类指针时 非虚会从[此类]一直释放到基类,为虚时会从被赋于的[NEW类]的析构函数一直释放到基类. 总得来说释放[方向...
1、定义一个类A,在A中有两个私有的整型变量a和b,定义构造函数对a和b进行初始化,并实现成员函数getA()和getB()分别取得a和b的值。定义类B为A的公有继承类,并定义同名成员函数getA(),使其返回a的2倍。主函数中...
调用了 A 的构造函数 6 次。N 12、派生类后于基类构造,先于基类释放。Y 13、类是对象的抽象,对象是类的具体化。Y 14、二进制文件中数据的存放格式和计算机内存中存储的格式是一致的。Y 15、流提取运算符和流插入...
当我们在程序中声明一个对象时,编译器为调用构造函数(如果有的话),而这个调用将通常是外部的,也就是说它不属于class对象本身的调用,假如构造函数是私有的,由于在class外部不允许访问私有成员,所以这将导致...
一个类的虚函数在它自己的构造函数和析构函数中被调用的时候,它们就变成普通函数了,不“虚”了。也就是说不能在构造函数和析构函数中让自己“多态”。
虚函数表的创建和虚函数指针的初始化都是在构造函数中进行的。当编译器发现基类当中有虚函数存在时,就会为每个含有虚函数的类创建一个虚函数表(vtable),该表是一个一维数组,存放的是虚函数的地址,子类中如果...
当父类中某函数被定义为虚函数时,如果在子类中有该函数则调用子类的函数,否则调用父类。 当父类中定义了纯虚函数,子类中必须将其功能化才能进行实例化,,否则子类于是抽象类。 再程序入口函数定义的变量或对象...
构造函数用来构造一个对象,主要完成一些初始化工作,如果类中不提供构造函数,编译器会默认的提供一个默认构造函数(参数为空的构造函数就是默认构造函数) ;析构函数是隐式调用的,delete对象时候会自动调用完成...
声名一个基类vehicle,有私有成员maxspeed和weight,公有成员run...注意:构造函数和析构函数中均为cout语句,说明哪个构造/析构函数被调用。 该题重点和难点在于构造函数的设计,需考虑怎么给基类及最远基类传递参数。
**normal成员函数:**其地址和一般函数的地址没有区别,就是函数代码在内存中的真实地址,但其调用要绑定到一个实实在在的对象上。取其地址需要使用“&”运算符。 **virtual成员函数:**其地址指的是其在vtable中的...