C++11至C++14:std::weak_ptr的发展与在标准库中的角色
发布时间: 2024-10-19 20:17:49 阅读量: 25 订阅数: 22
![C++11至C++14:std::weak_ptr的发展与在标准库中的角色](https://img-blog.csdnimg.cn/20210620161412659.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3h1bnllX2RyZWFt,size_16,color_FFFFFF,t_70)
# 1. C++智能指针概述
C++智能指针是一种资源管理类,主要用于自动管理动态分配对象的生命周期。它们在现代C++程序设计中扮演着重要角色,尤其是在异常安全性和自动内存管理方面。智能指针通过在对象生命周期结束时自动释放资源,帮助开发者减少内存泄漏和悬空指针的风险。
本章将先对智能指针进行一个基础性的介绍,包括它的起源和基本工作原理。随后,我们将深入探讨 `std::unique_ptr`、`std::shared_ptr` 和 `std::weak_ptr` 这三种主要的智能指针类型。其中,`std::shared_ptr` 和 `std::weak_ptr` 是本系列文章的重点,它们提供了更复杂的内存共享和循环引用管理机制。
此外,我们将讨论智能指针的优势和使用它们的最佳实践,为读者们理解后续章节打下坚实的基础。
# 2. std::weak_ptr基础概念与特性
在C++的内存管理中,std::weak_ptr是std::shared_ptr的一种补充,旨在解决std::shared_ptr可能引起的循环引用问题。std::weak_ptr并不拥有它所指向的对象,因此不会影响对象的引用计数,它提供了访问std::shared_ptr所管理对象的机制,但不会阻止对象被删除。std::weak_ptr的设计初衷是作为一种安全机制,用于打破共享指针的循环引用,以及安全地访问那些可能已经被释放了的共享对象。
## 2.1 std::shared_ptr与std::weak_ptr的关系
### 2.1.1 引入std::weak_ptr的必要性
在没有std::weak_ptr之前,C++中的std::shared_ptr是处理动态分配内存最安全的方式之一。然而,std::shared_ptr的引用计数特性导致了一个常见的问题:循环引用。当两个或多个std::shared_ptr实例相互引用时,它们的引用计数将永远不会归零,即使这些实例已经不再被原始代码所使用。这将阻止这些对象的内存被释放,从而导致内存泄漏。
```cpp
#include <iostream>
#include <memory>
int main() {
auto sp1 = std::make_shared<int>(42);
auto sp2 = std::make_shared<int>(43);
// 引入循环引用
sp1->sp2 = sp2;
sp2->sp1 = sp1;
// sp1和sp2相互持有,导致无法被释放
return 0;
}
```
为了解决这一问题,C++11引入了std::weak_ptr,它不增加引用计数,因此不会阻止std::shared_ptr所指向的对象被删除,从而打破了循环引用的死锁。
### 2.1.2 std::shared_ptr的控制块和引用计数
std::shared_ptr内部有一个控制块,用于存储引用计数和其他资源管理信息。每个std::shared_ptr对象都持有一个指向控制块的指针。当std::shared_ptr被创建或者复制时,引用计数会增加。当std::shared_ptr被销毁或者重置时,引用计数会减少。当引用计数降至零时,控制块和关联的原始资源会被释放。
```cpp
// 示例代码展示std::shared_ptr的基本使用和控制块的逻辑
#include <iostream>
#include <memory>
void printUseCount(std::shared_ptr<int> sp, const std::string& message) {
std::cout << message << " use_count = " << sp.use_count() << std::endl;
}
int main() {
auto sp = std::make_shared<int>(42);
printUseCount(sp, "Initial");
auto sp_copy = sp; // 创建副本,引用计数+1
printUseCount(sp_copy, "After copy");
{
auto sp_inner = sp; // 进入新的作用域,副本引用计数再次+1
printUseCount(sp_inner, "Inner scope");
} // sp_inner销毁,引用计数-1
printUseCount(sp, "After inner scope");
return 0;
}
```
## 2.2 std::weak_ptr的构造与转换
### 2.2.1 std::weak_ptr的构造函数
std::weak_ptr有多种构造方式,可以由std::shared_ptr直接构造,也可以复制现有的std::weak_ptr,还可以通过std::weak_ptr的成员函数lock()临时生成一个std::shared_ptr。
```cpp
#include <iostream>
#include <memory>
int main() {
auto sp = std::make_shared<int>(42);
std::weak_ptr<int> wp1(sp); // 由shared_ptr构造
std::weak_ptr<int> wp2 = wp1; // 复制构造
auto sp_copy = wp1.lock(); // lock()方法生成shared_ptr
if (sp_copy) {
std::cout << "Get a shared_ptr from weak_ptr: " << *sp_copy << std::endl;
}
return 0;
}
```
### 2.2.2 std::weak_ptr与std::shared_ptr之间的转换
std::weak_ptr可以转换为std::shared_ptr通过lock()方法。这个方法返回一个std::shared_ptr,它与原始的std::weak_ptr共享同一个控制块。如果控制块不存在了(即原std::shared_ptr已经销毁),lock()将返回一个空的std::shared_ptr。
```cpp
// 继续上面的代码
auto sp_copy = wp2.lock(); // 尝试从wp2获取shared_ptr
if (sp_copy) {
std::cout << "Get another shared_ptr from weak_ptr: " << *sp_copy << std::endl;
} else {
std::cout << "The original shared_ptr has been deleted, weak_ptr is expired." << std::endl;
}
return 0;
```
## 2.3 std::weak_ptr的生命周期管理
### 2.3.1 弱引用的作用域和生命周期
std::weak_ptr的生命周期是通过其构造函数开始的,当没有任何std::shared_ptr引用相同控制块时,std::weak_ptr的生命周期会结束。即便它的生命周期结束,也不会影响到原始的std::shared_ptr指向的对象,这是与std::shared_ptr的主要区别。
```cpp
#include <iostream>
#include <memory>
int main() {
auto sp = std::make_shared<int>(42);
std::weak_ptr<int> wp(sp); // 开始生命周期
std::cout << "Weak_ptr created." << std::endl;
{
auto sp_copy = wp.lock();
if (sp_copy) {
std::cout << "A shared_ptr from weak_ptr: " << *sp_copy << std::endl;
}
} // sp_copy的生命周期结束,但wp仍存在
std::cout << "Leaving scope." << std::endl;
if (wp.expired()) {
std::cout << "The weak_ptr is now expired." << std::endl;
}
return 0;
}
```
### 2.3.2 std::weak_ptr的使用场景
std::weak_ptr的典型使用场景包括打破循环引用、为std::shared_ptr对象提供安全的观察者机制和管理那些需要随时检查状态但不影响生命周期的资源。
```cpp
// 示例代码展示弱指针在打破循环引用中的作用
#include <iostream>
#include <memory>
class Node {
public:
std::weak_ptr<Node> prev;
std::weak_ptr<Node> next;
int value;
Node(int val) : value(val) {}
void display() {
if (auto p = prev.lock()) {
std::cout << "Previous Node Value: " << p->value << std::endl;
} else {
std::cout << "No previous node." << std::endl;
}
if (auto n = next.lock()) {
std::cout << "Next Node Value: " << n->value << std::endl;
} else {
std::cout << "No next node." << std::endl;
}
}
};
int main() {
auto head = std::make_shared<Node>(42);
auto tail = std::make_shared<Node>(43);
head->next = tail;
tail->prev = head;
// 使用weak_ptr,避免循环引用
head->display();
tail->display();
return 0;
}
```
在本节中,我们探讨了std::weak_ptr与std::shared_ptr的关系,std::weak_ptr
0
0