thinking in c++读书笔记－－－－－－－多态与虚函数

虚函数我就不介绍了，其实现的关键就在虚函数表VTABLE,每个类（前提是有虚函数）一个，每个对象有一个指向虚函数的指针VPTR。如图：

 

这里要说的是：

如果类中有纯虚函数，这个类也就称为抽象类，抽象类的对象在作为一个函数的参数时，不能用值传递，只能用地址或者引用.

原因我认为时这样的，如果采用值传递，在拷贝的过程中，如果传入的是基类的派生类，那么可能有数据丢失，产生切片，不过在函数里面调用虚函数的时候，还是能找到正确的函数（这里正确的函数是指基类的虚函数，因为在拷贝构造函数里面，构造的临时对象的vptr指向的是基类的vtable，而不是从原有对象中直接拷贝的。）。所以有虚函数的类对象必须用指针或者引用传递。

虚函数机制在构造函数里面无效，构造函数里面调用虚函数都只是本地版本。不可能是其派生类的版本。因为其派生类的版本可能还不存在。构造函数不能是虚函数。因为其类型还不确定。

析构函数都应该被定义成虚函数，道理很简单，不然不能完全释放内存。另外，虚函数机制在析构函数里面也无效，析构函数里面调用虚函数的话，也只能是本地版本，因为更靠外的版本可能已经不可用。