深入解析C++中多态性和虚函数使用原理
1.为什么需要virtual
按照Java的思维方式，在有了继承和向上类型转换(upcasting)之后，就可以实现多态性了。但是在C++中似乎并不能orz。考虑这种情况：
#include<iostream>
using std::cout;
using std::endl;
class A{
public:
void f() const{
cout<<"class A's function"<<endl;
}
};
class B : public A{
public:
void f() const{
cout<<"class B's function"<<endl;
}
};
int main(){
B b;
A *ptr_a = &b;
A &ref_a = b;
ptr_a->f();//print: class A's function
ref_a.f();//print: Class A's function
}在使用基类指针或引用调用一个派生类对象的函数时，我们发现程序仍然在调用基类的函数，要想解决这种情况，就要引入virtual关键字，将上面代码里的class A修改如下，main中的输出就变成类B中f()的输出了。
class A{
public:
virtual void f() const{
cout<<"class A's function"<<endl;
}
};那么为什么Java不需要呢？因为virtual关键字实现功能的同时，会增加该类一些操作的时间和空间占用，C++将这部分占用的优化决定权交给了程序员，以实现可能的效率提高；而Java内置了virtual的机制，没有提高效率的选择，但是简化了编程。(关于virtual的具体机制，建议参考Thinking in C++)
有两点需要注意的：
- 第一、当使用基类指针指向派生类时，无法通过基类指针直接调用派生类中增加的函数（基类中没有同名虚函数），除非将基类指针强制类型转换为派生类指针。
- 第二、只能通过基类指针或者引用来调用派生类对象，如果我们将一个派生类对象通过值传递的方式传递给基类对象，这个对象被真的切成一个基类对象，而不具有任何派生类的内容。
2.纯虚函数和抽象类
在类设计时，常常希望基类仅仅作为派生类的一个接口，被继承实现，而不会去创建基类对象，这时，可以在基类中定义纯虚函数，使其成为一个抽象类。定义纯虚函数语法是在一个虚函数声名的基础上，加上=0。例如：virtual void f() = 0;注意：当继承一个抽象类时，必须实现其所有的纯虚函数，否则继承出的类也是一个抽象类。
一般情况下，在基类中我们不会对纯虚函数进行实现，但是C++提供了实现纯虚函数的机制，这种方法可以让我们定义一段公共代码，使派生类可以公用。
class A{
public:
virtual void do() = 0;
};
/*
*纯虚函数不能作为inline函数实现，要放在类外！
*/
void A::do(){
//一些公共代码
}
class B : public A{
public:
void do() {
A::do();
//其他代码
}
};3.构造函数与虚函数
如上文所说，定义一个虚函数时，需要做一些额外的工作，完成这些工作的代码其实被秘密插入到类构造函数的开头部分。那么就有一个问题，如果我们在构造函数中调用虚函数会发生什么现象？答案是，会调用这个虚函数的本地版本，即虚函数机制在构造函数中不工作。
另外，构造函数也不能被定义为虚函数。
4.虚析构函数与纯虚析构函数
构造函数不能被定义为虚函数，而析构函数可以，并且经常被定义为虚函数。
#include<iostream>
using namespace std;
class Base1{
public:
~Base1(){cout<<"~Base1()"<<endl;}
};
class Base2{
public:
virtual ~Base2(){cout<<"~Base2()"<<endl;}
};
class Derived1 : public Base1{
public:
~Derived1(){cout<<"~Derived1()"<<endl;}
};
class Derived2 : public Base2{
public:
~Derived2(){cout<<"~Derived2()"<<endl;}
};
int main(){
Base1* pd1 = new Derived1();
Base2* pd2 = new Derived2();
delete pd1;
delete pd2;
}上面代码的控制台输出：
~Base1()
~Derived2()
~Base2()
上面的代码暴露出在使用多态性时，不把析构函数定义成虚函数所带来的影响。这种错误不会立刻使程序崩溃，但是它不知不觉中使内存泄漏。
5.纯虚析构函数的应用
在一些时候，我们需要定义一个抽象类，但是刚好没有其他纯虚函数，这时候我们不妨将析构函数定义为纯虚的，因为作为基类的析构函数本来就要求为虚函数，将其进一步定义为纯虚函数并无太大不同。唯一需要注意的是，定义纯虚析构函数时必须为其提供函数体，如下。
class A{
public:
virtual ~A() = 0;
};
A::~A(){ }
class B:public A{
//不一定需要重定义析构函数，根据需要
}还要注意一点，在析构函数中，虚机制也是不存在的，可通过下面的代码体会。
#include<iostream>
using namespace std;
class Base{
public:
virtual ~Base(){cout<<"~Base()"<<endl;f();}
virtual void f(){cout<<"Base::f()"<<endl;}
};
class Derived : public Base{
public:
~Derived(){cout<<"~Derived()"<<endl;}
void f(){cout<<"Derived::f()"<<endl;}
};
int main(){
Base * pb = new Derived();
delete pb;
}控制台输出为：
~Derived()
~Base()
Base::f()
以上就是深入解析C++中多态性和虚函数使用原理的详细内容，更多关于C++ 多态性虚函数的资料请关注脚本之家其它相关文章！
相关文章
一直以来总是对这个问题的认识比较朦胧，我相信很多朋友也是这样的，总是听到内存一会在栈上分配，一会又在堆上分配，那么它们之间到底是怎么的区别呢，让我们一起来看看2022-03-03
这篇文章主要介绍了解析C++中的字符串处理函数和指针,是C++入门学习中的基础知识,需要的朋友可以参考下2015-09-09
本文将探索一下字符串的拷贝与比较，与应用层不同内核字符串拷贝与比较也需要使用内核专用的API函数，字符串的拷贝往往伴随有内核内存分配，我们将首先简单介绍内核如何分配堆空间，然后再以此为契机简介字符串的拷贝与比较2022-09-09
这篇文章主要介绍了C语言学习笔记之VS2022安装使用教程,在VS2022中，在使用scanf函数编译出错，本文给大家提到了解决方法，需要的朋友可以参考下2022-05-05
这篇文章主要介绍了C++类模板以及保存数据到文件方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教2023-08-08
这篇文章主要介绍了如何理解C++ 临时变量的常量性，帮助大家更好的理解和学习c++ 变量，感兴趣的朋友可以了解下2020-08-08
这篇文章主要介绍了C语言对结构体数组按照某项规则进行排序的实现过程，文中通过示例代码介绍的非常详细，对大家的学习或者工作具有一定的参考学习价值，需要的朋友们下面随着小编来一起学习吧2023-02-02
这篇文章主要为大家详细介绍了C语言实现简单三子棋小游戏，文中示例代码介绍的非常详细，具有一定的参考价值，感兴趣的小伙伴们可以参考一下2021-06-06
以下是对C++中的虚函数进行了详细的分析介绍，需要的朋友可以过来参考下2013-08-08
本篇文章是对C++中输出指针自增(++)运算的示例进行了详细的分析介绍，需要的朋友参考下2013-05-05
最新评论