【Example】C++ 标准库智能指针 unique_ptr 与 shared_ptr

简介: 在现代 C + + 编程中,标准库包含智能指针,智能指针可处理对其拥有的内存的分配和删除,这些指针用于帮助确保程序不会出现内存和资源泄漏,并具有异常安全。C 样式编程的一个主要 bug 类型是内存泄漏。 泄漏通常是由于为分配的内存的调用失败引起的 delete new。 现代 C++ 强调“资源获取即初始化”(RAII) 原则。 其理念很简单。 资源(堆内存、文件句柄、套接字等)应由对象“拥有”。 该对象在其构造函数中创建或接收新分配的资源,并在其析构函数中将此资源删除。 RAII 原则可确保当所属对象超出范围时,所有资源都能正确返回到操作系统。--Microsoft Docs

为了支持对 RAII 原则的简单采用,C++ 标准库提供了三种智能指针类型:

std::unique_ptr

std::shared_ptr

std::weak_ptr

 

====================================

unique_ptr

unique_ptr 类型智能指针在设计上最显著的特点是内部托管的指针一旦被创建就不能被任何形式的复制给另一个unique_ptr,只可以被移动给另一个unique_ptr。unique_ptr 没有拷贝构造函数,因此不能用于赋值。该指针最常用的情况是单例模式和编译防火墙的封装。

如果非要抬杠,使用 get() 函数获取到裸指针给另外一个裸指针,那么你使用智能指针的意义又何在呢?

任何智能指针都不应该去 get 裸指针使用,更不能 delete!

 

// 演示创建 unique_ptrunique_ptr<Brain>u_brain=make_unique<Brain>();
u_brain->HelloWorld();
// 移动 unique_ptrunique_ptr<Brain>um_barin=std::move(u_brain);
um_barin->HelloWorld();
// 移动方法2std::swap(u_brain, um_brain);
// 错误// um_barin = u_brain;// u_brain->HelloWorld(); // C26800// 可以使用以下方法判断是否为空指针if (um_brain==nullptr) {
std::cout<<"um_brain is nullptr"<<std::endl;
}
// 可以释放资源将指针恢复空指针um_brain.reset();

 

====================================

shared_ptr

和 unique 不同的是,它允许自身对象(shared_ptr)被复制,复制出来的 shared_ptr 所托管的指针都指向同一块内存空间。而它的每一份拷贝(shared_ptr自身)都会有一个引用计数,资源的释放由生命周期中最后一个 shared_ptr 负责。因此 shared_ptr 是最常用的智能指针,也是最容易出问题的智能指针。

使用它时应当注意:

1,不要将已存在裸指针交由 shared_ptr,任何形式的智能指针都不应该去托管已有的裸指针。

2,作为函数参数传递时,请传递引用。因为作为值传递时,将产生大量无意义的引用计数。

3,共享所有权性质的对象往往比限定作用域的对象生存时间更久、资源开销更大,尤其是多线程下。

 

// 创建shared_ptr<Brain>s_brain=make_shared<Brain>();
s_brain->HelloWorld();
// 复制shared_ptr<Brain>c_brain=s_brain;
shared_ptr<Brain>d_brain=s_brain;
// 检查唯一性std::cout<<s_brain.unique() <<std::endl;
// 检查引用计数数量std::cout<<s_brain.use_count() <<std::endl;

 

与 shared_ptr 搭配的 weak_ptr

weak_ptr 设计上与 shared_ptr 搭配使用,因为 shared_ptr 存在一个问题,就是循环引用计数递增而导致的内存泄漏。

比如说:

【伪代码】

classnode{
shared_ptr<node>start;
shared_ptr<node>end;
}
shared_ptr<node>nn=make;
shared_ptr<node>mm=make;
nn->end=mm;
mm->start=nn;

 

这种情况,两个node对象互相引用着对方,最终导致资源无法被释放。所以有时候需要访问 shared_ptr 自身,而不是它所托管的资源。

所以 weak_ptr 的作用就来了:

【伪代码】

classnode{
weak_ptr<node>start;
weak_ptr<node>end;
}
shared_ptr<node>nn=make;
shared_ptr<node>mm=make;
nn->end=mm;
mm->start=nn;

 

为什么呢?

因为 share_ptr 是强引用,强引用是只要被引用的对象还存活那么这个引用也一定会存在。

而 weak_ptr 是弱引用,弱引用是虽然对象还活着,但是这个引用则可有可无。

所以,weak_ptr 的作用就是作为一个 "观察者" 访问 shared_ptr 本身,而不是 shared_ptr 所托管的资源。

同时也意味着,weak_ptr 只能访问它所观察的 shared_ptr 本身,而不能访问 share_ptr 托管的资源,所以,它不会增加 shared_ptr 的引用计数。

 

shared_ptr<Brain>r_brain=make_shared<Brain>();
// 创建 weak_ptrweak_ptr<Brain>w_brain(r_brain);
// 检查 shared 引用计数数量std::cout<<w_brain.use_count() <<std::endl;
// 返回一个原始 shared 的拷贝(增加引用计数)shared_ptr<Brain>e_brain(w_brain.lock());
std::cout<<w_brain.use_count() <<std::endl;

 

====================================

make_unique 与 make_shared

这两个标准库函数是用于创建智能指针的函数。

【以下懒得打字了直接抄的Docs,重点我划出来】

 

