【C++11】智能指针与动态内存

系列文章目录

【C++11】shared_ptr智能指针使用详解
【C++11】weak_ptr智能指针使用详解
【C++11】unique_ptr智能指针使用详解

---

---

前言

C++中的动态内存管理是通过一对运算符来完成的：new,在动态内存中为该对象分配空间并返回一个指向该对象的指针。delete，接受一个动态对象的指针，销毁该对象，并释放指向的内存。

动态内存的使用很容出现问题，因为确保在正确的时间释放内存是及其困难的。有时候我们忘记释放内存，就产生了内存泄漏；有时候尚有指针引用内存的情况下我们就释放了，在这种情况下就会产生引用非法内存的指针。

为了更容易，也更安全的使用动态内存，C++11标准库提供了俩种智能指针（smart pointer）来管理动态对象。智能指针的行为类似常规指针，重要的区别是它负责自动释放指向的对象。

---

一、使用new和delete管理动态内存存在的常见问题

1.1 忘记delete

忘记释放内存会导致人们常说的“内存泄漏”，这种内存泄漏永远不可能还给自由空间了。并且调查定位内存泄漏非常困难。
注意：返回指向动态内存的指针（非智能指针）的函数，调用者必须记得释放内存。

Foo*  use_factory (T arg) 
{
	Foo *p = factory(arg)
	return p;  // 内存由调用者释放
}

1.2 使用已经释放掉的对象

通过在释放内存后将指针置为空，可以有效检测这种错误。要求平时要养成良好的编程习惯。

delete p;  
p = nullptr;

指针在delete后，指针就变成了空悬指针，即指向一块曾经保存数据但现在已经无效的内存的指针。
避免空悬指针的方法：==在指针即将离开其作用域之前释放它关联的内存。==这样内存被释放后，就没有机会使用指针了。如果要保留指针，delete后，将指针置为nullptr。

1.3 同一块内存释放俩次

当有俩个指针指向相同的动态分配对象时，可能发生这种错误。如果对其中一个指针进行了delete操作，对象的内存已经还给自由空间了。随后如果又delete第二个指针，自由空间就可能被破坏。

二、智能指针类型

共享指针（shared_ptr）

这是一种强大和灵活的智能指针，它可以与其他shared_ptr共享所有权。shared_ptr 通过引用计数的方式来管理内存，当 shared_ptr 指向一个对象时，该对象的引用计数加一；当 shared_ptr 放弃对对象的引用时，该对象的引用计数减一，当引用计数为零时，该对象将被自动删除。

std::shared_ptr<int> p1(new int(20)); // p1指向一个int对象  
std::shared_ptr<int> p2 = p1; // p1和p2共享int对象的所有权

弱指针（weak_ptr）

这是一种不拥有对象所有权的智能指针，它指向由shared_ptr管理的对象（伴随类）。weak_ptr的存在不会增加对象的引用计数，也不会阻止其被销毁。它们主要用于避免循环引用问题。

std::shared_ptr<int> p1(new int(30)); // p1指向一个int对象  
std::weak_ptr<int> wp1 = p1; // wp1指向p1指向的int对象，但不会增加引用计数  
if (auto sp = wp1.lock()) { // 使用wp1锁定shared_ptr，如果int对象仍存在的话  
    std::cout << "The int object is still alive" << std::endl; // 输出："The int object is still alive"  
} else {  
    std::cout << "The int object has been destroyed" << std::endl; // 输出："The int object has been destroyed"  
}

独占指针（unique_ptr）

这是一种简单但强大的智能指针，它可以在堆上创建一个对象并拥有其所有权。当unique_ptr离开作用域或被重置时，它所拥有的对象将被自动删除。

std::unique_ptr<int> p(new int(10)); // p拥有一个int对象

---

三、总结

坚持使用智能指针，可以避免new-delete动态管理内存的问题。