zoukankan      html  css  js  c++  java
  • C++中为什么构造函数不能是虚函数,析构函数是虚函数

    一, 什么是虚函数?

    简单地说,那些被virtual关键字修饰的成员函数,就是虚函数。虚函数的作用,用专业术语来解释就是实现多态性(Polymorphism),多态性是将接口与实现进行分离;用形象的语言来解释就是实现以共同的方法,但因个体差异而采用不同的策略。

    所谓虚函数就是多态情况下只执行一个,而从继承的概念来讲,总是要先构造父类对象,然后才能是子类对象,如果构造函数设为虚函数,那么当你在构造父类的构造函数时就不得不显示的调用构造,还有一个原因就是为了防错,试想如果你在子类中一不小心重写了个跟父类构造函数一样的函数,那么你的父类的构造函数将被覆盖,也即不能完成父类的构造.就会出错.


    析构函数在某些情况下必须为虚函数(比如你想让你类能够被继承,那么这个类的析构函数最好是虚的,继承一个析构函数不是虚的类是有风险的),值得补充的是,当基类的函数是虚函数,子类的重载的函数也是虚的,即使不加virtual关键字也是虚的。

    如果子类覆盖的父类的虚函数
    则父类的指针或引用实际指向子类的对象或指向自己的对象
    那通过该指针或引用调用虚函数时,则将调用子类的(虚)函数

    如果不是虚函数,则将调用父类的函数

    class A{
    
    public:
    
    virtual void print(){ cout<<”This is A”<<endl;} //现在成了虚函数了
    
    };
    
    class B:public A{
    
    public:
    
    void print(){ cout<<”This is B”<<endl;} //这里需要在前面加上关键字virtual吗?
    
    };

    毫无疑问,class A的成员函数print()已经成了虚函数,那么class B的print()成了虚函数了吗?回答是Yes,我们只需在把基类的成员函数设为virtual,其派生类的相应的函数也会自动变为虚函数。所以,class B的print()也成了虚函数。那么对于在派生类的相应函数前是否需要用virtual关键字修饰,那就是你自己的问题了。

    现在重新运行main2的代码,这样输出的结果就是This is A和This is B了。

    
    
    int main(){ //main2
    
    A a;
    
    B b;
    
    A* p1=&a;
    
    A* p2=&b;
    
    p1->print();
    
    p2->print();
    
    }

    析构函数应定义为虚函数,否则容易发生内存泄露

    1. 为什么构造函数不能为虚函数?

        虚函数的调用需要虚函数表指针,而该指针存放在对象的内容空间中;若构造函数声明为虚函数,那么由于对象还未创建,还没有内存空间,更没有虚函数表地址用来调用虚函数——构造函数了。
     
    2. 为什么析构函数可以为虚函数,如果不设为虚函数可能会存在什么问题?
        首先析构函数可以为虚函数,而且当要使用基类指针或引用调用子类时,最好将基类的析构函数声明为虚函数,否则可以存在内存泄露的问题。
        举例说明:
        子类B继承自基类A;A *p = new B; delete p;
        1) 此时,如果类A的析构函数不是虚函数,那么delete p;将会仅仅调用A的析构函数,只释放了B对象中的A部分,而派生出的新的部分未释放掉。
        2) 如果类A的析构函数是虚函数,delete p; 将会先调用B的析构函数,再调用A的析构函数,释放B对象的所有空间。
        补充: B *p = new B; delete p;时也是先调用B的析构函数,再调用A的析构函数。
     
     

    [from]

    http://zhidao.baidu.com/question/32424351.html

    http://www.cnblogs.com/zhice163/archive/2012/07/10/2584835.html

    每天一小步,人生一大步!Good luck~
  • 相关阅读:
    flexible.js 移动端自适应方案
    Vue为什么不能检测数组变动
    Vue 组件间通信六种方式
    训练首个神经网络:基本分类
    对seq2seq的粗浅认识
    数学模型的过拟合和欠拟合
    在二叉树中寻找值最大的节点并返回——LintCode入门
    Android 包管理机制
    自定义View的三种实现方式及自定义属性使用介绍
    Paint.setFlags中flag意义及使用方法
  • 原文地址:https://www.cnblogs.com/jkmiao/p/5132945.html
Copyright © 2011-2022 走看看