autosp=std::shared_ptr<Example>(newExample(argument));
automsp=std::make_shared<Example>(argument);

 

使用make_shared作为创建对象的简单、更高效的方法,以及一个shared_ptr来同时管理对对象的共享访问。 在语义上,这两个语句是等效的。但是,第一条语句进行了两个分配,如果在shared_ptr对象的分配成功后,Example的分配失败,则未命名的Example对象将被泄漏。 使用make_shared的语句更简单,因为只涉及到一个函数调用。 这样会更有效,因为库可能会对对象和智能指针进行一个分配。 此函数的速度更快,导致内存碎片更少,但在一次分配时不存在异常,而不是在另一种分配上。 通过使引用对象和更新智能指针中的引用计数的代码具有的更好的地址来提高性能。

make_unique 如果不需要对对象的共享访问权限,请考虑使用。 allocate_shared 如果需要为对象指定自定义分配器,请使用。 make_shared如果对象需要自定义删除器,则不能使用,因为无法将删除器作为参数传递。

--Microsoft Docs






====================================

芯片烤电池 C++ Example 2022-Spring Season Pass :

【Example】C++ 标准库常用容器全面概述

【Example】C++ 回调函数及 std::function 与 std::bind

【Example】C++ 运算符重载

【Example】C++ 标准库智能指针 unique_ptr 与 shared_ptr

【Example】C++ 接口(抽象类)概念讲解及例子演示

【Example】C++ 虚基类与虚继承 (菱形继承问题)

【Example】C++ Template (模板)概念讲解及编译避坑

【Example】C++ 标准库 std::thread 与 std::mutex

【Example】C++ 标准库多线程同步及数据共享 (std::future 与 std::promise)

【Example】C++ 标准库 std::condition_variable

【Example】C++ 用于编译时封装的 Pimpl 演示 (编译防火墙 Private-IMPL)

【Example】C++ 单例模式 演示代码 (被动模式、兼容VS2022编译)

====================================

目录
打赏
0
0
0
0
0
分享
相关文章
|
7月前
|
C++标准库(速查)总结
C++标准库(速查)总结
165 6
超级好用的C++实用库之服务包装类
通过本文对Boost.Asio、gRPC和Poco三个超级好用的C++服务包装类库的详细介绍,开发者可以根据自己的需求选择合适的库来简化开发工作,提高代码的效率和可维护性。每个库都有其独特的优势和适用场景,合理使用这些库可以极大地提升C++开发的生产力。
96 11
深入解析C++中的函数指针与`typedef`的妙用
本文深入解析了C++中的函数指针及其与`typedef`的结合使用。通过图示和代码示例,详细介绍了函数指针的基本概念、声明和使用方法,并展示了如何利用`typedef`简化复杂的函数指针声明,提升代码的可读性和可维护性。
183 1
【c++】类和对象(上)(类的定义格式、访问限定符、类域、类的实例化、对象的内存大小、this指针)
本文介绍了C++中的类和对象,包括类的概念、定义格式、访问限定符、类域、对象的创建及内存大小、以及this指针。通过示例代码详细解释了类的定义、成员函数和成员变量的作用,以及如何使用访问限定符控制成员的访问权限。此外,还讨论了对象的内存分配规则和this指针的使用场景,帮助读者深入理解面向对象编程的核心概念。
408 4
在 C++中,引用和指针的区别
在C++中,引用和指针都是用于间接访问对象的工具,但它们有显著区别。引用是对象的别名,必须在定义时初始化且不可重新绑定;指针是一个变量,可以指向不同对象,也可为空。引用更安全,指针更灵活。
|
7月前
|
C++常用基础知识—STL库(2)
C++常用基础知识—STL库(2)
118 5
C++常用基础知识—STL库(1)
C++常用基础知识—STL库(1)
133 1
|
7月前
|
c++的指针完整教程
本文提供了一个全面的C++指针教程,包括指针的声明与初始化、访问指针指向的值、指针运算、指针与函数的关系、动态内存分配,以及不同类型指针(如一级指针、二级指针、整型指针、字符指针、数组指针、函数指针、成员指针、void指针)的介绍,还提到了不同位数机器上指针大小的差异。
210 1
【C++篇】深度解析类与对象(下)
在上一篇博客中,我们学习了C++的基础类与对象概念,包括类的定义、对象的使用和构造函数的作用。在这一篇,我们将深入探讨C++类的一些重要特性,如构造函数的高级用法、类型转换、static成员、友元、内部类、匿名对象,以及对象拷贝优化等。这些内容可以帮助你更好地理解和应用面向对象编程的核心理念,提升代码的健壮性、灵活性和可维护性。
【c++11】c++11新特性(上)(列表初始化、右值引用和移动语义、类的新默认成员函数、lambda表达式)
C++11为C++带来了革命性变化,引入了列表初始化、右值引用、移动语义、类的新默认成员函数和lambda表达式等特性。列表初始化统一了对象初始化方式,initializer_list简化了容器多元素初始化;右值引用和移动语义优化了资源管理,减少拷贝开销;类新增移动构造和移动赋值函数提升性能;lambda表达式提供匿名函数对象,增强代码简洁性和灵活性。这些特性共同推动了现代C++编程的发展,提升了开发效率与程序性能。
58 12

热门文章

最新文章

AI助理

你好,我是AI助理

可以解答问题、推荐解决方案等