std:: allocate_shared, std:: allocate_shared_for_overwrite

指定された引数でオブジェクトを初期化し、 alloc （未規定の value_type に対してリバインドされたもの）のコピーを使用してメモリを割り当てます。新しく作成されたオブジェクトを管理する std::shared_ptr オブジェクトを返します。

パラメータ

戻り値

std::shared_ptr 型 T のオブジェクトへの または、もし T が非制限配列型の場合 std:: remove_extent_t < T > [ N ] (C++20以降) 。

返される std::shared_ptr r について、 r. get ( ) は非nullポインタを返し、 r. use_count ( ) は 1 を返す。

例外

Alloc :: allocate ( ) または T のコンストラクタから送出される例外を送出する可能性があります。例外が送出された場合、 (1) は効果を持ちません。 配列の構築中に例外が送出された場合、初期化済みの要素は逆順で破棄されます (C++20以降) 。

注記

これらの関数は通常、参照カウントなどの内部管理構造を可能にするために、 sizeof ( T ) 以上のメモリを割り当てます。

std::make_shared と同様に、この関数は通常1回のメモリ割り当てのみを行い、 T オブジェクトと制御ブロックの両方を割り当てられたメモリブロックに配置します（標準ではこれを推奨していますが必須ではなく、既知の実装はすべてこれを行います）。 alloc のコピーは制御ブロックの一部として保存され、shared参照カウントとweak参照カウントの両方がゼロに達したときに割り当て解除するために使用されます。

std::shared_ptr の コンストラクタ とは異なり、 std::allocate_shared は個別のカスタムデリーターを受け付けません：提供されたアロケータは、制御ブロックと T オブジェクトの破棄、およびそれらの共有メモリブロックの解放に使用されます。

コンストラクタは shared_from_this を有効にし 、型 U* のポインタ ptr を用いて、 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++規格に対して遡及的に適用されました。

関連項目