std::make_unique, std::make_unique_for_overwrite
De 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>
| Definido en el archivo de encabezado <memory>
|
||
| (1) | ||
template< class T, class... Args > unique_ptr<T> make_unique( Args&&... args ); |
(desde C++14) (hasta C++23) (solo para tipos no array) |
|
template< class T, class... Args > constexpr unique_ptr<T> make_unique( Args&&... args ); |
(desde C++23) (solo para tipos no array) |
|
| (2) | ||
template< class T > unique_ptr<T> make_unique( std::size_t size ); |
(desde C++14) (hasta C++23) (solo para tipos array con límite desconocido) |
|
template< class T > constexpr unique_ptr<T> make_unique( std::size_t size ); |
(desde C++23) (solo para tipos array con límite desconocido) |
|
template< class T, class... Args > /* no especificado */ make_unique( Args&&... args ) = delete; |
(3) | (desde C++14) (solo para tipos array con límite conocido) |
| (4) | ||
template< class T > unique_ptr<T> make_unique_for_overwrite( ); |
(desde C++20) (hasta C++23) (solo para tipos no array) |
|
template< class T > constexpr unique_ptr<T> make_unique_for_overwrite( ); |
(desde C++23) (solo para tipos no array) |
|
| (5) | ||
template< class T > unique_ptr<T> make_unique_for_overwrite( std::size_t size ); |
(desde C++20) (hasta C++23) (solo para tipos array con límite desconocido) |
|
template< class T > constexpr unique_ptr<T> make_unique_for_overwrite( std::size_t size ); |
(desde C++23) (solo para tipos array con límite desconocido) |
|
template< class T, class... Args > /* no especificado */ make_unique_for_overwrite( Args&&... args ) = delete; |
(6) | (desde C++20) (solo para tipos array con límite conocido) |
Construye un objeto de tipo T y lo envuelve en un std::unique_ptr.
1) Construye un objeto de tipo no array
T. Los argumentos args se pasan al constructor de T. Esta sobrecarga solo participa en la resolución de sobrecargas si T no es un tipo array. La función es equivalente a:
unique_ptr<T>(new T(std::forward<Args>(args)...))
2) Construye un array del tamaño dinámico dado. Los elementos del array se inicializan por valor. Esta sobrecarga solo participa en la resolución de sobrecargas si
T es un array de límite desconocido. La función es equivalente a:
unique_ptr<T>(new std::remove_extent_t<T>[size]())
3,6) No se permite la construcción de arrays de límite conocido.
4) Igual que (1), excepto que el objeto se inicializa por defecto. Esta sobrecarga solo participa en la resolución de sobrecargas si
T no es un tipo array. La función es equivalente a:
unique_ptr<T>(new T)
5) Igual que (2), excepto que el array se inicializa por defecto. Esta sobrecarga solo participa en la resolución de sobrecargas si
T es un array de límite desconocido. La función es equivalente a:
unique_ptr<T>(new std::remove_extent_t<T>[size])
Parámetros
| args | - | Lista de argumentos con los que se construirá una instancia de T.
|
| size | - | La longitud del array a construir. |
Valor de retorno
std::unique_ptr de una instancia de tipo T.
Excepciones
Puede lanzar std::bad_alloc o cualquier excepción lanzada por el constructor de T. Si se lanza una excepción, esta función no tiene efecto.
Posible implementación
| Primera versión |
|---|
// 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;
|
| Segunda versión |
// 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;
|
Notas
A diferencia std::make_shared (que tiene std::allocate_shared), std::make_unique no tiene una contraparte consciente de asignador de memoria. Se requeriría que allocate_unique, propuesta en P0211, inventara el tipo del eliminador D para el std::unique_ptr<T,D> que devuelve, que contendría un objeto asignador de memoria e invocaría tanto a destroy como a deallocate en su operator().
| Macro de Prueba de característica |
|---|
__cpp_lib_make_unique
|
| Macro de Prueba de característica |
|---|
__cpp_lib_smart_ptr_for_overwrite
|
(para las sobrecargas (4-6))
| Macro de Prueba de característica |
|---|
__cpp_lib_constexpr_memory
|
((C++23) constexpr para las sobrecargas (1,2,4,5))
Ejemplo
| Esta sección está incompleta Razón: Agregar demo de make_unique_for_overwrite(). |
Ejecuta este código
#include <iostream>
#include <iomanip>
#include <memory>
struct Vec3
{
int x, y, z;
// el siguiente constructor ya no es necesario desde 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 << " }";
}
};
int main()
{
// Usar el constructor por defecto.
std::unique_ptr<Vec3> v1 = std::make_unique<Vec3>();
// Usar el constructor que coincide con estos argumentos
std::unique_ptr<Vec3> v2 = std::make_unique<Vec3>(0,1,2);
// Crear un unique_ptr a un array de 5 elementos
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): ";
for (int i = 0; i < 5; i++) {
std::cout << std::setw(i ? 30 : 0) << v3[i] << '\n';
}
}
Salida:
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 }
Véase también
Construye un nuevo objeto de tipo unique_ptr. (función miembro pública) | |
| Crea un puntero compartido que gestiona un nuevo objeto. (plantilla de función) |
