std::make_unique, std::make_unique_for_overwrite
来自cppreference.com
<tbody>
</tbody>
<tbody class="t-dcl-rev t-dcl-rev-num ">
</tbody><tbody>
</tbody>
<tbody class="t-dcl-rev t-dcl-rev-num ">
</tbody><tbody>
</tbody>
<tbody class="t-dcl-rev t-dcl-rev-num ">
</tbody><tbody>
</tbody>
<tbody class="t-dcl-rev t-dcl-rev-num ">
</tbody><tbody>
</tbody>
| 在标头 <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) 构造拥有给定动态大小的数组。值初始化数组元素。此重载只有在
T 是未知边界数组时才会参与重载决议。函数等价于：
unique_ptr<T>(new std::remove_extent_t<T>[size]())
3,6) 不允许构造已知边界的数组。
5) 同 (2)，但默认初始化数组。此重载只有在
T 是未知边界数组时才会参与重载决议。函数等价于：
unique_ptr<T>(new std::remove_extent_t<T>[size])
参数
| args | - | 将要构造的 T 实例所用的实参列表
|
| size | - | 要构造的数组大小 |
返回值
类型 T 实例的 std::unique_ptr。
异常
可能抛出 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 会要求为其返回的 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) | 重载 (1,2,4,5) 的 constexpr
|
示例
| 本节未完成 原因：添加更多 make_unique_for_overwrite() 演示 |
运行此代码
#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 (公开成员函数) | |
| 创建管理一个新对象的共享指针 (函数模板) |