读书笔记 effective c++ Item 14 对资源管理类的拷贝行为要谨慎

2024-04-07 12:58

本文主要是介绍读书笔记 effective c++ Item 14 对资源管理类的拷贝行为要谨慎,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

1. 自己实现一个资源管理类 

Item 13中介绍了 “资源获取之时也是初始化之时(RAII)”的概念,这个概念被当作资源管理类的“脊柱“,也描述了auto_ptr和tr1::shared_ptr是如何用堆资源来表现这个概念的。然而并不是所有资源都是在堆上创建的,对于这种资源,像auto_ptr和tr1::shared_ptr这样的智能指针就不适合当作资源句柄(handle)来使用了。你会发现你时不时的就会需要创建自己的资源管理类。

举个例子,假设你正在使用C API来操纵Mutex类型的互斥信号量对象,来为函数提供lock和unlock:

1 void lock(Mutex *pm); // lock mutex pointed to by pm
2 
3 void unlock(Mutex *pm); // unlock the mutex

为了确保你不会忘记unlock一个已经加过锁的Mutex,你需要创建一个类来管理锁。这样一个类的基本结构已经由RAII准则表述过了,也就是资源会在执行构造的时候获取到,在执行析构的时候释放掉

 1 class Lock {2 3 public:4 5 explicit Lock(Mutex *pm)6 7 : mutexPtr(pm)8 9 { lock(mutexPtr); } // acquire resource
10 
11 ~Lock() { unlock(mutexPtr); } // release resource
12 
13 private:
14 
15 Mutex *mutexPtr;
16 
17 };

 

客户端以传统的RAII方式来使用锁:

 1 Mutex m; // define the mutex you need to use2 3 ...4 5 { // create block to define critical section6 7 Lock ml(&m); // lock the mutex8 9 ... // perform critical section operations
10 
11 } // automatically unlock mutex at end
12 
13 // of block

 

2. 对资源管理类进行拷贝会发生什么?

这很好,但如果一个锁对象被拷贝会发生什么呢?

1 Lock ml1(&m); // lock m
2 
3 Lock ml2(ml1); // copy ml1 to ml2 — what should
4 
5 // happen here?

 

上面是一个更加普通的问题,也是每个RAII类的作者必须面对的:当一个RAII对象被拷贝的时候应该发生什么呢?大多数情况下,你将会从下面的4种可能中选择一个:

2.1 禁止拷贝

  • 禁止拷贝。在许多情况下,允许RAII对象被拷贝是没有意义的。对于一个像Lock的类来说这可能是真的,因为一份同步原语(synchronization primitives)的拷贝很少情况下是有意义的。当一个RAII类的拷贝没有意义时,你应该禁止它。Item 6解释了如何可以做到:将拷贝操作声明称private。对于Lock来说,可以是下面这个样子:
1 class Lock: private Uncopyable { // prohibit copying — see
2 
3 public: // Item 6
4 
5 ... // as before
6 
7 };

 

2.2 一份资源,多次引用——使用tr1::shared_ptr

  • 对底层资源进行引用计数。有时候需要保留一个资源直到引用这个资源的最后一个对象被销毁。在这种情况下,拷贝一个RAII对象应该增加对象引用资源的引用计数。这就是用tr1::shared_ptr进行“拷贝”的含义。

 

     通常情况下,RAII类可以通过包含一个tr1::shared_ptr数据成员来实现引用计数的拷贝行为。举个例子,如果Lock想使用引用计数,它可以将mutexPtr的类型从Mutex*改为tr1::shared_ptr<Mutex>。不幸的是,tr1::shared_ptr的默认行为是当引用技术为0的时候会删除它所指向的资源,这不是我们想要的。当我们实现一个Mutex类时,我们只是想unlock,并不想删除它们。幸运的是,tr1::shared_ptr允许指定自己的删除器(”deleter”)---一个函数或者函数对象,引用计数为0的时候会自动调用这个对像。(auto_ptr中不存在这个功能,它总是会删除指针。)这个删除器是tr1::shared_ptr构造函数的第二个可选参数,所以代码会是下面这个样子:

 1 class Lock {2 3 public:4 5 explicit Lock(Mutex *pm) // init shared_ptr with the Mutex6 7 : mutexPtr(pm, unlock) // to point to and the unlock func8 9 { // as the deleter†
10 
11 lock(mutexPtr.get()); // see Item 15 for info on “get”
12 
13 }
14 
15 private:
16 
17 std::tr1::shared_ptr<Mutex> mutexPtr; // use shared_ptr
18 
19 }; // instead of raw pointer

 

注意在这个例子中,Lock类不再声明析构函数。因为没有必要了。Item 5 解释到一个类的析构函数(无论是编译器生成的还是用户定义的)会自动调用类中的非静态数据成员的析构函数。在这个例子中,非静态数据成员为mutexPtr。但是在mutex的引用计数为0的时候其的析构函数会自动调用tr1::shared_ptr的删除器—也即是unlock。(人们在看到类的源码的时候如果有一行注释来说明你没有忘记析构,你只是使用了编译器默认生成的析构函数,他们会很感激的。)

