C++当心资源管理类中的拷贝行为

简介: C++当心资源管理类中的拷贝行为

1.管理堆之外的资源


昨天的文章C++中基于对象来管理资源中介绍了如何使用auto_ptr和shared_ptr来管理基于堆(heap)的资源。但对于堆之外的资源(例如Mutex锁),智能指针就不那么好用了,因此我们需要写自己的资源管理类。假设我们现在正在操作一个Mutex锁,如下所示:


1void lock(Mutex* pm);  // 锁住pm所指向的锁
2void unlock(Mutex* pm);  // 解开pm所指向的锁


同时,还有一个符合RAII规范(即获取资源在对象构造过程中,释放资源在对象析构过程中)的类来管理这些锁,如下所示:


1#include <iostream>
 2#include <memory>
 3#include <mutex>
 4
 5void lock(Mutex* pm);
 6void unlock(Mutex* pm);
 7
 8class Lock{
 9public:
10    explicit Lock(Mutex* pm): mutexPtr(pm){
11        lock(mutexPtr);   //  在构造时获取资源,上锁
12    }
13    ~Lock(){
14        unlock(mutexPtr);   //  在析构时释放资源,解锁
15    }
16private:
17    Mutex* mutexPtr;
18};


例如,访问临界区(critical section), 临界区即线程必须互斥地访问某些资源,这些资源必须只能最多由一个线程访问。因此,我们就需要以RAII的方式来进行操作。


1Mutex m;
2
3// ...
4{   // 创建一个代码块来定义临界区
5    Lock m1(&m);  // 构造锁ml,锁住m
6
7    // ... 执行临界区操作
8}  // 临界区结束,调用ml的析构函数,解锁


2.资源管理类中的拷贝行为


以上代码中的用法都是没有问题的,可如果锁被拷贝了呢?如下所示:


1Mutex m;
2
3Lock m1(&m);  // m在m1构造过程中被锁住
4Lock m2(m1);  // 把m1拷贝进m2,注意会发生什么情况?


在创建自己的RAII资源管理类时,我们必须要思考需要如何规定这个类的拷贝行为。对于这个问题,我们有如下选择:


(1).禁止拷贝


有些对象的拷贝是没有意义的,就如上例中的这个锁,没有人会给同一个资源上两个锁。对于这样的类,我们就干脆禁止拷贝。正如之前的文章如果不想使用编译器默认生成的函数,请明确拒绝它提到的需要把拷贝函数声明为私有private来禁止拷贝,如下所示:


1class Lock: private Uncopyable{  // 设为private,禁止拷贝
 2public:
 3    explicit Lock(Mutex* pm): mutexPtr(pm){
 4        lock(mutexPtr);   //  在构造时获取资源,上锁
 5    }
 6    ~Lock(){
 7        unlock(mutexPtr);   //  在析构时释放资源,解锁
 8    }
 9private:
10    Mutex* mutexPtr;
11};


(2).给资源引用计数


有时候我们需要一直持有一个资源直到最后一个对象使用完毕。要实现这样的功能,我们必须有一个计数器来统计当前有多少对象在使用这个资源。当生成一个拷贝时加一,当删除一个拷贝时减一,和shared_ptr智能指针原理是一样的。我们可以替代裸指针把shared_ptr作为RAII对象的数据成员来实现这个功能(将mutexPtr类型从Mutex*变成shared_ptr<Mutex>)。我们知道默认情况下,shared_ptr在引用计数为零时会删除掉它所包含的指针。但对于Mutex锁,我们想要的是解锁而不是删除掉,否则我们是没有办法解开一个被删除的锁。不要着急,这只是默认的情况。shared_ptr还提供了一个特殊的可定义函数,删除器(deleter),即在引用计数为零时调用的函数,是shared_ptr构造函数的一个附加参数。这个函数在auto_ptr中是不存在的,因此它不能有自定义的删除行为,只能删除掉它包括的指针。如下所示:


1class Lock{
2public:
3    explicit Lock(Mutex* pm): mutexPtr(pm, unlock){  // 将unlock函数绑定到删除器
4        lock(mutexPtr.get());   
5    }
6    //  这里不需要定义析构函数     
7private:
8    std::shared_ptr<Mutex> mutexPtr;  // 使用shared_ptr,不使用裸指针
9};


上面的程序中,我们并没有定义析构函数,因为前面的文章C++类中默认生成的函数中提到过,类的析构函数会调用它的非静态数据成员的析构函数。Lock类的析构函数会调用它的成员mutexPtr的析构函数,而当mutexPtr的引用计数为零时,它的析构函数则会调用删除器,即我们绑定的unlock函数。


(3).深拷贝封装的资源


有时候我们可以拥有某个资源的多份拷贝,那么我们的资源管理类就要确保每一份拷贝都要在使用周期结束后释放资源,并且每一份拷贝互不干涉。因此,拷贝这样的对象就要拷贝它包含的所有资源,进行深拷贝(deep copy)。例如当对象包含一个指针,我们必须先生成一个指针的拷贝,分配一个新的内存空间再把数据拷贝过来,这就是深拷贝。如果是浅拷贝,拷贝则直接使用了本体的指针成员,没有生成指针的拷贝,那么两个对象的指针成员就会指向同一个地址,删除拷贝就会导致本体被删除。


(4).转移所有权


有时候我们想要只有一个对象来持有这个资源,因此进行拷贝时,资源的所有权就要从原始对象转移到拷贝对象身上,原始对象不再持有资源,这就是auto_ptr的原理。文章C++类中默认生成的函数中指出编译器会为你生成默认的拷贝函数(即拷贝赋值运算符函数和拷贝构造函数),除非它们能实现你想要的功能,否则我们需要自己写拷贝函数来实现以上的其中一种功能。


3.总结


(1).拷贝RAII对象必须一并拷贝它所管理的资源,所以资源的拷贝行为决定RAII对象的拷贝行为。

(2).常用的RAII类拷贝行为有禁止拷贝、使用引用计数、拷贝资源、转移所有权,但也可以用其他做法来符合特殊需要。


4.参考资料


[1] https://zhuanlan.zhihu.com/p/71805363

