何时应为供他人使用的非单例C++类实现swap()函数？

一、需要自定义swap()的场景 #

• 类持有可高效交换的资源时：如果你的类用裸指针管理堆内存、文件句柄或其他外部资源，默认std::swap会执行三次完整的对象拷贝（构造+赋值+析构），开销极大。而自定义swap只需交换内部资源的指针/句柄，做到O(1)时间复杂度——比如std::vector的swap就是这种情况，必须实现才能保证用户代码的性能。
• 类禁用了拷贝操作但需要交换能力时：如果你的类因为业务逻辑或资源唯一性，用=delete禁用了拷贝构造和拷贝赋值，默认std::swap会直接失效（因为它依赖拷贝操作）。这时候自定义swap是唯一能让用户交换对象的方式，比如某些仅支持移动的RAII类。
• 类的关键状态是私有成员时：如果类的核心资源是私有成员，std::swap只能通过公共接口间接操作，效率低下。自定义swap可以通过友元声明直接访问私有成员，实现高效交换，同时不破坏封装性。

二、与规则零、规则五的关联 #

• 规则零（依赖编译器自动生成特殊成员函数）：如果你的类遵循规则零，用智能指针（如std::unique_ptr、std::shared_ptr）或RAII容器（如std::vector）管理资源，编译器会自动生成高效的移动构造和移动赋值函数。此时std::swap会自动调用这些移动操作，达到和自定义swap一样的效率，不需要额外实现自定义swap。
• 规则五（特殊成员函数全定义）：如果你的类因为手动管理资源（比如不用智能指针，自己处理裸指针的生命周期），不得不手动定义析构、拷贝或移动操作，这时候编译器不会自动生成剩余的特殊成员函数。默认std::swap要么效率极低（依赖拷贝），要么直接不可用（如果拷贝被禁用）。这种情况下必须实现自定义swap，来补全类的操作能力，保证用户能高效交换对象。

版本说明 #

上述逻辑主要适用于C++11及以后版本：C11引入移动语义后，std::swap会优先使用移动操作；而C03及更早版本没有移动语义，自定义swap的必要性更高——因为默认swap只能依赖拷贝，效率问题更突出。

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