为何要为自定义类型提供swap()函数？附POSIX文件描述符管理类示例

咱们就拿你写的remote_connection类来唠清楚这个问题——这个管理POSIX文件描述符的类，正好能体现自定义swap()的核心价值：

1. 避免默认std::swap的低效与冗余操作 #

默认的std::swap逻辑是通过三次移动/拷贝完成交换：先创建临时对象，再把两个对象的资源依次转移到临时对象和彼此身上。对你的remote_connection来说，哪怕已经实现了移动语义，默认swap还是会触发多余的操作：

• 移动构造临时对象时把原对象的socket_fd设为-1
• 临时对象销毁时调用close(-1)（虽然无害但完全没必要）

而自定义swap()可以直接交换核心成员变量，一步到位：

friend void swap(remote_connection& lhs, remote_connection& rhs) noexcept {
    using std::swap;
    swap(lhs.socket_fd, rhs.socket_fd);
}

整个过程只是交换两个int值，没有任何资源的创建、销毁或转移，效率直接拉满。

2. 实现强异常安全的操作 #

很多时候我们会用「copy-and-swap」惯用法写赋值操作符，比如：

remote_connection& operator=(remote_connection other) noexcept {
    swap(*this, other);
    return *this;
}

如果你的自定义swap()标记为noexcept（就像上面的例子，交换int绝不会抛异常），那么整个赋值操作就具备强异常安全——要么赋值完全成功，要么原对象状态丝毫不改。这对管理资源的类来说太重要了，毕竟没人希望赋值失败后，文件描述符被意外关闭或丢失。

另外，标准库容器（比如std::vector）在resize、sort等操作中，会优先调用自定义的noexcept swap，这样容器自身的异常安全保障也能得到提升。

3. 贴合自定义类型的资源管理逻辑 #

你的remote_connection禁用了拷贝语义，只保留移动语义——这说明它的核心是管理唯一的文件描述符。自定义swap()可以完全贴合这个设计意图：只是交换两个对象对资源的所有权，不会触发任何资源的释放或重新获取，比默认swap更符合类的定位。

简单说，自定义swap()就是让你的类型在交换操作时，做最正确、最高效的事，而不是让通用逻辑来“猜”该怎么处理你的资源。

内容的提问来源于stack exchange，提问作者sergs