std::make_unique, std::make_unique_for_overwrite

 

C++

言語

標準ライブラリヘッダ

フリースタンディング処理系とホスト処理系

名前付き要件

言語サポートライブラリ

コンセプトライブラリ(C++20)

診断ライブラリ

ユーティリティライブラリ

文字列ライブラリ

コンテナライブラリ

イテレータライブラリ

範囲ライブラリ(C++20)

アルゴリズムライブラリ

数値演算ライブラリ

ローカライゼーションライブラリ

入出力ライブラリ

ファイルシステムライブラリ(C++17)

正規表現ライブラリ(C++11)

アトミック操作ライブラリ(C++11)

スレッドサポートライブラリ(C++11)

技術仕様書

 

ユーティリティライブラリ

言語サポート 型サポート (基本型、RTTI、型特性) ライブラリの機能テストマクロ (C++20) 動的メモリ管理 プログラムユーティリティ エラー処理 コルーチンサポート(C++20) 可変長引数関数 launder (C++17) initializer_list (C++11) source_location (C++20) 三方比較 (C++20) three_way_comparablethree_way_comparable_with (C++20)(C++20) strong_ordering (C++20) weak_ordering (C++20) partial_ordering (C++20) common_comparison_category (C++20) compare_three_way_result (C++20) compare_three_way (C++20) strong_order (C++20) weak_order (C++20) partial_order (C++20) compare_strong_order_fallback (C++20) compare_weak_order_fallback (C++20) compare_partial_order_fallback (C++20) is_eqis_neqis_ltis_lteqis_gtis_gteq (C++20)(C++20)(C++20)(C++20)(C++20)(C++20)

汎用ユーティリティ 日付と時間 関数オブジェクト 書式化ライブラリ(C++20) bitset hash (C++11) integer_sequence (C++14) 関係演算子 (C++20で非推奨) rel_ops::operator!=rel_ops::operator>rel_ops::operator<=rel_ops::operator>= 整数比較関数 cmp_equalcmp_not_equalcmp_lesscmp_greatercmp_less_thancmp_greater_than (C++20)(C++20)(C++20)(C++20)(C++20)(C++20) in_range (C++20) スワップと型操作 swap ranges::swap (C++20) exchange (C++14) declval (C++11) forward (C++11) move (C++11) move_if_noexcept (C++11) as_const (C++17) 一般的な語彙の型 pair tuple (C++11) apply (C++17) make_from_tuple (C++17) optional (C++17) any (C++17) variant (C++17) 初等文字列変換 to_chars (C++17) from_chars (C++17) chars_format (C++17)

 

動的メモリ管理

スマートポインタ unique_ptr (C++11) shared_ptr (C++11) weak_ptr (C++11) auto_ptr (C++17未満) owner_less (C++11) enable_shared_from_this (C++11) bad_weak_ptr (C++11) default_delete (C++11) アロケータ allocator allocator_traits (C++11) allocator_arg_t (C++11) allocator_arg (C++11) uses_allocator (C++11) uses_allocator_construction_args (C++20) make_obj_using_allocator (C++20) uninitialized_construct_using_allocator (C++20) scoped_allocator_adaptor (C++11) pmr::polymorphic_allocator (C++17) メモリリソース pmr::memory_resource (C++17) pmr::get_default_resource (C++17) pmr::set_default_resource (C++17) pmr::new_delete_resource (C++17) pmr::null_memory_resource (C++17) pmr::synchronized_pool_resource (C++17) pmr::unsynchronized_pool_resource (C++17) pmr::monotonic_buffer_resource (C++17) pmr::pool_options (C++17)

未初期化記憶域 uninitialized_copy uninitialized_fill uninitialized_move (C++17) uninitialized_default_construct (C++17) uninitialized_value_construct (C++17) destroy (C++17) destroy_at (C++17) uninitialized_copy_n (C++11) uninitialized_fill_n uninitialized_move_n (C++17) uninitialized_default_construct_n (C++17) uninitialized_value_construct_n (C++17) destroy_n (C++17) construct_at (C++20) raw_storage_iterator (C++20未満) get_temporary_buffer (C++20未満) return_temporary_buffer (C++20未満) ガベージコレクションサポート declare_reachable (C++11) undeclare_reachable (C++11) declare_no_pointers (C++11) undeclare_no_pointers (C++11) pointer_safety (C++11) get_pointer_safety (C++11) その他 pointer_traits (C++11) to_address (C++20) addressof (C++11) align (C++11) assume_aligned (C++20) C のライブラリ malloc aligned_alloc (C++17) calloc realloc free 低水準のメモリ管理

 

std::unique_ptr

メンバ関数

unique_ptr::unique_ptr

unique_ptr::~unique_ptr

unique_ptr::operator=

変更

unique_ptr::release

unique_ptr::reset

unique_ptr::swap

観察

unique_ptr::get

unique_ptr::get_deleter

unique_ptr::operator bool

unique_ptr::operator*unique_ptr::operator->

unique_ptr::operator[]

非メンバ関数

make_uniquemake_unique_for_overwrite (C++14)(C++20)

operator==operator!=operator<operator>operator<=operator>=operator<=> (C++20未満)(C++20)

operator<< (C++20)

std::swap

std::hash

 

