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

相关文章
|
10月前
|
监控 Linux 测试技术
C++零拷贝网络编程实战:从理论到生产环境的性能优化之路
🌟 蒋星熠Jaxonic,技术宇宙中的星际旅人。深耕C++与零拷贝网络编程,从sendfile到DPDK,实战优化服务器性能,毫秒级响应、CPU降60%。分享架构思维,共探代码星辰大海!
|
编译器 C++ 容器
【c++11】c++11新特性(上)(列表初始化、右值引用和移动语义、类的新默认成员函数、lambda表达式)
C++11为C++带来了革命性变化,引入了列表初始化、右值引用、移动语义、类的新默认成员函数和lambda表达式等特性。列表初始化统一了对象初始化方式,initializer_list简化了容器多元素初始化;右值引用和移动语义优化了资源管理,减少拷贝开销;类新增移动构造和移动赋值函数提升性能;lambda表达式提供匿名函数对象,增强代码简洁性和灵活性。这些特性共同推动了现代C++编程的发展,提升了开发效率与程序性能。
604 12
|
机器学习/深度学习 存储 算法
基于 C++ 布隆过滤器算法的局域网上网行为控制:URL 访问过滤的高效实现研究
本文探讨了一种基于布隆过滤器的局域网上网行为控制方法,旨在解决传统黑白名单机制在处理海量URL数据时存储与查询效率低的问题。通过C++实现URL访问过滤功能,实验表明该方法可将内存占用降至传统方案的八分之一,查询速度提升约40%,假阳性率可控。研究为优化企业网络管理提供了新思路,并提出结合机器学习、改进哈希函数及分布式协同等未来优化方向。
390 0
|
人工智能 机器人 编译器
c++模板初阶----函数模板与类模板
class 类模板名private://类内成员声明class Apublic:A(T val):a(val){}private:T a;return 0;运行结果:注意:类模板中的成员函数若是放在类外定义时,需要加模板参数列表。return 0;
329 0
|
存储 编译器 程序员
c++的类(附含explicit关键字,友元,内部类)
本文介绍了C++中类的核心概念与用法,涵盖封装、继承、多态三大特性。重点讲解了类的定义(`class`与`struct`)、访问限定符(`private`、`public`、`protected`)、类的作用域及成员函数的声明与定义分离。同时深入探讨了类的大小计算、`this`指针、默认成员函数(构造函数、析构函数、拷贝构造、赋值重载)以及运算符重载等内容。 文章还详细分析了`explicit`关键字的作用、静态成员(变量与函数)、友元(友元函数与友元类)的概念及其使用场景,并简要介绍了内部类的特性。
503 0
|
编译器 C++
类和对象(中 )C++
本文详细讲解了C++中的默认成员函数,包括构造函数、析构函数、拷贝构造函数、赋值运算符重载和取地址运算符重载等内容。重点分析了各函数的特点、使用场景及相互关系,如构造函数的主要任务是初始化对象,而非创建空间;析构函数用于清理资源;拷贝构造与赋值运算符的区别在于前者用于创建新对象,后者用于已存在的对象赋值。同时,文章还探讨了运算符重载的规则及其应用场景,并通过实例加深理解。最后强调,若类中存在资源管理,需显式定义拷贝构造和赋值运算符以避免浅拷贝问题。
|
编译器 C++
类和对象(下)C++
本内容主要讲解C++中的初始化列表、类型转换、静态成员、友元、内部类、匿名对象及对象拷贝时的编译器优化。初始化列表用于成员变量定义初始化,尤其对引用、const及无默认构造函数的类类型变量至关重要。类型转换中,`explicit`可禁用隐式转换。静态成员属类而非对象,受访问限定符约束。内部类是独立类,可增强封装性。匿名对象生命周期短,常用于临时场景。编译器会优化对象拷贝以提高效率。最后,鼓励大家通过重复练习提升技能!
|
编译器 C++ 开发者
【C++篇】深度解析类与对象(下)
在上一篇博客中,我们学习了C++的基础类与对象概念,包括类的定义、对象的使用和构造函数的作用。在这一篇,我们将深入探讨C++类的一些重要特性,如构造函数的高级用法、类型转换、static成员、友元、内部类、匿名对象,以及对象拷贝优化等。这些内容可以帮助你更好地理解和应用面向对象编程的核心理念,提升代码的健壮性、灵活性和可维护性。
|
编译器 C语言 C++
类和对象的简述(c++篇)
类和对象的简述(c++篇)
|
设计模式 安全 C++
【C++进阶】特殊类设计 && 单例模式
通过对特殊类设计和单例模式的深入探讨,我们可以更好地设计和实现复杂的C++程序。特殊类设计提高了代码的安全性和可维护性,而单例模式则确保类的唯一实例性和全局访问性。理解并掌握这些高级设计技巧,对于提升C++编程水平至关重要。
312 16