复制赋值运算符是否建议使用复制和交换习惯用法以及自我分配检查？

Question

在这里,您可以看到自我分配检查的复制赋值运算符实现:

String & operator=(const String & s)
{
    if (this != &s)
    {
        String(s).swap(*this); //Copy-constructor and non-throwing swap
    }

    // Old resources are released with the destruction of the temporary above
    return *this;
}

这对于自我分配很有用,但对性能有害:

1. 因为每次检查就好如果声明(我不知道它会是多少最佳,考虑到分支预测)
2. 我们也失去了rvalue参数的复制省略

所以,我还是不明白,如果我想实现std::vector的operator=我将如何实现它.

Answer 1

是的,这段代码是超级的.确实,它正在造成额外的不必要的分支.通过适当的交换和移动语义,以下应该更高性能:

String& String::operator=(String s) { // note passing by value!

    std::swap(s, *this); // expected to juggle couple of pointers, will do nothing for self-assingment
    return *this;
}

另请注意,按值接受参数更为有益.