std::make_shared, std::make_shared_for_overwrite

いずれの場合においても、オブジェクト (または T が配列型の場合は個々の要素) (C++20以上) は p->~X() によって破棄されます。 ただし 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...)) は少なくとも2回の確保を行います (1回は T のオブジェクトのためで、1回は shared_ptr の制御ブロックのためです)。 std::make_shared<T> は一般的に1回しか確保を行いません。 (標準はそのように推奨していますが、要求はしていません。 すべての既知の実装はそれを行っています。)
• すべての shared_ptr の生存期間が終わった後も、 std::weak_ptr が std::make_shared によって作成された制御ブロックを参照している場合、 T によって占められていたメモリは、すべての weak_ptr も同様に破棄されるまで、残り続けます。 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 が曖昧でなくアクセス可能な (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 は std::shared_from_this が持つ std::weak_ptr 型の隠された mutable なメンバです。 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

関連項目