2.3 一份资源,多次拷贝——深拷贝

  • 拷贝底层的资源。有时你可以拥有一个资源尽可能多的拷贝,你需要一个资源管理类的唯一原因是能够确保资源被使用完毕后能够被释放掉。这种情况下,拷贝一个资源管理对象应该同时拷贝他所包裹(wraps)的资源。也就是拷贝一个资源管理类对象需要执行“深拷贝”。

有一些标准string类型的实现中包含了指向堆内存的指针,组成string的字符会保存在这块内存中。当一个string对象被拷贝的时候,会同时拷贝指针和指针指向的内存。这样的string展示出来的是深拷贝。

2.4 一份资源,一次引用,转移所有权——使用auto_ptr

  • 转移底层资源的所有权。在很少的场合,你可能需要确保只有一个RAII对象指向一个原生(raw)资源,所以当RAII对象被拷贝的时候,资源的拥有权从被拷贝对象转移到了拷贝到的对象。正如Item 13所解释的,这是使用auto_ptr进行拷贝的含义。 

拷贝函数可能由编译器生成,所以除非编译器生成版本能够做到你想要的(Item 5解释了默认版本的行为),否则你需要自己实现它们。一些情况下你可能想支持这些函数的一般版本。这些版本在Item 45进行描述。

3. 总结

  • 拷贝一个RAII对象需要拷贝他所管理的资源,因此资源的拷贝行为决定了RAII对象的拷贝行为。
  • 普通RAII类的拷贝行为是禁止拷贝,执行引用计数,但其他拷贝行为也是可以实现的。

这篇关于读书笔记 effective c++ Item 14 对资源管理类的拷贝行为要谨慎的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!


原文地址:
本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.chinasem.cn/article/882663

相关文章

C++作用域和标识符查找规则详解

《C++作用域和标识符查找规则详解》在C++中,作用域(Scope)和标识符查找(IdentifierLookup)是理解代码行为的重要概念,本文将详细介绍这些规则,并通过实例来说明它们的工作原理,需... 目录作用域标识符查找规则1. 普通查找(Ordinary Lookup)2. 限定查找(Qualif

C/C++ chrono简单使用场景示例详解

《C/C++chrono简单使用场景示例详解》:本文主要介绍C/C++chrono简单使用场景示例详解,本文通过实例代码给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友... 目录chrono使用场景举例1 输出格式化字符串chrono使用场景China编程举例1 输出格式化字符串示

C++/类与对象/默认成员函数@构造函数的用法

《C++/类与对象/默认成员函数@构造函数的用法》:本文主要介绍C++/类与对象/默认成员函数@构造函数的用法,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录名词概念默认成员函数构造函数概念函数特征显示构造函数隐式构造函数总结名词概念默认构造函数:不用传参就可以

C++类和对象之默认成员函数的使用解读

《C++类和对象之默认成员函数的使用解读》:本文主要介绍C++类和对象之默认成员函数的使用方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录一、默认成员函数有哪些二、各默认成员函数详解默认构造函数析构函数拷贝构造函数拷贝赋值运算符三、默认成员函数的注意事项总结一

C/C++中OpenCV 矩阵运算的实现

《C/C++中OpenCV矩阵运算的实现》本文主要介绍了C/C++中OpenCV矩阵运算的实现,包括基本算术运算(标量与矩阵)、矩阵乘法、转置、逆矩阵、行列式、迹、范数等操作,感兴趣的可以了解一下... 目录矩阵的创建与初始化创建矩阵访问矩阵元素基本的算术运算 ➕➖✖️➗矩阵与标量运算矩阵与矩阵运算 (逐元

C/C++的OpenCV 进行图像梯度提取的几种实现

《C/C++的OpenCV进行图像梯度提取的几种实现》本文主要介绍了C/C++的OpenCV进行图像梯度提取的实现,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的... 目录预www.chinasem.cn备知识1. 图像加载与预处理2. Sobel 算子计算 X 和 Y

C/C++和OpenCV实现调用摄像头

《C/C++和OpenCV实现调用摄像头》本文主要介绍了C/C++和OpenCV实现调用摄像头,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一... 目录准备工作1. 打开摄像头2. 读取视频帧3. 显示视频帧4. 释放资源5. 获取和设置摄像头属性

c/c++的opencv图像金字塔缩放实现

《c/c++的opencv图像金字塔缩放实现》本文主要介绍了c/c++的opencv图像金字塔缩放实现,通过对原始图像进行连续的下采样或上采样操作,生成一系列不同分辨率的图像,具有一定的参考价值,感兴... 目录图像金字塔简介图像下采样 (cv::pyrDown)图像上采样 (cv::pyrUp)C++ O

c/c++的opencv实现图片膨胀

《c/c++的opencv实现图片膨胀》图像膨胀是形态学操作,通过结构元素扩张亮区填充孔洞、连接断开部分、加粗物体,OpenCV的cv::dilate函数实现该操作,本文就来介绍一下opencv图片... 目录什么是图像膨胀?结构元素 (KerChina编程nel)OpenCV 中的 cv::dilate() 函

C++ RabbitMq消息队列组件详解

《C++RabbitMq消息队列组件详解》:本文主要介绍C++RabbitMq消息队列组件的相关知识,本文给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友参考下吧... 目录1. RabbitMq介绍2. 安装RabbitMQ3. 安装 RabbitMQ 的 C++客户端库4. A