C++的虚函数相关知识点（二）

2. 以下几种情况下虚函数的特性将失效

1）派生类没有重写该函数；

2）使用基类对象（包括将派生类强制转换成基类对象）调用虚函数；

示例代码如下：

//使用基类对象不能实现动态性#include <iostream.h>class base{public: virtual void who(){cout << "This is base/n";}//1};class derivel : public base{public: void who(){cout << "This is derivel/n";} //2};void main(){derivel obj;base *p = &obj;p->who();//这里是通过基类指针调用的，会动态绑定((base)obj).who();//这里是通过一个临时基类对象调用的虚函数，这时虚函数与普通的调用规则相同。}

其运行结果如下：

This is derivel
This is base

 

延伸知识点：强制类型转换将会在调用前生成一个临时目标类型的对象，调用完成后自动释放（析构）临时对象，示例代码如下：

//使用基类对象不能实现动态性//强制类型转换时会不会生成新对象#include <iostream>#include <string>using namespace std;class base{string name;public: virtual void who(){cout << "This is base/n";}//1base(const char*name="未命名对象") //构造函数:name(name){cout << name << "诞生了！/n";}base(const base& obj)//拷贝构造函数{name = obj.name + "的拷贝";cout << name << "诞生了！/n";}~base()//析构函数{cout << name << "去了！/n";}};class derivel : public base{public: void who(){cout << "This is derivel/n";} //2};void main(){derivel obj;base *p = &obj;p->who();((base)obj).who();//这里会生成临时的base对象，调用完who函数后自动释放（析构）obj.who();}

运行结果如下：

未命名对象诞生了！
This is derivel
未命名对象的拷贝诞生了！
This is base
未命名对象的拷贝去了！
This is derivel
未命名对象去了！

 

3）在构造函数或析构函数中调用的虚函数与普通函数的调用规则相同，因为构造函数或析构函数只管当前类的构造或析构，在执行基类的构造函数时，派生类还未能完成构造，在执行基类的析构函数时，派生类对象已被析构了。

示例代码如下：

#include <iostream>#include <string>using namespace std;class base{public:base(){cout << "以下是在基类的构造函数中调用虚函数：/n";vf();}~base(){cout << "以下是在基类的析构函数中调用虚函数：/n";vf();}void fun(){cout << "以下是在基类的普通函数中调用虚函数：/n";vf();}virtual void vf(){cout << "base::vf()/n";}};class derivel : public base{public: virtual void vf(){cout << "deriver::vf()/n";}};void main(){derivel obj;base *p = &obj;cout << "以下是在main函数中直接调用虚函数：/n";p->vf();p->fun(); //通过普通函数调用虚函数}

运行结果如下：

以下是在基类的构造函数中调用虚函数：
base::vf()
以下是在main函数中直接调用虚函数：
deriver::vf()
以下是在基类的普通函数中调用虚函数：
deriver::vf()
以下是在基类的析构函数中调用虚函数：
base::vf()

 

4）当明确指定函数的所属类时（使用“类名::函数名”方式调用时），将只调用指定函数，虚函数的特性将无效。这种情况常用于派生虚函数中需要执行基类代码同名函数时。

示例代码如下：

#include <iostream>#include <string>using namespace std;class base{public:virtual void who(){cout << "This is base/n";}//1};class derivel : public base{public: void who(){base::who();cout << "This is derivel/n";} //2};void main(){derivel obj;base *p = &obj;p->who();p->base::who(); //指定调用基类的who}

运行结果如下：

This is base
This is derivel
This is base