相关文章
|
2天前
|
编译器 C++ 容器
【c++11】c++11新特性(上)(列表初始化、右值引用和移动语义、类的新默认成员函数、lambda表达式)
C++11为C++带来了革命性变化,引入了列表初始化、右值引用、移动语义、类的新默认成员函数和lambda表达式等特性。列表初始化统一了对象初始化方式,initializer_list简化了容器多元素初始化;右值引用和移动语义优化了资源管理,减少拷贝开销;类新增移动构造和移动赋值函数提升性能;lambda表达式提供匿名函数对象,增强代码简洁性和灵活性。这些特性共同推动了现代C++编程的发展,提升了开发效率与程序性能。
32 12
|
1月前
|
设计模式 安全 C++
【C++进阶】特殊类设计 && 单例模式
通过对特殊类设计和单例模式的深入探讨,我们可以更好地设计和实现复杂的C++程序。特殊类设计提高了代码的安全性和可维护性,而单例模式则确保类的唯一实例性和全局访问性。理解并掌握这些高级设计技巧,对于提升C++编程水平至关重要。
48 16
|
1月前
|
编译器 C++
类和对象(中 )C++
本文详细讲解了C++中的默认成员函数,包括构造函数、析构函数、拷贝构造函数、赋值运算符重载和取地址运算符重载等内容。重点分析了各函数的特点、使用场景及相互关系,如构造函数的主要任务是初始化对象,而非创建空间;析构函数用于清理资源;拷贝构造与赋值运算符的区别在于前者用于创建新对象,后者用于已存在的对象赋值。同时,文章还探讨了运算符重载的规则及其应用场景,并通过实例加深理解。最后强调,若类中存在资源管理,需显式定义拷贝构造和赋值运算符以避免浅拷贝问题。
|
1月前
|
存储 编译器 C++
类和对象(上)(C++)
本篇内容主要讲解了C++中类的相关知识,包括类的定义、实例化及this指针的作用。详细说明了类的定义格式、成员函数默认为inline、访问限定符(public、protected、private)的使用规则,以及class与struct的区别。同时分析了类实例化的概念,对象大小的计算规则和内存对齐原则。最后介绍了this指针的工作机制,解释了成员函数如何通过隐含的this指针区分不同对象的数据。这些知识点帮助我们更好地理解C++中类的封装性和对象的实现原理。
|
1月前
|
编译器 C++
类和对象(下)C++
本内容主要讲解C++中的初始化列表、类型转换、静态成员、友元、内部类、匿名对象及对象拷贝时的编译器优化。初始化列表用于成员变量定义初始化,尤其对引用、const及无默认构造函数的类类型变量至关重要。类型转换中,`explicit`可禁用隐式转换。静态成员属类而非对象,受访问限定符约束。内部类是独立类,可增强封装性。匿名对象生命周期短,常用于临时场景。编译器会优化对象拷贝以提高效率。最后,鼓励大家通过重复练习提升技能!
|
2月前
|
编译器 C++ 开发者
【C++篇】深度解析类与对象(下)
在上一篇博客中,我们学习了C++的基础类与对象概念,包括类的定义、对象的使用和构造函数的作用。在这一篇,我们将深入探讨C++类的一些重要特性,如构造函数的高级用法、类型转换、static成员、友元、内部类、匿名对象,以及对象拷贝优化等。这些内容可以帮助你更好地理解和应用面向对象编程的核心理念,提升代码的健壮性、灵活性和可维护性。
|
2月前
|
编译器 C语言 C++
类和对象的简述(c++篇)
类和对象的简述(c++篇)
|
1月前
|
安全 C++
【c++】继承(继承的定义格式、赋值兼容转换、多继承、派生类默认成员函数规则、继承与友元、继承与静态成员)
本文深入探讨了C++中的继承机制,作为面向对象编程(OOP)的核心特性之一。继承通过允许派生类扩展基类的属性和方法,极大促进了代码复用,增强了代码的可维护性和可扩展性。文章详细介绍了继承的基本概念、定义格式、继承方式(public、protected、private)、赋值兼容转换、作用域问题、默认成员函数规则、继承与友元、静态成员、多继承及菱形继承问题,并对比了继承与组合的优缺点。最后总结指出,虽然继承提高了代码灵活性和复用率,但也带来了耦合度高的问题,建议在“has-a”和“is-a”关系同时存在时优先使用组合。
110 6
|
3月前
|
C++ 芯片
【C++面向对象——类与对象】Computer类(头歌实践教学平台习题)【合集】
声明一个简单的Computer类,含有数据成员芯片(cpu)、内存(ram)、光驱(cdrom)等等,以及两个公有成员函数run、stop。只能在类的内部访问。这是一种数据隐藏的机制,用于保护类的数据不被外部随意修改。根据提示,在右侧编辑器补充代码,平台会对你编写的代码进行测试。成员可以在派生类(继承该类的子类)中访问。成员,在类的外部不能直接访问。可以在类的外部直接访问。为了完成本关任务,你需要掌握。
116 19
|
2月前
|
安全 编译器 C语言
【C++篇】深度解析类与对象(中)
在上一篇博客中,我们学习了C++类与对象的基础内容。这一次,我们将深入探讨C++类的关键特性,包括构造函数、析构函数、拷贝构造函数、赋值运算符重载、以及取地址运算符的重载。这些内容是理解面向对象编程的关键,也帮助我们更好地掌握C++内存管理的细节和编码的高级技巧。

热门文章

最新文章