C++20使用“复制和交换”方法实现安全处理异常的赋值运算符

🕗 发布于 2024-07-21 23:46 c++20 开发语言 c++

以下笔记来自：C++20高级编程(第5版) p231-237。

前期准备

对于 C++来说，如果没有自行编写拷贝构造函数或赋值运算符，C++会自动生成。然而，对于基本类型，编译器只会提供表层复制或赋值，也就是浅拷贝。

那么对于以下的类，如果使用了编译器提供了默认的拷贝构造函数，会导致程序运行错误：

class Sheet {
public:
Sheet(size_t width, size_t height) 
    : m_width{ width }, m_height{ height }
{
m_chart = new int* [m_width];
for (size_t i{ 0 }; i < m_width; i++ ) {
    m_chart[i] = new int[m_height];
}
}

~Sheet() {
for (size_t i{ 0 }; i < m_width; i++) {
delete[] m_chart[i];
}
delete[] m_chart;
m_chart = nullptr;
}

private:
size_t m_width{ 0 };
size_t m_height{ 0 };

int** m_chart;
};

可以使用以下的代码验证，可以发现程序会报错：

int main() {
// 构造一个变量
Sheet a1{ 5, 7 };
// 使用默认的拷贝构造函数完成拷贝构造
Sheet a2{ a1 };
return 0;
}

因此，我们需要自己写一个拷贝构造函数来完成对于类的拷贝构造（深拷贝）。

#include <iostream>

using namespace std;

class Sheet {
public:
Sheet(size_t width, size_t height) 
: m_width{ width }, m_height{ height }
{
m_chart = new int* [m_width];
for (size_t i{ 0 }; i < m_width; i++ ) {
m_chart[i] = new int[m_height];
}
}

~Sheet() {
for (size_t i{ 0 }; i < m_width; i++) {
delete[] m_chart[i];
}
delete[] m_chart;
m_chart = nullptr;
}
//    ADD   ///
Sheet(const Sheet& src) 
: Sheet{src.m_width, src.m_height}
{
for (size_t i{ 0 }; i < m_width; i++) {
for (size_t j{ 0 }; j < m_height; j++) {
m_chart[i][j] = src.m_chart[i][j];
}
}
}
///

private:
size_t m_width{ 0 };
size_t m_height{ 0 };

int** m_chart;
};

再次执行上面的代码，可以发现程序不会报错了，因为通过深拷贝，可以正确的分配内存了。

赋值运算符

那么，如果要实现赋值运算符，应该怎么实现？

首先，来看以下的实现方式：

Sheet& operator=(const Sheet& rhs) {
// 检查是不是自赋值
if (this == &rhs) {
return *this;
}
// 释放旧内存
for (size_t i{ 0 }; i < m_width; i++) {
delete[] m_chart[i];
}
delete[] m_chart;
m_chart = nullptr;
// 分配新内存
m_width = rhs.m_width;
m_height = rhs.m_height;

m_chart = new int* [m_width];
for (size_t i{ 0 }; i < m_width; i++) {
m_chart[i] = new int[m_height];
}
// 复制数据
for (size_t i{ 0 }; i < m_width; i++) {
for (size_t j{ 0 }; j < m_height; j++) {
m_chart[i][j] = rhs.m_chart[i][j];
}
}
return *this;
}

该函数做了以下的事情：

检查自赋值
释放当前使用的内存
分配新的内存
复制各个内存

我在第一眼看的时候并没有发现什么错，不过经过书中的指点，我才明白：该代码存在以下的漏洞：

如果该代码成功的释放了内存，合理的设置了 m_width 与 m_height，但是分配内存的循环抛出了异常。如果出现了这种情况，则将不再执行该方法的剩余部分，而是直接从该方法中退出。此时 Sheet 实例受损，它的 m_width 与 m_height 数据成员声明了指定的大小，但 m_chart 数据成员不指向正确数量的内存。所以，该代码不能安全的处理异常！

所以，我们需要一种全有或全无的机制：要么全部成功，要么该对象保持不变。如果要实现一个能安全处理异常的赋值运算符，则要使用 复制和交换 的方法：

什么是复制和交换方法

该方法共有以下几步：

给目标类添加一个 swap() 方法（推荐提供一个非成员函数的版本，这样各种标准库算法都可以使用它了）
使用复制和变换的惯用方法
1. 创建一个右边的副本
2. 用当前对象与这个副本交换

代码演示

以下是代码演示：

首先，先写一个 swap 函数，成员函数版与非成员函数版。

class Sheet {
public:

// 之前的代码省略

// 成员函数版
void swap(Sheet& other) noexcept {
std::swap(m_width, other.m_width);
std::swap(m_height, other.m_height);
std::swap(m_chart, other.m_chart);
}

private:
// 数据成员省略
};

// 再提供一个非成员函数版
void swap(Sheet& first, Sheet& second) noexcept {
first.swap(second);
}

然后使用复制与交换的惯用方法，完成赋值运算符。

Sheet& operator=(const Sheet& rhs) {
Sheet temp{ rhs };
swap(temp);
return *this;
}

