• 面向对象编程(C++篇3)——析构


    1. 概述

    类的析构函数执行与构造函数相反的操作,当对象结束其生命周期,程序就会自动执行析构函数:

    class ImageEx
    {
    public:
        ImageEx()
        {
            cout << "Execute the constructor!" << endl;
        }
    
        ~ImageEx()
        {
            cout << "Execute the destructor!" << endl;
        }
    };
    
    int main()
    {
        ImageEx imageEx;
        return 0;
    }
    

    那么同样的问题来了,为什么要有析构函数呢?

    2. 详论

    2.1. 对象生命周期

    在经典C++中,需要通过new/delete来手动管理动态内存。如果我们在类中申请一个动态数组,并且通过自定义的函数Release()来释放它:

    class ImageEx
    {
    public:
        ImageEx()
        {
            cout << "Execute the constructor!" << endl;
            data = new unsigned char[10];
        }
    
        ~ImageEx()
        {
            cout << "Execute the destructor!" << endl;
        }
    
        void Release()
        {
            delete[] data;
            data = nullptr;
        }
    
    private:
        unsigned char * data;
    };
    
    int main()
    {
        {
            ImageEx imageEx;
            imageEx.Release();
        }
    
        return 0;
    }
    

    那么,当类对象离开作用域,结束生命周期之前,就必须显示调用一次成员函数Release(),否则就会造成内存泄漏:对象在调用析构函数之后,只会销毁数据成员data本身,而不是其指向的内存。

    那么,一个合理的实现是,将成员函数Release()放入到析构函数:

    class ImageEx
    {
    public:
        ImageEx()
        {
            cout << "Execute the constructor!" << endl;
            data = new unsigned char[10];
        }
    
        ~ImageEx()
        {
            Release();
            cout << "Execute the destructor!" << endl;
        }
    
    private:
        unsigned char * data;
    
        void Release()
        {
            delete[] data;
            data = nullptr;
        }
    };
    
    int main()
    {
        {
            ImageEx imageEx;       
        }
    
        return 0;
    }
    

    这样,当类对象离开作用域,结束生命周期之前,就自动通过析构函数,实现了动态数组的释放。好处是显而易见的:实现了类似于内置数据类型对象的生命周期管理,我们可以像使用内置数据类型对象一样使用类对象。这也体现了前文《面向对象编程(C++篇1)——引言》中提到的设计原则:类是抽象的自定义数据类型。

    2.2. 不一定需要显式析构

    在一些现代高级编程语言(C#、Java、Javascript)中,已经不用去手动管理动态内存,取而代之的,是其与操作系统的中间件(.net,jvm,浏览器)的GC(垃圾回收)机制。而在现代C++中,提倡通过智能指针(std::shared_ptr、std::unique_ptr、std::weak_ptr)来管理动态内存;对于动态数组,则使用标准容器std::vector则更好。在两者的内部都实现了前文提到的对象生命周期管理,在离开作用域后,通过析构函数自动释放管理的内存,无需再手动进行回收。

    那么,一个显而易见的推论就出来了,如果我们在类中使用智能指针或者vector容器来替代new/delete管理动态内存,是不是就可以不用析构函数了?严格来说,是不用显式使用析构函数:

    class ImageEx
    {
    public:
        ImageEx():
            data(10)
        {
            cout << "Execute the constructor!" << endl;        
        }
    
    private:
        std::vector<unsigned char> data;
    };
    
    int main()
    {
        ImageEx imageEx;      
    
        return 0;
    }
    

    实际上,并不是这个类不存在析构函数,而是编译器会为它生成一个合成的析构函数,在这个析构函数体中,什么也不用做。因为类中的动态内存,已经交由std::vector容器来管理。当类对象离开作用域调用析构函数之后,会销毁这个std::vector容器数据成员,进而触发其析构函数,释放其管理的内存。

    2.3. 析构的必要性

    根据上一节内容,不一定需要显式析构。因为现代C++的一些机制能够帮你自动管理动态内存。但是析构函数还是必要的,这是由于C++语言本身的性质决定的。作为C语言大部分内容的超集,需要兼容C语言手动管理内存的特性。更重要的是,现代操作系统几乎全部由C语言编写,与底层的交互不可避免的需要手动使用动态内存管理。

    3. 总结

    所以我们就能理解了,C++这门语言的设计哲学就是就是这样:既想要C语言的高性能,也想要高级语言高度抽象的特性。如果我们必须兼容C语言底层设计,那我们最好使用析构函数释放动态内存;否则多数情况下,我们应该使用智能指针或者stl容器来管理动态内存,从而避免显示使用析构函数。

    上一篇
    目录
    下一篇

  • 相关阅读:
    重排列
    最多分成多少块
    后面第一个大于
    走格子
    硬币游戏
    还是01串
    戴德兰
    个人所得税
    最长高地
    执行Commit时Oracle做哪些工作
  • 原文地址:https://www.cnblogs.com/charlee44/p/16012289.html
Copyright © 2020-2023  润新知