虚析构函数(√)、纯虚析构函数(√)、虚构造函数(X)

ゝ一世哀愁。 2022-08-27 00:29 226阅读 0赞

http://www.cnblogs.com/chio/archive/2007/09/10/888260.html

一. 虚析构函数

我们知道，为了能够正确的调用对象的析构函数，一般要求具有层次结构的顶级类定义其析构函数为虚函数。因为在delete一个抽象类指针时候，必须要通过虚函数找到真正的析构函数。  
  
如：

class  Base  
\{  
 public :  
   Base()\{\}  
    virtual   ~ Base()\{\}  
\};  
  
 class  Derived:  public  Base  
\{  
 public :  
   Derived()\{ ![dot.gif][]\};  
    ~ Derived()\{ ![dot.gif][]\};  
\}  
  
 void  foo()  
\{  
   Base  \* pb;  
   pb  =   new  Derived;  
   delete pb;  
\}

这是正确的用法，会发生动态绑定，它会先调用Derived的析构函数，然后是Base的析构函数  
  
如果析构函数不加virtual，delete pb只会执行Base的析构函数，而不是真正的Derived析构函数。

因为不是virtual函数，所以调用的函数依赖于指向静态类型，即Base

最后，总结一下关于虚函数的一些常见问题：  
  
1) 虚函数是动态绑定的，也就是说，使用虚函数的指针和引用能够正确找到实际类的对应函数，而不是执行定义类的函数。这是虚函数的基本功能，就不再解释了。  
  
2) 构造函数不能是虚函数。而且，在构造函数中调用虚函数，实际执行的是父类的对应函数，因为自己还没有构造好, 多态是被disable的。  
  
3) 析构函数可以是虚函数，而且，在一个复杂类结构中，这往往是必须的。  
   
4) 将一个函数定义为纯虚函数，实际上是将这个类定义为抽象类，不能实例化对象。  
  
5) 纯虚函数通常没有定义体，但也完全可以拥有。  
  
6)  析构函数可以是纯虚的，但纯虚析构函数必须有定义体，因为析构函数的调用是在子类中隐含的。  
  
7) 非纯的虚函数必须有定义体，不然是一个错误。  
  
8) 派生类的override虚函数定义必须和父类完全一致。除了一个特例，如果父类中返回值是一个指针或引用，子类override时可以返回这个指针（或引用）的派生。例如，在上面的例子中，在Base中定义了 virtual Base\* clone(); 在Derived中可以定义为 virtual Derived\* clone()。可以看到，这种放松对于Clone模式是非常有用的。

[dot.gif]: /images/20220824/508e7d41fce844418c988d47dd4c352e.png