在说C++模板的方法前，我们先想想C语言里面是怎么做交换的。
举个例子，要将两个int数值交换，是不是想到下面的代码：
如果要求不用临时变量，可考虑异或的方式。
整型数比较容易理解，如果是字符串呢？字符串交换不能直接使用上面类似的方法赋值，想想原因是啥？
当然如果还可以用指针的指针。
上面的方法都是按特定的类型做的处理，有没更通用的写法？
我们来看看C++ 怎么处理交换：
是不是和int的很像？
我们再来看看标准库里面swap的算法是怎么实现的：
template 是c++里面很重要的概念，利用模板可以实现很多通用的算法。上面的std::swap要求T类实现拷贝构造函数，并且和上面
在C++编程中，交换两个变量的值是一个常见的操作，`swap`函数就是用来完成这一任务的。在C++中，`swap`函数有多种不同的实现方式，每种都有其特定的适用场景和优缺点。这里我们将探讨几种常见的`swap`函数实现方法。
1. **基础的赋值交换**：
在C语言中，我们通常使用一个临时变量来交换两个变量的值，如下所示：
```cpp
int a = 1, b = 2;
int temp = a;
a = b;
b = temp;
```
如果想要避免使用临时变量，可以使用异或操作：
```cpp
a = a ^ b;
b = a ^ b;
a = a ^ b;
```
2. **指针交换**：
对于更复杂的数据类型，如字符串，直接赋值可能无法达到交换的效果，因为字符串是动态分配的内存。这时，可以使用指针交换：
```cpp
char* str1 = "Hello";
char* str2 = "World";
char* temp = str1;
str1 = str2;
str2 = temp;
```
注意这仅适用于字符串指针，不涉及字符串内容的交换。
3. **C++的`std::swap`模板函数**：
C++标准库提供了`std::swap`模板函数，它能够处理任意类型的对象交换。`std::swap`的典型实现依赖于对象的拷贝构造函数和赋值运算符。例如：
```cpp
template <typename T>
void swap(T& a, T& b) {
T temp(a);
a = b;
b = temp;
}
```
这种方法通用性极强，但当处理大量数据或大对象时，由于拷贝构造和赋值操作的开销，效率可能会降低。
4. **C++11的`std::swap`优化**：
针对上述问题，C++11引入了移动语义和`std::move`，对`std::swap`进行了优化。对于支持移动构造函数的对象，`std::swap`会使用移动构造函数而不是拷贝构造函数，大大提高了效率。例如，对于`std::string`，只需交换指向内部缓冲区的指针即可：
```cpp
template <typename T>
void swap(T& a, T& b) {
a.swap(b); // std::string等类型有自己的swap成员函数
}
```
对于没有`swap`成员函数的对象，`std::swap`会尝试使用移动构造函数，如下所示：
```cpp
template <typename T>
void swap(T& a, T& b) {
using std::swap; // 引入命名空间中的swap
swap(std::forward<T>(a), std::forward<T>(b));
}
```
5. **成员函数`swap`**：
对于自定义类型，通常推荐提供一个成员函数`swap`，以利用对象的内部结构优化交换操作。这样，`std::swap`在调用时会优先选择这个成员函数，如`std::string`的实现。
总结来说，C++中的`swap`函数有多种实现，从基本的赋值交换到使用模板的通用`std::swap`，再到C++11引入的移动语义优化。开发者应根据具体需求选择合适的`swap`实现，以确保代码的效率和通用性。对于自定义类型，良好的做法是提供自己的`swap`成员函数，并确保其高效且符合预期行为。
- 1
- 2
前往页