复制控制( 下 ) --- 自定义析构函数

前言

　　经过前两篇随笔( 上  中 )的分析我们已经解决了具有指针成员的同类对象“ 干涉 ”问题。可惜，前面给出的解决方案代码还是不完整。还有什么问题呢？观察发现，构造函数里面有new的关键字出现，也就是说开辟了新的内存空间，我们也知道new必须也只能对应一个delete，而不应该让系统自己处理( 还不熟练new和delete用法的点这里 )，但这里和new对应的delete去哪里了？

解决思路

　　应该何时delete？显然，应该在对象销毁的时候delete。C++中定义了这样一种函数 --- 析构函数，它与构造函数相对应，能在对象被销毁时自动执行。

对【复制控制( 中 )解决方案】的改进

　　下面的代码对【复制控制( 中 )解决方案】进行了进一步的改进 --- 设置了自定义的析构函数。至此，复制控制已经完全实现，我们可以正确效率地实现对象( 不论有无指针成员 )间的复制功能了：

#include <iostream>
#include <cstdlib>
#include <fstream>
#include <string>

using namespace std;

class A {
public:
    // 构造函数为指针成员开辟空间并赋初值0
    A() {
        num_p = new int;
        *num_p = 0;
    }
    // 自定义复制函数 
    A(const A & a) {
        num_p = new int;
        *num_p = a.getNum();
    }
    // 自定义赋值运算符号
    A & operator=(const A & a) {
        num_p = new int;
        *num_p = a.getNum();
    }
    // 自定义析构函数
    ~A() {
        delete num_p;
    cout << "对象正常销毁" << endl;
    }
    // 给指针所指对象赋值
    void setNum(int num) {
        *num_p = num;
    }    
    // 获取指针所指对象
    int getNum() const {
        int num = *num_p;
        return num;
    }
private:
    int *num_p;
};

int main()
{
    A a1, a3;

    // 设置a1指针成员所指对象的值
    a1.setNum(1);
    // 调用自定义的复制函数
    A a2=a1;
    // 启用自定义的赋值运算符
    a3 = a1;
    // 观察得出a1，a2, a3的指针成员所指对象均为整数1。
    cout << "a1`s num: " << a1.getNum() << endl;
    cout << "a2`s num: " << a2.getNum() << endl;
    cout << "a3`s num: " << a3.getNum() << endl;

    // 修改a1指针成员所指对象的值
    a1.setNum(2);
    // 观察得出a1的指针成员所指对象改了，a2, a3的没变。 
    cout << "a1`s num: " << a1.getNum() << endl; 
    cout << "a2`s num: " << a2.getNum() << endl;
    cout << "a3`s num: " << a3.getNum() << endl;

    return 0;
}

　　运行结果：

　　

　　观察发现每个对象都使用了自定义的析构函数。

说明

　　一个有用的经验法则：如果类需要析构函数，它同时也需要自定义复制函数，重载赋值运算符。( 这就是C++中著名的“ 三法则 ” )