作为https://stackoverflow.com/a/3279550/943619巧妙地描述,实现 operator=
的正确方法通常是:
my_type& operator=(my_type other) {
swap(*this, other);
return *this;
}
friend void swap(my_type& lhs, my_type& rhs) { ... } // This can vary some.
但是,Howard Hinnant 指出,有时您可以通过为左值和右值参数实现单独的重载来做得更好:
my_type& operator=(const my_type& other) { ... }
my_type& operator=(my_type&& other) { ... }
很明显,2 重载解决方案可以在多种情况下节省一步,但如此小的改进不太可能出现在基准测试中。相反,我正在寻找编写 2 个重载可以将性能提高一倍的情况。
最佳答案
“ copy-and-swap ”习惯用法的主要问题是效率较低。
即使我们有一个很好的 swap
实现,我们仍然同时拥有该类的 3 个实例,而左值和右值运算符的其他解决方案只有 2 个实例。
这意味着我们需要多 50% 的内存来进行 copy-and-swap ,而且它还可能需要大量的时间成本 - 因为您必须获取本来不需要的资源。
想想 std::vector
的情况:如果你做 vec1=vec2;
并且两者具有相同的大小,则使用左值引用 - 你不需要执行任何 new
和 delete
操作。在 copy-and-swap 中你必须创建第三个 vector - 所以你有一个额外的 new
和 delete
这可能会花费很多时间(如果 vector 很小它很重要)或大量内存(如果 vector 很大)
copy-and-swap 的主要优点是异常安全。 copy-and-swap 为您提供强大的异常安全性,但以性能为代价。
如果你需要异常安全——使用它。如果您需要性能(内存、时间、您的类获取的任何其他资源),请不要使用它。
关于c++ - 在什么情况下 operator= 应该用左值/右值重载而不是 copy-and-swap 来实现?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/19523567/