我们需要移动和复制分配吗？

Question

对于课程A,我们可以使用

A& operator=( A other ) { /* ... */ }

代替

A& operator=( const A&  other ) { /* ... */ }
A& operator=( const A&& other ) { /* ... */ }

没有恶化的表现或其他负面影响？

Answer 1

实际上,您可以使用.实现复制和交换

A& operator=( A other ) { swap(other, *this); return *this; }

对于复制和移动分配,但自我赋值运算符的无条件副本将降低性能.

除了上面的功能无法标记noexcept,移动应该轻巧,便宜,不是必需的,但它应该是轻量级的.因此,移动构造函数/赋值应该是noexcept.没有noexcept移动构造函数/赋值运算符,move_if_noexcept当容器增长时无法调用,容器将返回复制.

因此,推荐的方法是:

A& operator=( const A&  other ) {
    if (std::addressof(other) != this) {
         A(other).swap(*this); // Copy constructor may throw
    }
    return *this;
}
A& operator=( A&& other ) noexcept { // note no const here
    // we don't check self assignment because
    // an object binds to an rvalue reference it is one of two things:
    //    - A temporary.
    //    - An object the caller wants you to believe is a temporary.
    swap(other); 
    return *this;
}

Answer 2

没有恶化的表现或其他负面影响？

它取决于数据成员和基类A,甚至可以依赖于A的基础和成员的基础和成员.

以下是指向视频的一部分的链接,该链接演示如果A有一个vector数据成员,那么复制/交换习惯用户平均可以为复制赋值运算符节省70%的性能.这与更简单的默认任务特殊成员的方法相比较.

http://www.youtube.com/watch?v=vLinb2fgkHk&t=35m30s

class A
{
    std::vector<int> v_;
public:
    // ...
};

您可以期望string数据成员与数据成员具有相同的影响vector.

如果您对自己不确定A,并且性能对您来说很重要,请尝试两种方式并进行衡量.这正是视频中所展示的内容.