背景
C++没有垃圾回收机制,指针使用时可能会导致:
- 内存泄露;
- 野指针;
- 越界访问。
因此诞生一种智能指针,是一种像指针的C++对象,但它能够在对象不使用的时候自己销毁掉。
四类智能指针
STL提供了四类智能指针。
auto_ptr
不安全,已被摒弃,由unique_ptr替代。
unique_ptr
保证同一时间内只有一个智能指针可以指向该对象。
std::unique_ptr<int> ul(new int(1));
任何时刻unique_ptr只能指向某一个对象,指针销毁时,指向的对象也会被删除(通过内置删除器,通过调用析构函数实现删除对象)。
禁止拷贝和赋值(底层实现拷贝构造函数和复制构造函数 = delete),可以使用std::move()、unique_ptr.reset(…)转移对象指针控制权。
std::unique_ptr(const unique_ptr&) = delete;
std::unique_ptr& operator=(const unique_ptr&) = delete;
shard_ptr
享所有权的智能指针,允许多个指针指向同一个对象。包含:指向对象的指针、用于控制引用计数数据的指针。
该指针有以下特点:
- 自动释放没有指针引用的资源;
- 使用引用计数来标识是否有多余指针指向该资源(注:shared_ptr本身指针会占用1个引用);
- 在赋值操作中,原来资源的引用计数会减1,新指向的资源引用计数会加1;
- 引用计数的加1/减1操作是原子性的,是线程安全的;
- make_shared要优于new,make_shared可以一次将需要的内存分配好;
std::shared_ptr<Test> p = std::make_shared<Test>(); //性能更优
std::shared_ptr<Teat> p(new Test);
- shared_ptr的大小是原始指针的两倍,因为它的内部有一个原始指针指向资源,同时还有一个指针指向引用计数。
shared_ptr 缺陷:当计数器为0时销毁管理对象。如果存在循环引用导致计数不正常,会导致内存泄露(采用weak_ptr可以解决此问题)。
weak_ptr
弱智能指针对象,它不控制所指向对象生存期的智能指针,它指向由一个shared_ptr管理的智能指针。将一个weak_ptr绑定到一个shared_ptr对象,不会改变shared_ptr的引用计数。
- 不影响动态对象的生命周期,即其存在与否并不影响对象的引用计数器;
- weak_ptr没有重载operator->和operator*操作符,因此不可直接通过weal_ptr使用对象;
- 提供了expired()成员函数,用于判断weak_ptr指向的对象是否已被销毁;
- 提供了lock()成员函数,用于返回其所指对象的shared_ptr智能指针。
注意事项
- 明确poerator new的行为和检查策略,当其无法满足某一内存分配需求时,默认会抛异常,也可以返回空指针(通过编译选项设置)。在申请内存后,要立即检查指针是否为NULL或进行异常处理;
- 释放内存后,要立即将指针设置为NULL,防止产生野指针;
- 单个对象释放使用delete,数组对象释放使用delete [ ];
std::string *stringArray = new std::string[100];
delete [] stringArray;
stringArray = NULL;
//如果delete stringArray;会导致对象中99个未被销毁
- 释放结构(类)指针时,首先释放其成员指针的内存空间;
- 释放指针数组时,首先释放数组每个元素指针的内存;
- 不要返回局部对象的指针;
- 避免在不同的模块中分配饿释放内存,应遵循“谁申请、谁释放”,或者使用智能指针。