复制与交换方法通过 3 个阶段来实现：

第一阶段创建一个临时副本。这不修改当前 Sheet 对象的状态，因此，如果在这个阶段上发生异常，不会出现问题。
第二阶段使用 swap() 函数，将创建的临时副本与当前对象交换。swap() 永远不会抛出异常。
第三阶段销毁临时对象（由于发生了交换，temp 为原始对象）以清理内存。

复制和交换方法的好处

使用了复制和交换惯用方法的情况下，不再需要自我赋值的检查了。
可以避免代码重复，又可以保证强大的异常安全性
复制和交换惯用方法不仅仅适用于赋值运算符。它可以用于任何需要多个步骤的操作，并且你希望将其转换为全有或全无的操作。

完整的代码

#include <iostream>

using namespace std;

class Sheet {
public:
Sheet(size_t width, size_t height) 
: m_width{ width }, m_height{ height }
{
m_chart = new int* [m_width];
for (size_t i{ 0 }; i < m_width; i++ ) {
m_chart[i] = new int[m_height];
}
}

~Sheet() {
for (size_t i{ 0 }; i < m_width; i++) {
delete[] m_chart[i];
}
delete[] m_chart;
m_chart = nullptr;
}

Sheet(const Sheet& src) 
: Sheet{src.m_width, src.m_height}
{
for (size_t i{ 0 }; i < m_width; i++) {
for (size_t j{ 0 }; j < m_height; j++) {
m_chart[i][j] = src.m_chart[i][j];
}
}
}

void swap(Sheet& other) noexcept {
std::swap(m_width, other.m_width);
std::swap(m_height, other.m_height);
std::swap(m_chart, other.m_chart);
}

Sheet& operator=(const Sheet& rhs) {
Sheet temp{ rhs };
swap(temp);
return *this;
}

private:
size_t m_width{ 0 };
size_t m_height{ 0 };

int** m_chart;
};

void swap(Sheet& first, Sheet& second) noexcept {
first.swap(second);
}

int main() {
Sheet a1{ 5, 7 };
Sheet a2{ 2, 4 };

a2 = a1;

return 0;
}

原文地址：https://blog.csdn.net/ghost_him/article/details/140478414

免责声明：本站文章内容转载自网络资源，如本站内容侵犯了原著者的合法权益，可联系本站删除。更多内容请关注自学内容网（zxcms.com）！

上一篇：推出全新的ZL3079x、ZL3069x、ZL3066x同步器，优化用于5G运输和无线基础设施设备
下一篇：构建自动化：在Gradle中配置项目变量

sql server 查看io资源使用
如果输出physical reads 或者 read-ahead reads 大于0 ，则表示有物理读取。
阅读更多2024-11-14
opencv入门学习总结
import cv2 # 返回当前安装的 OpenCV 库的版本信息并且是字符串格式 print(cv2 . getVersionString()) """作用：它可以
阅读更多2024-11-14
stable-diffusion-3 ，每天免费试用
官方space，童叟无欺，科学试用。
阅读更多2024-11-14
AI绘画经验（stable-diffusion）
在Stable Diffusion中，编码器将图像压缩成一个较小的Latent特征向量，这个向量包含了图像的关键信息，并且可以作为U-Net的输入。在Stable Diffusion中，文本编码器用于
阅读更多2024-11-14
【Linux网络编程】Socket编程--TCP：echo server | 多线程远程命令执行
【Linux网络编程】Socket编程--TCP：echo server | 多线程远程命令执行
阅读更多2024-11-14
vLLM×Milvus：如何高效管理GPU内存，减少大模型幻觉
大语言模型（LLM）是功能丰富且强大的 AI 系统，能够解决各个领域内的众多问题。它们的发展速度非常快，新模型不断被频繁推出。通常，新推出的 LLM 在处理各种任务时的性能更好。例如 Mistral、
阅读更多2024-11-14
一个功能强大的文档解析和转换工具，支持PDF、DOCX、PPTX和Markdown等
Docling是一个功能强大的文档解析和转换工具，支持多种文档格式，提供先进的PDF理解功能，并允许用户将文档转换为Markdown和JSON格式。它还具有元数据提取、OCR支持、无缝集成以及其他高级
阅读更多2024-11-14
计算机网络：运输层 —— TCP 协议概述与 TCP 报文段首部格式
传输控制协议（Transmission Control Protocol，TCP）协议是互联网上最常用的传输层协议之一，它负责提供可靠的端到端数据传输服务。TCP 协议采用连接导向的通信方式，通过三次
阅读更多2024-11-14
MySQL常见面试题
MySQL常见面试题
阅读更多2024-11-14
《Redis 实战基础、持久化机制及与 MySQL 一致性解决方案》
本文探讨了Redis的持久化机制及其在不同场景下的应用，并简要介绍了与MySQL数据同步的一致性解决方案。希望这些内容能帮助读者更好地理解和使用Redis，提升应用系统的性能和可靠性。
阅读更多2024-11-14