std::make_shared, std::make_shared_for_overwrite

每种情况下，均将用 p->~X() 销毁对象（或若 T 为数组类型则为单独的元素） (C++20 èµ·)，其中 p 是指向对象的指针，而 X 是该对象的类型。

参数

返回值

类型 T 实例的 std::shared_ptr 。

异常

可能抛出 std::bad_alloc 或任何 T 构造函数所抛的异常。若抛出异常，则函数无效果。若异常在数组的构造中抛出，则已初始化元素以逆序销毁。 (C++20 èµ·)

注解

此函数可用作 std::shared_ptr<T>(new T(args...)) 的替代品。得失是：

• std::shared_ptr<T>(new T(args...)) 进行至少二次分配（一次为 T 而另一次为共享指针的控制块），而 std::make_shared<T> 典型地仅进行一次分配（标准推荐但不要求如此，所有已知实现均如此）。
• 若任何 std::weak_ptr 在所有共享拥有者的生存期结束后引用 std::make_shared 所创建的控制块，则 T 所占有的内存维持着，直至所有弱拥有者亦被销毁，若 sizeof(T) 较大则这可能是不想要的。
• std::shared_ptr<T>(new T(args...)) 可能调用 T 的非公开构造函数，若在它可访问的语境中执行，而 std::make_shared 要求对被选择构造函数的公开访问。
• 不同于 std::shared_ptr 构造函数， std::make_shared 不允许自定义删除器。
• std::make_shared 使用 ::new ，故若用类特定的 operator new 设置了任何特殊行为，则它将异于 std::shared_ptr<T>(new T(args...)) 。

构造函数以 U* 类型指针 ptr 启用 shared_from_this ，表示它确定 U 是否拥有作为 std::enable_shared_from_this 特化的无歧义且可访问 (C++17 èµ·)基类，而若如此，则构造函数求值该语句：

if (ptr != nullptr && ptr->weak_this.expired())
  ptr->weak_this = std::shared_ptr<std::remove_cv_t<U>>(*this,
                                  const_cast<std::remove_cv_t<U>*>(ptr));

其中 weak_this 是 std::shared_from_this 的隐藏 mutable std::weak_ptr 成员。对 weak_this 成员的赋值不是原子的，且与任何到同一对象的潜在并发访问冲突。这确保将来对 shared_from_this() 调用，将与此裸指针构造函数所创建的 shared_ptr 共享所有权。

上述解释代码中，测试 ptr->weak_this.expired() 是为确保若 weak_this 指示已有占有者则重赋值它。从 C++17 起要求此测试。

示例

#include <iostream>
#include <memory>
#include <type_traits>
 
struct C
{
  C(int i) : i(i) {} // < 需要构造函数 (C++20 前)
  int i;
};
 
int main()
{
    auto sp = std::make_shared<C>(12);
 
    static_assert(std::is_same_v<decltype(sp), std::shared_ptr<C>>);
 
    std::cout << sp->i << '\n';
}

12

参阅