虚函数的意义很简单,就是动态绑定,从而完成多态。没有太大的疑问。但是关于虚函数的使用,有两种情况比较特殊,需要留意:构造函数和虚构函数。
在实例化一个类时,会按照父类-成员变量-子类的构造函数依次调用构造函数,析构的时候,会按照相反的次序依次调用析构函数。
如果在构造函数/析构函数中调用虚函数,或者调用的一般成员函数(非虚函数)中调用了虚函数,情况会怎么样那?这种情况下,因为编译器知道类是什么类型,所以此时编译器会根据当前类的类型来调用相应的虚函数,而不会产生多态,所以[color=red][size=large]在构造函数/虚构函数中调用(直接或间接)虚函数,其行为是可控的。[/size][/color]
话说,c++的坑还真是多啊。
附代码:
#include <iostream>
using namespace std;
class a
{
public:
a(){resay();}
virtual void say(){ cout << "In a" << endl;}
void resay(){say();}
~a(){resay();}
};
class b:public a
{
public:
void say(){ cout << "In b" << endl;}
void resay(){say();}
//~b(){}
};
int main()
{
a *t = new b();
t->resay();
delete t;
return 0;
}
输出:
In a //a的构造函数中调用a的say
In b
In a //调用a的析构函数,也是调用a的say
在实例化一个类时,会按照父类-成员变量-子类的构造函数依次调用构造函数,析构的时候,会按照相反的次序依次调用析构函数。
如果在构造函数/析构函数中调用虚函数,或者调用的一般成员函数(非虚函数)中调用了虚函数,情况会怎么样那?这种情况下,因为编译器知道类是什么类型,所以此时编译器会根据当前类的类型来调用相应的虚函数,而不会产生多态,所以[color=red][size=large]在构造函数/虚构函数中调用(直接或间接)虚函数,其行为是可控的。[/size][/color]
话说,c++的坑还真是多啊。
附代码:
#include <iostream>
using namespace std;
class a
{
public:
a(){resay();}
virtual void say(){ cout << "In a" << endl;}
void resay(){say();}
~a(){resay();}
};
class b:public a
{
public:
void say(){ cout << "In b" << endl;}
void resay(){say();}
//~b(){}
};
int main()
{
a *t = new b();
t->resay();
delete t;
return 0;
}
输出:
In a //a的构造函数中调用a的say
In b
In a //调用a的析构函数,也是调用a的say