ヘッダ <memory> で定義
template<class T, class... Args> unique_ptr<T> make_unique( Args&&... args);	(1)	(C++14以上) (非配列型に対してのみ)
template<class T > unique_ptr<T> make_unique(std::size_t size );	(2)	(C++14以上) (サイズの未知な配列型に対してのみ)
template<class T, class... Args> /* unspecified */ make_unique( Args&&... args)= delete;	(3)	(C++14以上) (サイズの既知な配列型に対してのみ)
template<class T  > unique_ptr<T> make_unique_for_overwrite();	(4)	(C++20以上) (非配列型に対してのみ)
template<class T > unique_ptr<T> make_unique_for_overwrite(std::size_t size );	(5)	(C++20以上) (サイズの未知な配列型に対してのみ)
template<class T, class... Args> /* unspecified */ make_unique_for_overwrite( Args&&... args)= delete;	(6)	(C++20以上) (サイズの未知な配列型に対してのみ)

T 型のオブジェクトを構築し、それを std::unique_ptr でラップします。

1) 非配列型 T を構築します。 引数 args は T のコンストラクタに渡されます。 このオーバーロードは、T が配列型でない場合にのみ、オーバーロード解決に参加します。 この関数は以下と同等です。

unique_ptr<T>(new T(std::forward<Args>(args)...))

2) サイズの不明な配列 T を構築します。 このオーバーロードは、T がサイズの不明な配列である場合にのみ、オーバーロード解決に参加します。 この関数は以下と同等です。

unique_ptr<T>(new typenamestd::remove_extent<T>::type[size]())

3,6) サイズの既知な配列の構築は禁止されています。

4)(1) と同じですが、オブジェクトはデフォルト初期化されます。 このオーバーロードは、T が配列型でない場合にのみ、オーバーロード解決に参加します。 この関数は以下と同等です。

unique_ptr<T>(new T)

5)(2) と同じですが、配列はデフォルト初期化されます。 このオーバーロードは、T がサイズの未知な配列である場合にのみ、オーバーロード解決に参加します。 この関数は以下と同等です。

unique_ptr<T>(new typenamestd::remove_extent<T>::type[size])

引数

args	-	T のインスタンスを構築するための引数リスト
size	-	構築する配列のサイズ

戻り値

T 型のインスタンスの std::unique_ptr。

例外

std::bad_alloc または T のコンストラクタによって投げられるあらゆる例外が投げられる可能性があります。 例外が投げられた場合、この関数は効果を持ちません。

実装例

1つめのバージョン
// C++14 make_uniquenamespace detail {template<class>staticconstexprbool is_unbounded_array_v =false;template<class T>staticconstexprbool is_unbounded_array_v<T[]>=true;   template<class>staticconstexprbool is_bounded_array_v =false;template<class T, std::size_t N>staticconstexprbool is_bounded_array_v<T[N]>=true;}// namespace detail   template<class T, class... Args>std::enable_if_t<!std::is_array<T>::value, std::unique_ptr<T>> make_unique(Args&&... args){returnstd::unique_ptr<T>(new T(std::forward<Args>(args)...));}   template<class T>std::enable_if_t<detail::is_unbounded_array_v<T>, std::unique_ptr<T>> make_unique(std::size_t n){returnstd::unique_ptr<T>(new std::remove_extent_t<T>[n]());}   template<class T, class... Args>std::enable_if_t<detail::is_bounded_array_v<T>> make_unique(Args&&...)= delete;
2つめのバージョン
// C++20 make_unique_for_overwritetemplate<class T> requires !std::is_array_v<T>std::unique_ptr<T> make_unique_for_overwrite(){returnstd::unique_ptr<T>(new T);}   template<class T, std::size_t N> requires std::is_unbounded_array_v<T>std::unique_ptr<T> make_unique_for_overwrite(std::size_t n){returnstd::unique_ptr<T>(new std::remove_extent_t<T>[n]);}   template<class T, class... Args> requires std::is_bounded_array_v<T>void make_unique_for_overwrite(Args&&...)= delete;

ノート

std::allocate_shared がある std::make_shared とは異なり、 std::make_unique にはアロケータ対応版がありません。 仮に allocate_unique を作るとすると、アロケータオブジェクトを持ち、 operator() で destroy と deallocate の両方を呼ぶ、戻り値となる unique_ptr<T,D> のためのデリータ型 D を考案する必要があるでしょう。

例

Run this code

#include <iostream>#include <memory>   struct Vec3 {int x, y, z; Vec3(): x(0), y(0), z(0){} Vec3(int x, int y, int z):x(x), y(y), z(z){}friendstd::ostream& operator<<(std::ostream& os, Vec3& v){return os <<'{'<<"x:"<< v.x<<" y:"<< v.y<<" z:"<< v.z<<'}';}};   int main(){// Use the default constructor.std::unique_ptr<Vec3> v1 = std::make_unique<Vec3>();// Use the constructor that matches these argumentsstd::unique_ptr<Vec3> v2 = std::make_unique<Vec3>(0, 1, 2);// Create a unique_ptr to an array of 5 elementsstd::unique_ptr<Vec3[]> v3 = std::make_unique<Vec3[]>(5);   std::cout<<"make_unique<Vec3>(): "<<*v1 <<'\n'<<"make_unique<Vec3>(0,1,2): "<<*v2 <<'\n'<<"make_unique<Vec3[]>(5): "<<'\n';for(int i =0; i <5; i++){std::cout<<" "<< v3[i]<<'\n';}}

出力:

make_unique<Vec3>(): {x:0 y:0 z:0} make_unique<Vec3>(0,1,2): {x:0 y:1 z:2} make_unique<Vec3[]>(5): {x:0 y:0 z:0} {x:0 y:0 z:0} {x:0 y:0 z:0} {x:0 y:0 z:0} {x:0 y:0 z:0}

関連項目

コンストラクタ	新しい unique_ptr を構築します (パブリックメンバ関数)
make_sharedmake_shared_for_overwrite (C++20)	新しいオブジェクトを管理する shared_ptr を作成します (関数テンプレート)