std:: allocate_shared, std:: allocate_shared_for_overwrite

使用 alloc 的副本（为未指定的 value_type 重新绑定）为对象分配内存，并使用提供的参数初始化该对象。返回管理新创建对象的 std::shared_ptr 对象。

参数

返回值

std::shared_ptr 指向类型为 T 的对象 或 std:: remove_extent_t < T > [ N ] 若 T 为无边界数组类型 (C++20 起) 。

对于返回的 std::shared_ptr r ， r. get ( ) 返回非空指针且 r. use_count ( ) 返回 1 。

异常

可能抛出由 Alloc :: allocate ( ) 或 T 的构造函数所抛出的异常。若抛出异常，则 (1) 不产生任何效果。 若在数组构造过程中抛出异常，则以逆序销毁已初始化的元素 (C++20 起) 。

注释

这些函数通常会分配比 sizeof ( T ) 更多的内存，以便为内部簿记结构（如引用计数）预留空间。

与 std::make_shared 类似，此函数通常仅执行一次内存分配，并将 T 对象与控制块共同置于分配的内存块中（标准建议但不强制要求此行为，目前所有已知实现均采用此方式）。存储 alloc 的副本作为控制块的一部分，以便在共享引用计数和弱引用计数均归零时用于释放内存。

与 std::shared_ptr 的 constructors 不同， std::allocate_shared 不接受单独的自定义删除器：提供的分配器既用于控制块和 T 对象的销毁，也用于其共享内存块的释放。

构造函数通过类型为 U* 的指针 ptr 启用 shared_from_this 意味着：它会判断 U 是否具有 明确且可访问的 (C++17 起) 基类，且该基类是 std::enable_shared_from_this 的特化；若是，则构造函数会执行
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 的赋值操作不是原子性的，会与同一对象可能存在的并发访问产生冲突。这确保了后续对 shared_from_this() 的调用能够与通过此裸指针构造函数创建的 std::shared_ptr 共享所有权。

测试 ptr - > weak_this  . expired ( ) 确保当 weak_this 已指向某个所有者时不会被重新赋值。根据 C++17 标准要求，此项测试是必需的。

示例

#include <cstddef>
#include <iostream>
#include <memory>
#include <memory_resource>
#include <vector>
class Value
{
    int i;
public:
    Value(int i) : i(i) { std::cout << "Value(), i = " << i << '\n'; }
    ~Value() { std::cout << "~Value(), i = " << i << '\n'; }
    void print() const { std::cout << "i = " << i << '\n'; }
};
int main()
{
    // 使用单调缓冲区资源创建多态分配器
    std::byte buffer[sizeof(Value) * 8];
    std::pmr::monotonic_buffer_resource resource(buffer, sizeof(buffer));
    std::pmr::polymorphic_allocator<Value> allocator(&resource);
    std::vector<std::shared_ptr<Value>> v;
    for (int i{}; i != 4; ++i)
        // 使用 std::allocate_shared 配合自定义分配器
        v.emplace_back(std::allocate_shared<Value>(allocator, i));
    for (const auto& sp : v)
        sp->print();
} //< 所有 shared_ptr 在超出作用域时将自动清理

Value(), i = 0
Value(), i = 1
Value(), i = 2
Value(), i = 3
i = 0
i = 1
i = 2
i = 3
~Value(), i = 0
~Value(), i = 1
~Value(), i = 2
~Value(), i = 3

缺陷报告

下列行为变更缺陷报告被追溯应用于先前发布的 C++ 标准。

参见