虚函数相关

C++：构造函数和析构函数能否为虚函数？

简单回答是：构造函数不能为虚函数，而析构函数可以且常常是虚函数。

（1） 构造函数不能为虚函数

这就要涉及到C++对象的构造问题了，C++对象在三个地方构建：（1）函数堆栈；（2）自由存储区，或称之为堆；（3）静态存储区。无论在那里构建，其过程都是两步：首先，分配一块内存；其次，调用构造函数。好，问题来了，如果构造函数是虚函数，那么就需要通过vtable 来调用，但此时面对一块 raw memeory，到哪里去找 vtable 呢？毕竟，vtable 是在构造函数中才初始化的啊，而不是在其之前。因此构造函数不能为虚函数。

 

（2）析构函数可以是虚函数，且常常如此

这个就好理解了，因为此时 vtable 已经初始化了；况且我们通常通过基类的指针来销毁对象，如果析构函数不为虚的话，就不能正确识别对象类型，从而不能正确销毁对象。

 

 

构造函数不能声明为虚函数的原因是:

1 构造一个对象的时候，必须知道对象的实际类型，而虚函数行为是在运行期间确定实际类型的。而在构造一个对象时，由于对象还未构造成功。编译器无法知道对象 的实际类型，是该类本身，还是该类的一个派生类，或是更深层次的派生类。无法确定。

2 虚函数的执行依赖于虚函数表。而虚函数表在构造函数中进行初始化工作，即初始化vptr，让他指向正确的虚函数表。而在构造对象期间，虚函数表还没有被初始化，将无法进行。虚函数的意思就是开启动态绑定，程序会根据对象的动态类型来选择要调用的方法。然而在构造函数运行的时候，这个对象的动态类型还不完整，没有办法确定它到底是什么类型，故构造函数不能动态绑定。（动态绑定是根据对象的动态类型而不是函数名，在调用构造函数之前，这个对象根本就不存在，它怎么动态绑定？）编译器在调用基类的构造函数的时候并不知道你要构造的是一个基类的对象还是一个派生类的对象。析构函数设为虚函数的作用: 解释：在类的继承中，如果有基类指针指向派生类，那么用基类指针delete时，如果不定义成虚函数，派生类中派生的那部分无法析构。 例：

虚函数表

http://blog.csdn.net/haoel/article/details/1948051/

https://blog.twofei.com/496/

C++中的虚函数(Virtual Function)是通过一张虚函数表(Virtual Table)实现的，每个含有虚函数的类都有一张虚函数表，表中每一项是一个虚函数的地址，也就是说，虚函数表的每一项是一个虚函数的指针。

父类（基类）指针，该指针可以指向任何子类（派生类）对象（实例），然后通过基类的指针调用实际派生类的成员函数

多态：同一个名字的函数希望在子类中和父类中的行为是不同的，行为相同的方法只在基类中声明就行，行为不同的方法要在基类和子类中都声明（名字相同） 
实现方法：使用虚方法。在基类中用virtual声明函数为虚函数，在派生类同名函数前也加virtual，则可以在派生类该函数中重新定义新的行为

“一种接口，多种方法”

什么是多态?为什么用多态?有什么好处?多态在什么地方用？
 
 

 
 

  
  

   
   
什么是多态？
   
   
概念：同一操作作用于不同的对象，可以有不同的解释，产生不同的执行结果，这就是多态性。简单的说:就是用基类的引用指向子类的对象。
   
   
 
   
   
为什么要用多态呢？
   
   
原因：我们知道，封装可以隐藏实现细节，使得代码模块化；继承可以扩展已存在的代码模块（类）；它们的目的都是为了——代码重用。而多态除了代码的复用性外，还可以解决项目中紧偶合的问题,提高程序的可扩展性.。耦合度讲的是模块模块之间，代码代码之间的关联度，通过对系统的分析把他分解成一个一个子模块，子模块提供稳定的接口，达到降低系统耦合度的的目的，模块模块之间尽量使用模块接口访问，而不是随意引用其他模块的成员变量。
   
   
 
   
   
多态有什么好处？
   
   
有两个好处：
   
   
1. 应用程序不必为每一个派生类编写功能调用，只需要对抽象基类进行处理即可。大大提高程序的可复用性。//继承 
2. 派生类的功能可以被基类的方法或引用变量所调用，这叫向后兼容，可以提高可扩充性和可维护性。 //多态的真正作用，
   
   


   
   
  
  
 
 

重载，继承，重写和多态，泛型的区别： 
（1）重载是在一个类里一系列参数不同名字相同的方法。 
（2）继承是子类获得父类的成员，使用父类的方法。 
（3）重写是继承后重新实现父类的方法。 
（4）多态是具有表现多种形态的能力的特征，是为了避免在父类里大量重载引起代码臃肿且难于维护。继承是子类使用父类的方法，而多态则是父类使用子类的方法 
（5） 泛型就是指我们不为特定的类型进行专门编码，而采用对不同类型进行通用编码的方式，无论是数据结果还是算法，多态实际上就是泛型。

有趣的说法是：继承是子类使用父类的方法，而多态则是父类使用子类的方法。