为什么std::swap不是类模板？模板类特化std::swap编译失败原因解析

为什么std::swap设计为函数模板而非类模板？ #

• 使用体验优先：std::swap从C++98开始被纳入标准库，核心定位是提供通用、易用的交换操作接口。函数模板支持直接以swap(a, b)的形式调用，写法符合普通函数的使用习惯，比类模板需要调用静态成员的写法（如swap_impl<T>::exec(a, b)）简洁很多，适配绝大多数日常交换场景的使用需求。
• 现有机制已覆盖扩展需求：函数模板虽然不支持偏特化，但C++的参数依赖查找（ADL）机制完全可以满足自定义类型实现专属交换逻辑的需求，不需要依赖类模板的偏特化能力，标准库不需要为了小众的偏特化需求牺牲绝大多数场景的使用便捷性。

给Widget类模板实现专属swap的正确方案 #

你不需要尝试偏特化std::swap，标准推荐的实现方式如下：

template<typename T>
class Widget {
    // 声明为友元，允许非成员swap调用内部私有方法
    friend void swap(Widget& a, Widget& b) noexcept {
        a.swap(b);
    }
private:
    void swap(Widget&) noexcept {
        // 你的内部交换逻辑
    }
};

// 调用处的标准写法
template<typename T>
void demo(T& x, T& y) {
    using std::swap; // 导入标准swap作为兜底方案
    swap(x, y); // 自动优先匹配自定义swap，找不到才调用std::swap
}

注意：C++标准只允许用户向std命名空间添加模板的全特化实现，不允许新增重载函数，因此尝试向std中新增swap重载的写法也是不符合标准的，优先用ADL方案即可。

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