C++ 参考手册

位置：首页 > C++ 参考手册 >动态内存管理 >std::unique_ptr > std::make_unique, std::make_unique_for_overwrite

std::make_unique, std::make_unique_for_overwrite

定义于头文件 <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 typename std::remove_extent<T>::type[size]())
3,6) 不允许构造已知边界的数组。
4) 同 (1) ，除了默认初始化对象。此重载仅若 T 不是数组类型才参与重载决议。函数等价于： 
unique_ptr<T>(new T)
5) 同 (2) ，除了默认初始化数组。此重载仅若 T 是未知边界数组才参与重载决议。函数等价于： 
unique_ptr<T>(new typename std::remove_extent<T>::type[size])

参数

args - 将要构造的 T 实例所用的参数列表。
size - 要构造的数组大小

返回值

类型 T 实例的 std::unique_ptr 。

异常

可能抛出 std::bad_alloc 或任何 T 的构造函数所抛的异常。若抛出异常，则此函数无效果。

可能的实现

// 注意：此实现不为数组类型禁用此重载
template<typename T, typename... Args>
std::unique_ptr<T> make_unique(Args&&... args)
{
    return std::unique_ptr<T>(new T(std::forward<Args>(args)...));
}

注解

不同于 std::make_shared （它拥有 std::allocate_shared ）， std::make_unique 没有具分配器的对应物。假设的 allocate_unique 会要求为其返回的 unique_ptr<T,D> 创作删除器类型 D ，返回类型可能含有分配器对象，并在其 operator() 调用 destroy 和 deallocate 。

示例

运行此代码
#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) { }
    friend std::ostream& operator<<(std::ostream& os, Vec3& v) {
        return os << '{' << "x:" << v.x << " y:" << v.y << " z:" << v.z  << '}';
    }
};
 
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);
 
    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
(公开成员函数)
(C++20)
 创建管理一个新对象的共享指针
(函数模板)