make_shared_default_init.md

make_shared_default_init

• memory[meta header]
• std[meta namespace]
• function template[meta id-type]
• cpp20[meta cpp]

namespace std {
  template<class T>
  shared_ptr<T> make_shared_default_init();         // (1)

  template<class T>
  shared_ptr<T> make_shared_default_init(size_t N); // (2)
}

• shared_ptr[link shared_ptr.md]

概要

デフォルトの初期値を持つT型のオブジェクト、またはその配列へのshared_ptrを構築し、返却する。

効果

型Tのオブジェクトにメモリを割り当てる（TがU[]の場合はU[N]。Nはそれぞれのオーバーロードで指定された引数から決定される）。

オブジェクトは、デフォルト初期化される。

例外がスローされた場合、関数は効果がない。

配列型Uのオブジェクトが（同じ型の）uの初期値を持つように指定されている場合、これは、オブジェクトの各配列要素が初期値としてuからの対応する要素を持つことを意味すると解釈される。

配列タイプのオブジェクトがデフォルトの初期値を持つように指定されている場合、これはオブジェクトの各配列要素がデフォルトの初期値を持つことを意味すると解釈される。

配列要素は、アドレスの昇順で初期化される。

非配列型Uの（サブ）オブジェクトがこの関数によって初期化されるときは、式::new(pv) Uによって初期化される。ここで、pvは型 void *を持ち、型Uのオブジェクトを保持するための適切なストレージを指す。

戻り値によって管理されるオブジェクトのlifetimeが終了するか、配列要素の初期化が例外をスローすると、初期化された要素は元の構造の逆の順序で破棄される。

• (1) : このオーバーロードが選択されるとき、Tは、不明な境界の配列ではない。T型のオブジェクトへのshared_ptrを返す。
• (2) : このオーバーロードが選択されるとき、Tは、不明な境界の配列である。型U[N]のオブジェクトへのshared_ptrを返す。ここで、Uはremove_extent_t<T>である。

戻り値

新しく構築されたオブジェクトのアドレスを格納および所有するshared_ptrインスタンス。

事後条件

r.get() != 0 && r.use_count() == 1, ここで、r は戻り値である。

例外

bad_alloc、またはallocateまたはオブジェクトの初期化からスローされた例外。

備考

メモリの確保にユーザー定義のアロケータを使用したい場合には、 allocate_shared_default_init() を使用する。

例

#include <memory>
#include <iostream>

int main() {
  std::shared_ptr<int> sp = std::make_shared_default_init<int>();
  if (sp) {
    std::cout << *sp << std::endl;
  }
}

• std::make_shared_default_init[color ff0000]

出力

0

バージョン

言語

• C++20

処理系

• Clang: 10.0.0 現在未対応
• GCC: 10.0.0 現在未対応
• Visual C++: ??

関連項目

• std::make_shared()
• std::allocate_shared()
• std::allocate_shared_default_init()

参照

• P1020R1 Smart pointer creation with default initialization