如何为我的类型正确专门化 std::swap？

如何解决如何为我的类型正确专门化 std::swap？

在我设法为我的类类型重载 std::swap 之后，现在我想专门化它而不是重载它，因为标准允许向命名空间 std 添加模板特化。这是我的例子：

class Foo{
public:
    Foo(){
        std::cout << "Foo()\n";
    }
    Foo(Foo const&){
        std::cout << "Foo(Foo const&)\n";
    }
    Foo(Foo&&){
        std::cout << "Foo(Foo&&)\n";
    }
    Foo& operator=(Foo const&){
        std::cout << "operator=(Foo const&)\n";
        return *this;
    }
    Foo& operator=(Foo&&){
        std::cout << "operator=(Foo&&)\n";
        return *this;
    }
    ~Foo(){
        std::cout << "~Foo()\n";
    }
};

class VecFoo;
namespace std{
    template <>
    void swap<VecFoo>(VecFoo&,VecFoo&);
}

class VecFoo{
    Foo* pFoo_ = new Foo[10];
    template<>
    friend void std::swap<VecFoo>(VecFoo&,VecFoo&);
};

template <>
void std::swap<VecFo>(VecFoo& lhs,VecFoo& rhs){
    std::cout << "template <> void std::swap(VecFoo&,VecFoo&)\n";
    std::swap(lhs.pFoo_,rhs.pFoo_);
}


int main(){

    VecFoo vf1,vf2;
    using std::swap;
    swap(vf1,vf2);

}

• 我不知道为什么它不能编译并出现错误：/usr/include/c++/10/type_traits|2195| required by substitution of ‘template<class ... _Cond> using _Require = std::__enable_if_t<std::__and_< <template-parameter-1-1> >::value> [with _Cond = {std::__not_<std::__is_tuple_like<VecFoo> >,std::is_move_constructible<VecFoo>,std::is_move_assignable<VecFoo>}]’|

那么这里的问题是什么，我该如何正确地专业化它？

• P.S：请不要争论我在课堂 VecFoo 中没有实现的 RAII 以及那里的内存泄漏，因为这不是我的问题。

解决方法

这真的很简单。 您不需要模板，但需要位于正确的命名空间中。

namespace std {
void swap(VecFoo& lhs,VecFoo& rhs) {
    std::cout << "void swap(VecFoo&,VecFoo&)\n";
    //do your custom swap here!!!
}
}

,

std::move 要求类是可移动赋值和移动构造的，但类 VecFoo 不是其中的任何一个。

您在类 Foo 中添加了一堆方法来支持这些约束，而该类不需要任何（您正在交换指针）。

此外，交换声明中有一个错字：它说 std::swap<VecFo> 而不是 std::swap<VecFoo>。

最后，我建议不要使用 friend。只需在类中添加一个方法 swap 并将逻辑放在那里。