Namespaces
Variants

std:: make_unique, std:: make_unique_for_overwrite

From cppreference.net
Memory management library
( exposition only* )
Allocators
Uninitialized memory algorithms
Constrained uninitialized memory algorithms
Memory resources
Uninitialized storage (until C++20)
( until C++20* )
( until C++20* )
( until C++20* )

Garbage collector support (until C++23)
(C++11) (until C++23)
(C++11) (until C++23)
(C++11) (until C++23)
(C++11) (until C++23)
(C++11) (until C++23)
(C++11) (until C++23)
ヘッダーで定義 <memory>
(1)
template < class T, class ... Args >
unique_ptr < T > make_unique ( Args && ... args ) ;
(C++14以降)
(C++23まで)
(非配列型のみ)
template < class T, class ... Args >
constexpr unique_ptr < T > make_unique ( Args && ... args ) ;
(C++23以降)
(非配列型のみ)
(2)
template < class T >
unique_ptr < T > make_unique ( std:: size_t size ) ;
(C++14以降)
(C++23まで)
(境界不明な配列型のみ)
template < class T >
constexpr unique_ptr < T > make_unique ( std:: size_t size ) ;
(C++23以降)
(境界不明な配列型のみ)
template < class T, class ... Args >
/* 未指定 */ make_unique ( Args && ... args ) = delete ;
(3) (C++14以降)
(既知のサイズを持つ配列型のみ)
(4)
template < class T >
unique_ptr < T > make_unique_for_overwrite ( ) ;
(C++20以降)
(C++23まで)
(非配列型のみ)
template < class T >
constexpr unique_ptr < T > make_unique_for_overwrite ( ) ;
(C++23以降)
(非配列型のみ)
(5)
template < class T >
unique_ptr < T > make_unique_for_overwrite ( std:: size_t size ) ;
(C++20以降)
(C++23まで)
(境界不明な配列型のみ)
template < class T >
constexpr unique_ptr < T > make_unique_for_overwrite ( std:: size_t size ) ;
(C++23以降)
(境界不明な配列型のみ)
template < class T, class ... Args >
/* 未指定 */ 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) 指定された動的サイズの配列を構築します。配列要素は value-initialized されます。このオーバーロードは、 T が未知の境界を持つ配列の場合にのみオーバーロード解決に参加します。この関数は以下と等価です:
unique_ptr<T>(new std::remove_extent_t<T>[size]())
3,6) 既知の境界を持つ配列の構築は許可されていません。
4) (1) と同様ですが、オブジェクトが default-initialized される点が異なります。このオーバーロードは、 T が配列型でない場合にのみオーバーロード解決に参加します。この関数は以下と等価です:
unique_ptr<T>(new T)
5) (2) と同様だが、配列がデフォルト初期化される点が異なる。このオーバーロードは、 T が境界不明の配列の場合にのみオーバーロード解決に参加する。この関数は以下と等価である:
unique_ptr<T>(new std::remove_extent_t<T>[size])

目次

翻訳のポイント: - 「Contents」→「目次」に翻訳 - HTMLタグ、属性、リンク先は一切変更せず保持 - C++関連の用語(Parameters、Return value、Exceptions、Possible Implementation、Notes、Example、See also)は原文のまま保持 - 数字の順序付けもそのまま維持 - フォーマットと構造は完全に保持

パラメータ

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

戻り値

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

例外

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

実装例

make_unique (1-3)
// C++14 make_unique
namespace detail
{
    template<class>
    constexpr bool is_unbounded_array_v = false;
    template<class T>
    constexpr bool is_unbounded_array_v<T[]> = true;
    template<class>
    constexpr bool is_bounded_array_v = false;
    template<class T, std::size_t N>
    constexpr bool 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)
{
    return std::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)
{
    return std::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;
make_unique_for_overwrite (4-6)
// C++20 make_unique_for_overwrite
template<class T>
    requires (!std::is_array_v<T>)
std::unique_ptr<T> make_unique_for_overwrite()
{
    return std::unique_ptr<T>(new T);
}
template<class T>
    requires std::is_unbounded_array_v<T>
std::unique_ptr<T> make_unique_for_overwrite(std::size_t n)
{
    return std::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::make_shared とは異なり( std::allocate_shared が存在します)、 std::make_unique にはアロケータ対応の対照物がありません。 P0211 で提案された allocate_unique は、返す std:: unique_ptr < T,D > に対してデリーター型 D を考案する必要があり、これにはアロケータオブジェクトが含まれ、その operator ( ) 内で destroy deallocate の両方を呼び出すことになります。

機能テスト マクロ 標準 機能
__cpp_lib_make_unique 201304L (C++14) std::make_unique ; オーバーロード ( 1 )
__cpp_lib_smart_ptr_for_overwrite 202002L (C++20) デフォルト初期化によるスマートポインタ作成 ( std::allocate_shared_for_overwrite , std::make_shared_for_overwrite , std::make_unique_for_overwrite ); オーバーロード ( 4-6 )
__cpp_lib_constexpr_memory 202202L (C++23) constexpr オーバーロード ( 1,2,4,5 )

#include <cstddef>
#include <iomanip>
#include <iostream>
#include <memory>
#include <utility>
struct Vec3
{
    int x, y, z;
    // 以下のコンストラクタはC++20以降不要
    Vec3(int x = 0, int y = 0, int z = 0) noexcept : x(x), y(y), z(z) {}
    friend std::ostream& operator<<(std::ostream& os, const Vec3& v)
    {
        return os << "{ x=" << v.x << ", y=" << v.y << ", z=" << v.z << " }";
    }
};
// フィボナッチ数列を出力イテレータに出力
template<typename OutputIt>
OutputIt fibonacci(OutputIt first, OutputIt last)
{
    for (int a = 0, b = 1; first != last; ++first)
    {
        *first = b;
        b += std::exchange(a, b);
    }
    return first;
}
int main()
{
    // デフォルトコンストラクタを使用
    std::unique_ptr<Vec3> v1 = std::make_unique<Vec3>();
    // 引数に一致するコンストラクタを使用
    std::unique_ptr<Vec3> v2 = std::make_unique<Vec3>(0, 1, 2);
    // 5要素の配列へのunique_ptrを作成
    std::unique_ptr<Vec3[]> v3 = std::make_unique<Vec3[]>(5);
    // 10個の整数の未初期化配列へのunique_ptrを作成し、
    // フィボナッチ数列で埋める
    std::unique_ptr<int[]> i1 = std::make_unique_for_overwrite<int[]>(10);
    fibonacci(i1.get(), i1.get() + 10);
    std::cout << "make_unique<Vec3>():      " << *v1 << '\n'
              << "make_unique<Vec3>(0,1,2): " << *v2 << '\n'
              << "make_unique<Vec3[]>(5):   ";
    for (std::size_t i = 0; i < 5; ++i)
        std::cout << std::setw(i ? 30 : 0) << v3[i] << '\n';
    std::cout << '\n';
    std::cout << "make_unique_for_overwrite<int[]>(10), fibonacci(...): [" << i1[0];
    for (std::size_t i = 1; i < 10; ++i)
        std::cout << ", " << i1[i];
    std::cout << "]\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 }
make_unique_for_overwrite<int[]>(10), fibonacci(...): [1, 1, 2, 3, 5, 8, 13, 21, 34, 55]

関連項目

新しい unique_ptr を構築する
(公開メンバ関数)
新しいオブジェクトを管理するshared pointerを作成する
(関数テンプレート)