22-对象的销毁

注：博客中内容主要来自《狄泰软件学院》，博客仅当私人笔记使用。

测试环境：Ubuntu 10.10

GCC版本：4.4.5

 

一、对象的销毁

1）生活中的对象都是被初始化后才上市的

2）生活中的对象被销毁前会做一些清理工作

 

                问题：

                C++中的如何清理需要销毁的对象

 

3）一般而言，需要销毁的对象都应该清理

4）解决方案

        -    为每个类都提供一个public的free函数

        -    对象不再需要时立即调用free函数进行清理

class Test
{
    int* p;
public:
    Test() {p = new int;}
    void free() {delete p;};
};

 

实例分析
IntArray使用分析
main.cpp
#include <stdio.h>
#include "IntArray.h"

int main()
{
    IntArray a(5);    
    
    for(int i=0; i<a.length(); i++)
    {
        a.set(i, i + 1);
    }
    
    for(int i=0; i<a.length(); i++)
    {
        int value = 0;
        
        if( a.get(i, value) )
        {
            printf("a[%d] = %d\n", i, value);
        }
    }
    
    IntArray b = a;
    
    for(int i=0; i<b.length(); i++)
    {
        int value = 0;
        
        if( b.get(i, value) )
        {
            printf("b[%d] = %d\n", i, value);
        }
    }

    a.free();	//如果忘了，会产生内存泄露，如果能自动调用就好了
    b.free();

    return 0;
}

 

5）存在的问题

    -    free只是一个普通的函数，必须显示的调用

    -    对象销毁前没有做清理，很可能造成资源泄露

            C++编译器是否能够自动调用某个特殊的函数进行对象的清理？

 

二、析构函数

1）C++的类中可以定义一个特殊的清理函数

    -    这个特殊的清理函数叫做析构函数

    -    析构函数的功能与构造函数相反

2）定义：~ClassName()

    -    析构函数没有参数也没有返回值类型声明

    -    析构函数在对象销毁时自动被调用

编程实验
析构函数使用初探
22-1.cpp
#include <stdio.h>

class Test
{
    int mi;
public:
    Test(int i)
    {
        mi = i;
        printf("Test(): %d\n", mi);
    }
    ~Test()
    {
        printf("~Test(): %d\n", mi);
    }
};

int main()
{
    Test t(1);    //t对象被销毁时会调用析构函数
    
    Test* pt = new Test(2);
    
    delete pt;    //会调用对象pt的析构函数
    
    return 0;
}

操作：

1) g++ 22-1.cpp -o 22-1.out编译正确，打印结果：

Test(): 1
Test(): 2
~Test(): 2
~Test(): 1    

 

编程实验
IntArray类的进行
IntArray.cpp
#include "IntArray.h"

IntArray::IntArray(int len)
{
    m_pointer = new int[len];
    
    for(int i=0; i<len; i++)
    {
        m_pointer[i] = 0;
    }
    
    m_length = len;
}

IntArray::IntArray(const IntArray& obj)
{
    m_length = obj.m_length;
    
    m_pointer = new int[obj.m_length];
    
    for(int i=0; i<obj.m_length; i++)
    {
        m_pointer[i] = obj.m_pointer[i];
    }
}

int IntArray::length()
{
    return m_length;
}

bool IntArray::get(int index, int& value)
{
    bool ret = (0 <= index) && (index < length());
    
    if( ret )
    {
        value = m_pointer[index];
    }
    
    return ret;
}

bool IntArray::set(int index, int value)
{
    bool ret = (0 <= index) && (index < length());
    
    if( ret )
    {
        m_pointer[index] = value;
    }
    
    return ret;
}

IntArray::~IntArray()
{
    delete[]m_pointer;
}


IntArray.h
#ifndef _INTARRAY_H_
#define _INTARRAY_H_

class IntArray
{
private:
    int m_length;
    int* m_pointer;
public:
    IntArray(int len);
    IntArray(const IntArray& obj);
    int length();
    bool get(int index, int& value);
    bool set(int index ,int value);
    ~IntArray();
};

#endif

分析：

        类实例化过程中，在堆空间获取内存，对象销毁时调用析构函数释放申请的堆空间。

 

3）析构函数的定义准则

            当类中自定义了构造函数，并且构造函数中使用了系统资源（如：内存申请，文件打开，等），则需要自定义析构函数。

 

小结：

1）析构函数是对象销毁时进行清理的特殊函数

2）析构函数在对象销毁时自动被调用

3）析构函数是对象释放系统资源的保障