共享指针的复制和交换效率

Why shared pointer assignment does 'swap'? .

问题是关于使用的复制和交换习惯用法 e.g. in boost

我知道Copy&Swap的好处是重用现有代码,从而避免重复和错误。但有两种情况(实际上一种情况可以简化为另一种情况)不是最优的:

1. 智能指针实例是相同的

为了 shared_ptr ref计数器是 为了 intrusive_ptr (仅限增强型)可能是。所以有一个 一份副本。

如果任务的执行方式如下所示,则可以避免这种情况:

smart_ptr& operator=(const smart_ptr& other){
  if(this->ptr_ == other.ptr_) return *this;
  smart_ptr(other).swap(*this); // I assume I can simply do this here, right?
  return *this;
}
smart_ptr& operator=(smart_ptr&& other){
  smart_ptr(std::move(other)).swap(*this);
  return *this;
}

这难道不是最快、最安全的实现吗?还是有什么问题我没有看到?

澄清第二点。请考虑以下代码:

smart_ptr a(new foo);
auto b = a;
...
// Eventually:
a = b;

这是 不 自我分配为 &a != &b . 复制和交换 做