定义于头文件 <memory>
template< class T, class Alloc, class... Args > shared_ptr<T> allocate_shared( const Alloc& alloc, Args&&... args );	(1)	(C++11 起) (T 非数组)
template< class T, class Alloc > shared_ptr<T> allocate_shared( const Alloc& alloc, std::size_t N );	(2)	(C++20 起) (T 为 U[])
template< class T, class Alloc > shared_ptr<T> allocate_shared( const Alloc& alloc );	(3)	(C++20 起) (T 为 U[N])
template< class T, class Alloc > shared_ptr<T> allocate_shared( const Alloc& alloc, std::size_t N,                                const std::remove_extent_t<T>& u );	(4)	(C++20 起) (T 为 U[])
template< class T, class Alloc > shared_ptr<T> allocate_shared( const Alloc& alloc,                                const std::remove_extent_t<T>& u );	(5)	(C++20 起) (T 为 U[N])
template< class T, class Alloc > shared_ptr<T> allocate_shared_for_overwrite( const Alloc& alloc );	(6)	(C++20 起) (T 非 U[])
template< class T, class Alloc > shared_ptr<T> allocate_shared_for_overwrite( const Alloc& alloc, std::size_t N );	(7)	(C++20 起) (T 为 U[])

1) 以 args 为 T 的构造函数参数列表，构造 T 类型对象并将它包装于 std::shared_ptr 。对象如同以表达式 ::new (pv) T(v) (C++20 前)std::allocator_traits<A2>::construct(a, pv, v) (C++20 起) 构造，其中 pv 是内部指向适合保有 T 类型对象的存储的 void* 指针，而 a 是重绑定到 std::remove_cv_t<T> 的分配器副本。存储通常大于 sizeof(T) ，以对共享指针的控制块和 T 对象使用一次分配。此函数所调用的 std::shared_ptr 构造函数以指向新构造的 T 类型对象指针启用 shared_from_this 。所有内存分配用 alloc 的副本执行，而它必须满足分配器 (Allocator) 要求。此重载仅若 T 不是数组类型才参与重载决议。

6) 若 T 非数组类型则同 (1) 而若 T 为 U[N] 则同 (3) ，除了默认初始化创建的元素。

7) 同 (2) ，除了默认初始化单独的数组元素。

对于 allocate_shared ，通过表达式 std::allocator_traits<A2>::destroy(a, p) 销毁对象{{rev inl|since=c++20|（或对于 (2-5) 为单独的数组元素），其中 p 是指向对象的指针而 a 是传递给 allocate_shared 的分配器副本，重绑定到正在销毁的对象类型。

对于 allocate_shared_for_overwrite ，对象（或若 T 为数组类型则为单独的数组元素）将会被 p->~X() 销毁，其中 p 是指向对象的指针而 X 是对象的类型。

(C++20 起)

参数

alloc	-	使用的分配器 (Allocator) 。
args...	-	构造 T 示例将要用到的参数列表。
N	-	所用的数组大小
u	-	初始化数组每个元素的初值

返回值

T 类型实例的的 std::shared_ptr 。

异常

能抛出从 Alloc::allocate() 抛出的异常，或从 T 构造函数抛出的异常。若抛出异常，则 (1) 无效果。若异常在数组的构造中抛出，则已初始化元素以逆序销毁。 (C++20 起)

注解

类似 std::make_shared ，此函数通常只进行一次分配，并将 T 对象与控制块置于分配的内存块中（标准推荐但不要求如此，所有已知实现均如此）。 alloc 的副本作为控制块的一部分存储，从而它能用于解分配之，若所有共享及若引用计数抵达零。

不同于 std::shared_ptr 构造函数， std::allocate_shared 不接受另外的自定义删除器：用提供的分配器析构控制块和 T 对象，及解分配其共享内存块。

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

其中 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 起要求此测试。

参阅