C++:为什么 weak_ptr 没有 shared_ptr&& 构造函数？

Question

C++ 标准草案 mandates weak_ptr 的以下构造函数:

weak_ptr(const weak_ptr& r) noexcept;
template<class Y> weak_ptr(const weak_ptr<Y>& r) noexcept;
template<class Y> weak_ptr(const shared_ptr<Y>& r) noexcept;

weak_ptr(weak_ptr&& r) noexcept;
template<class Y> weak_ptr(weak_ptr<Y>&& r) noexcept;

我很惊讶没有看到以下构造函数:

template<class Y> weak_ptr(shared_ptr<Y>&& r) noexcept;

当然，从 const 引用到 shared_ptr 的现有构造函数在右值引用版本可以工作的任何上下文中都可以正常工作。但我相信后者将允许在调用者希望通过使用 shared_ptr 右值初始化 weak_ptr< 破坏性地将共享引用转换为弱引用的情况下保存至少两个原子操作.

Answer 1

A weak_ptr<>持有指向由 shared_ptr<> 管理的对象的非拥有指针.当最后一个 shared_ptr<> 时对象被删除对它的引用被删除。

如果您错过的构造函数存在，您可能会传递最后一个存在的 shared_ptr<>作为参数，这将在移动过程中破坏对象。所以你会留下一个 weak_ptr<>指向一个已经删除的对象。

没有多大意义，对吧？