最近在实现一个Delegate类的时候碰到了一个问题,就是copy and swap技巧和移动赋值操作符有冲突。
比如有以下一个类:

class Fun
{
public:
Fun(const Fun& rhs) throw(); Fun& operator=(Fun fun)
{
swap(fun);
return *this;
} void swap(Fun& other) throw();
};

这个类实现了copy and swap技巧,在赋值的时候表现的很好。但是如果再加入移动赋值操作符,编译器就不认了:

class Fun
{
//...
Fun& operator=(Fun fun)
{
swap(fun);
return *this;
} Fun& operator=(Fun&& fun)
{
swap(fun);
return *this;
}
//...
}; Fun f;
f = Fun(); //报错

当你调用赋值操作符时,编译器会提示有两个赋值操作符,不知道该调用哪一个!
移动赋值操作符的引入就是为了优化用右值赋值的情况,而copy and swap本身就运用了处理右值情况的技巧,所以在这里会出现冲突。因此如果使用了copy and swap技巧,那么移动赋值操作符就可以省略了,下面是copy and swap技巧的C++11写法:

class Fun
{
public:
Fun(const Fun& rhs) throw(); Fun(Fun&& rhs) throw()
//记得数据初始化
{
swap(rhs);
} Fun& operator=(Fun rhs)
{
swap(rhs);
return *this;
} void swap(Fun& other) throw();
};

不过如果数据结构比较复杂,不适合用copy and swap技巧,那么就需要显式的定义左值赋值操作符和右值赋值操作符了:

class Fun
{
//...
Fun& operator=(const Fun& fun); //左值赋值操作符
Fun& operator=(Fun&& fun); //右值赋值操作符
//...
};

参考文献:http://stackoverflow.com/questions/19841626/move-assignment-incompatable-with-standard-copy-and-swap

05-21 19:39