【C++】std::swap() 如果类中有动态内存分配，该如何处理

std::swap() 如果类中有动态内存分配

Effective C++ Item 25

最近在写代码的时候遇到一个问题，自己定义的矩阵类型，想要通过std::swap函数来交换两个对象，只交换对象内部的数据，即指针，该怎么做。如果直接交换的话，会导致指针指向一片未知的地址，析构时，就会delete一个陌生的地址，进而报错。
然后看了网上的一些答案，没有找到满意的，恰好看书有这一章，很有收获。

为了高效的使用std::swap，需要对swap做一些定制化的操作。

// std::swap 的基础实现
template<typename T>
void swap(T& a, T& b){
	T temp(a);
	a = b;
	b = temp;
}

在基础的std::swap里，调用了T类型的拷贝构造函数，移动赋值操作符。首先会创建一个T类型的对象，然后做两遍赋值操作。但有时类型T的对象很大，创建和移动有很大的开销，而真正的数据可能只存在于一个指针里面。例如：

<typename T>
class Matrix{
public:
	...
private:
	T* data;
	int rows;
	int cols;
	...
}

交换两个Matrix对象时，只需要对换data指针即可（此处的例子是两个矩阵的size是一样的）

第一步：定义member swap

使用一个名为swap 的 public 成员函数来做真正的置换工作

确保成员swap函数不抛出异常

<typename T>
class Matrix{
public:
	void swap(Matrix<T>& other) noexcept {
		using std::swap;
		swap(data, other.data);
	}
}

第二步：定义non-member swap

使用一个 non-member 函数来调用 member swap

template<typename T>
void swap(Matrix<T>& a, Matrix<T>& b){
	a.swap(b);
}

第三步：特化std::swap

如果有人使用std::swap，也可以运行到正确的代码

但是必须得写出模板类的各种具体类型。无法对template functions 偏特化。

如果是类的话，推荐这样写，如果是模板类的话，最好用non-member swap。

namespace std{
	template<>  // 全特化
	swap(Matrix<double>& a, Matrix<double>& b){
		a.swap(b);
	}
}

使用的例子：

A = Matrix<double>(3, 2);
B = Matrix<double>(3, 2);

using std::swap;  // 让std::swap函数曝光
swap(A, B);

具体使用哪个swap，匹配的顺序为：

1. 根据swap的参数的类型搜索该类型所在的命名空间，看是否有 non-member swap
2. 寻找 std::swap 的特化版本，即使用 template<> 全特化的swap
3. 使用一般化的swap，即std::swap的基础版

💡 最开始的思路有些跑偏。想到swap里面调用的是move，就想到写移动拷贝函数，移动赋值函数这些，看了Effective C++中关于swap函数这一条款，才恍然大悟。直接定义一个成员的swap，交换自己的成员指针变量。

成员函数内有权限访问同一个类的另一个实例的私有成员。