std::make_unique, std::make_unique_for_overwrite
Материал из cppreference.com
< cpp | memory | unique ptr
Определено в заголовочном файле <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) Создание массивов с известной границей запрещено.
4) То же, что и (1), за исключением того, что объект инициализируется по умолчанию. Эта перегрузка участвует в разрешении перегрузки, только если
T не является типом массива. Функция эквивалентна: unique_ptr<T>(new T)
5) То же, что и (2), за исключением того, что массив инициализируется по умолчанию. Эта перегрузка участвует в разрешении перегрузки, только если
T это массив неизвестных границ. Функция эквивалентна: unique_ptr<T>(new std::remove_extent_t<T>[size])
Содержание |
[править]Параметры
| args | — | список аргументов, с которыми будет создан экземпляр T. |
| size | — | длина массива для создания |
[править]Возвращаемое значение
экземпляр std::unique_ptr типа T.
[править]Исключения
Может генерировать std::bad_alloc или любое исключение, генерируемое конструктором T. Если сгенерировано исключение, эта функция не имеет эффекта.
[править]Возможная реализация
| make_unique (1,2,3) |
|---|
// C++14 make_uniquenamespace detail {template<class>constexprbool is_unbounded_array_v =false;template<class T>constexprbool is_unbounded_array_v<T[]>=true; template<class>constexprbool is_bounded_array_v =false;template<class T, std::size_t N>constexprbool 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; |
| make_unique_for_overwrite (4,5,6) |
// 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> 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::make_shared (у которой есть std::allocate_shared), std::make_unique не имеет аналога, поддерживающего распределитель. allocate_unique, предложенный в P0211, потребует изобретения типа средства удаления D для возвращаемого std::unique_ptr<T,D>, который будет содержать объект-аллокатор и вызывать как destroy, так и deallocate в своём operator().
| Макрос тест функциональности | Значение | Стандарт | Комментарий |
|---|---|---|---|
__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) |
[править]Пример
| Этот раздел не завершён Причина: Добавляет демонстрацию make_unique_for_overwrite() |
Запустить этот код
#include <iostream>#include <iomanip>#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){} friendstd::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);// Создание unique_ptr для массива из 5 элементовstd::unique_ptr<Vec3[]> v3 = std::make_unique<Vec3[]>(5); // Создаём unique_ptr для неинициализированного массива из 10 целых чисел,// затем заполняем его числами Фибоначчи.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(public функция-элемент) | |
| создаёт общий указатель, который управляет новым объектом (шаблон функции) |
