gcc shared_ptr复制赋值实现

Question

我正在shared_ptrGCC 5 中扫描实现,我看到以下内容:

  __shared_ptr&
  operator=(__shared_ptr&& __r) noexcept
  {
    __shared_ptr(std::move(__r)).swap(*this);
    return *this;
  }

我的问题是为什么在交换之前临时的额外移动构造？我假设编译将删除任何额外的开销 - 但为什么不只是调用__r.swap(*this)？我缺少一些聪明的副作用吗？

我看到类中的其他函数也使用相同的模式实现,我可以理解接受const引用的情况,但是rvalue引用？

Answer 1

首先,这就是标准所说的,GCC只是遵循它.

这样,赋值运算符就有一个后置条件,__r.empty()这是你的建议无法实现的,因此按照你的建议实现它会对标准所说的产生不同的影响,因此不符合要求.

即这个断言成立:

auto p1 = std::make_shared<int>(1);
auto p2 = std::make_shared<int>(2);
p1 = std::move(p2);
assert( !p2 );

"聪明的副作用"是你创建一个新的空 shared_ptr,它最终保持*this交换后的旧值,然后超出范围.这意味着旧的价值*this不会最终落入__r.