C++ 构造函数和析构函数与virtual关键字

一、构造函数
1.构造函数任何时候都不可以声明为虚函数,原因如下:1)虚函数的调用军需通过虚函数表vtable来调用,虚函数表是存储在内存空间的,在调用构造函数前,对象还未被实力化,也就没有该对象的内存空间,也无法找到虚函数表;2)虚函数表实在对象构造之后才建立的,所以构造函数不可能是函数。

2.不能在构造函数内调用虚函数,原因如下:假设有个class继承体系,如下代码,在该base class 的构造函数中调用虚函数,

class A{
public:
    A();
    virtual void print() const = 0;
    .......
};

A::A(){
    .......
    print();
}

class B : public A{
    public:
    B();
    virtual void print() const;
    ......
};

int main(){
    B b;
}

当构造B的对象时,B的base class 成分肯定会在derived class 构造之前先构造,神奇的是此时A的构造函数调用的print()为A类内版本,因为base class构造期间,virtual函数绝不会下降到derived class阶层,因为base class构造期间,derived class成员变量尚未初始化。

二、析构函数
1.类的设计目的如果不是作为base class使用,或不是为了具备多态性,析构函数就不该声明为虚函数,原因如下:因为有虚函数的类就会有虚函数表存在,故对象体积会变大,同样因为虚表指针的存在,使得C++中类的对象不在和其他语言(如C)内的相同声明有着一样的结构,,因此也就不再可能把它传递至或接受其它语言所写的函数,故不在有移植性(除非你名确补偿vptr)。
带多态性质的base class或类中带有任何virtual函数,就一定要拥有一个virtual析构函数,原因如下:假设derived class对象经由base class指针被删除,而该base class带着一个non-virtual析构函数,实际执行时通常会发生对象的derived成分没有被销毁。
2.不能在析构函数内调用虚函数,原因如下:一旦derived class析构函数开始执行,对象的derived class成员就会呈现未定义值,所以C++ 就会视它仿佛不存在,进入base class析构后,对象就成为一个base class对象,而virtual函数和 dynamic_casts也这么认为,这也就失去了它动态调用的意义了。

你可能感兴趣的:(C++,基础使用技巧总结)