37 - 智能指针分析

---- 整理自狄泰软件唐佐林老师课程

1. 内存泄漏

• 动态申请堆空间，用完后不归还
• C++ 语言中没有垃圾回收的机制
• 指针无法控制所指堆空间的生命周期

1.1 编程实验：内存泄露

#include <iostream>
#include <string>

using namespace std;

class Test
{
    int i;
public:
    Test(int i) {
        this->i = i;
    }
    int value() {
        return i;
    }
    ~Test() {}
};

int main()
{
    for(int i = 0; i < 5; i++) {
        Test* p = new Test(i);
        
        cout << p->value() << endl;
    }
    
    // 未释放堆空间
    
    return 0;
}

1.2 思考

• 需要什么？
• 需要一个特殊的指针
• 指针生命周期结束时主动释放堆空间
• 一片堆空间最多只能由一个指针标识
• 杜绝指针运算和指针比较（避免指针越界和野指针）

1.3 解决方案

• 重载指针特征操作符（ -> 和 * ）
• 只能通过类的成员函数重载
• 重载函数不能使用参数，也就是只能定义一个重载函数

1.4 编程实验：智能指针

#include <iostream>
#include <string>
using namespace std;

class Test
{
    int i;
public:
    Test(int i) {
        cout << "Test(int i)" << endl;
        this->i = i;
    }
    int value() {
		return i;
	}
    ~Test() {
        cout << "~Test()" << endl;
    }
};

class Pointer
{
    Test* mp;
public:
    Pointer(Test* p = NULL) {
		mp = p;
	}
    Pointer(const Pointer& obj) {
		cout << "Pointer(const Pointer& obj)" << endl;
        mp = obj.mp; // 初始化对象 obj 将自己管理的堆空间转交给当前的对象，
					 // 所有权传递将自己管理的堆空间转交给当前的对象，所有权传递
        const_cast<Pointer&>(obj).mp = NULL;
    }
    Pointer& operator=(const Pointer& obj) {
		cout << "Pointer& operator=(const Pointer& obj)" << endl;

        if (this != &obj) {
            delete mp;
            mp = obj.mp;
            const_cast<Pointer&>(obj).mp = NULL;
        }
        return *this;
    }
    Test* operator->() {
        return mp;
    }
    Test& operator*() {
        return *mp;
    }
    bool isNull() {
		return (mp == NULL);
	}
    ~Pointer() {
		delete mp;
	}
};

int main()
{
    Pointer p1 = new Test(5);
    cout << "p1->value() = " << p1->value() << endl;
	
    Pointer p2 = p1; // 初始化，拷贝构造函数
    cout << "p1.isNull() = " << p1.isNull() << endl;
    cout << "p2->value() = " << p2->value() << endl;
	
	Pointer p3;
	
	p3 = p2; // 赋值操作符重载
    cout << "p2.isNull() = " << p2.isNull() << endl;
    cout << "p3->value() = " << p3->value() << endl;
	
    return 0;
}

1.5 智能指针分析

只能用来指向堆空间中的对象或者变量

2. 小结

• 指针特征操作符 （ -> 和 * ）可以被重载
• 重载指针特征符能够使用对象代替指针
• 智能指针只能用于指向堆空间中的内存
• 智能指针的意义在于最大程度的避免内存问题