C++中swap函数的特化，使用XCode发现的问题，有关target membership

[sinat_21752067]

用XCode写C++的代码，代码如下：



#include<utility>



class Widget

{

public:

Widget();

Widget(Widget &);

Widget &operator=(Widget &);

void swap(Widget &);

private:

int x;

};



Widget::Widget()

{

x = 1;

}



Widget::Widget(Widget &rhs) :x(rhs.x)

{



}



Widget &Widget::operator=(Widget &rhs)

{

x = rhs.x;

return *this;

}



void Widget::swap(Widget &other)

{

using std::swap;

swap(x, other.x);

}



namespace std

{

template<>

void swap<Widget>(Widget &a, Widget &b)

{

a.swap(b);

}

}



int main()

{

Widget a;

Widget b;

std::swap(a, b);

return 0;

}



只是想试试swap的特化而已，结果一直编译不成功，提示no function template matches function template specialization 'swap'.

在VS里面能成功编译。



后来无意间把target membership里面的勾给去掉了，结果就编译成功了。



所以想知道为什么勾上了target membership之后就不能编译了。。。



平常只是用XCode简单的打打代码，不是很了解这些东西。



希望高人指教。

[yshuise]

swap是个著名的用法

[yshuise]

函数最好不要特化，因为他的优先级还没有普通函数高。 只有类特化优先级比不特化高。 还有的用法是错误的，现有主模板函数，然后才特化。

[sinat_21752067]

求高人指点啊

[oj_fang]

特化std::swap 接下来我们示范利用模板特化的方法使用boost::swap。用一个简单的三维空间的点point作为例子，它实现了内部高效的交换函数： class point { int x, y, z; public: explicit point(int a=0, int b=0, int c=0):x(a),y(b),z(c){} void print()const { cout << x <<","<< y <<","<< z << endl; } void swap(point &p) //内置高效交换函数 { std::swap(x, p.x); std::swap(y, p.y); std::swap(z, p.z); cout << "inner swap" << endl; } }; 特化std::swap()的方法需要向std名字空间添加自定义函数（虽然原则上是不允许变动std名字空间的），代码如下： namespace std { template<> void swap(point &x, point &y) //模板特化swap函数 {x.swap(y);} } int main() { point a(1,2,3), b(4,5,6); cout << "std::swap" << endl; std::swap(a,b); //调用std::swap cout << "boost::swap" << endl; boost::swap(a, b); //调用boost::swap } 程序运行结果如下： std::swap inner swap boost::swap inner swap 由于我们在名字空间特化了std::swap，因此，boost::swap与std::swap的效果相同，都使用了特化后的swap函数。

[ri_aje]

标准不允许这么扩展 std 的，不要这样写。 至于这个例子，你把 move 语意加上应该就可以了。

  Widget(Widget &&);
  Widget &operator=(Widget &&);