std::shared_ptr<T>:: shared_ptr

オブジェクトを管理するための様々なポインタ型から新しい shared_ptr を構築します。

T が配列型でない場合、オーバーロード (3,4,6) は shared_from_this を ptr で有効にし、オーバーロード (13) は shared_from_this を r. release ( ) によって返されるポインタで有効にします。

パラメータ

事後条件

例外

注記

コンストラクタは 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以降必須要件となります。

生ポインタのオーバーロードは、指し示されるオブジェクトの所有権を引き受けます。したがって、既に shared_ptr によって管理されているオブジェクトに対して生ポインタのオーバーロードを使用して shared_ptr を構築すること（例えば shared_ptr ( ptr. get ( ) ) によって）は、たとえそのオブジェクトが std::enable_shared_from_this から派生した型であっても、未定義動作を引き起こす可能性が高いです。

デフォルトコンストラクタは constexpr であるため、static shared_ptrは 静的non-local初期化 の一部として、動的non-local初期化が開始される前に初期化されます。これにより、任意の静的オブジェクトのコンストラクタ内でshared_ptrを安全に使用できます。

C++11およびC++14では、 std:: unique_ptr < T [ ] > から std:: shared_ptr < T > を構築することが有効です：

std::unique_ptr<int[]> arr(new int[1]);
std::shared_ptr<int> ptr(std::move(arr));

shared_ptr はそのデリーター（ std:: default_delete < T [ ] > オブジェクト）を std::unique_ptr から取得するため、配列は正しく解放されます。

これはC++17ではもはや許可されていません。代わりに配列形式の std:: shared_ptr < T [ ] > を使用する必要があります。

例

#include <iostream>
#include <memory>
struct Foo
{
    int id{0};
    Foo(int i = 0) : id{i} { std::cout << "Foo::Foo(" << i <<  ")\n"; }
    ~Foo() { std::cout << "Foo::~Foo(), id=" << id << '\n'; }
};
struct D
{
    void operator()(Foo* p) const
    {
        std::cout << "Call delete from function object. Foo::id=" << p->id << '\n';
        delete p;
    }
};
int main()
{
    {
        std::cout << "1) constructor with no managed object\n";
        std::shared_ptr<Foo> sh1;
    }
    {
        std::cout << "2) constructor with object\n";
        std::shared_ptr<Foo> sh2(new Foo{10});
        std::cout << "sh2.use_count(): " << sh2.use_count() << '\n';
        std::shared_ptr<Foo> sh3(sh2);
        std::cout << "sh2.use_count(): " << sh2.use_count() << '\n';
        std::cout << "sh3.use_count(): " << sh3.use_count() << '\n';
    }
    {
        std::cout << "3) constructor with object and deleter\n";
        std::shared_ptr<Foo> sh4(new Foo{11}, D());
        std::shared_ptr<Foo> sh5(new Foo{12}, [](auto p)
        {
            std::cout << "Call delete from lambda... p->id=" << p->id << '\n';
            delete p;
        });
    }
}

1) constructor with no managed object
2) constructor with object
Foo::Foo(10)
sh2.use_count(): 1
sh2.use_count(): 2
sh3.use_count(): 2
Foo::~Foo(), id=10
3) constructor with object and deleter
Foo::Foo(11)
Foo::Foo(12)
Call delete from lambda... p->id=12
Foo::~Foo(), id=12
Call delete from function object. Foo::id=11
Foo::~Foo(), id=11

不具合報告

以下の動作変更の欠陥報告書は、以前に公開されたC++規格に対して遡及的に適用されました。

関連項目