std::optional<T>::emplace
С сайта ru.cppreference.net
template< class... Args >
T& emplace( Args&&... args );
|
(1) | (начиная с C++17) (constexpr начиная с C++20) |
template< class U, class... Args >
T& emplace( std::initializer_list<U> ilist, Args&&... args );
|
(2) | (начиная с C++17) (constexpr начиная с C++20) |
Создаёт хранимое значение на месте. Если *this уже содержало значение до вызова, хранимое значение уничтожается вызовом его деструктора.
1) Инициализирует хранимое значение путём прямой инициализации (но не прямой инициализации списком) с
std::forward<Args>(args)... в качестве параметров.2) Инициализирует хранимое значение вызовом его конструктора с
ilist, std::forward<Args>(args)... в качестве параметров. Эта перегрузка участвует в разрешении перегрузки только если std::is_constructible<T, std::initializer_list<U>&, Args&&...>::value является true.Параметры
| args... | - | аргументы для передачи конструктору |
| ilist | - | список инициализации для передачи конструктору |
| Требования к типам | ||
-
T
должен быть конструируемым из
Args...
для перегрузки
(1)
|
||
-
T
должен быть конструируемым из
std::initializer_list
и
Args...
для перегрузки
(2)
|
||
Возвращаемое значение
Ссылка на новое содержащееся значение.
Исключения
Любое исключение, выброшенное выбранным конструктором
T
. Если исключение выброшено,
*
this
не содержит значения после этого вызова (ранее содержавшееся значение, если оно было, было уничтожено).
| Макрос тестирования возможностей | Значение | Стандарт | Функция |
|---|---|---|---|
__cpp_lib_optional
|
202106L
|
(C++20)
(DR20) |
Полностью constexpr ( 1,2 ) |
Пример
Запустить этот код
#include <iostream> #include <optional> struct A { std::string s; A(std::string str) : s(std::move(str)), id{n++} { note("+ constructed"); } ~A() { note("~ destructed"); } A(const A& o) : s(o.s), id{n++} { note("+ copy constructed"); } A(A&& o) : s(std::move(o.s)), id{n++} { note("+ move constructed"); } A& operator=(const A& other) { s = other.s; note("= copy assigned"); return *this; } A& operator=(A&& other) { s = std::move(other.s); note("= move assigned"); return *this; } inline static int n{}; int id{}; void note(auto s) { std::cout << " " << s << " #" << id << '\n'; } }; int main() { std::optional<A> opt; std::cout << "Assign:\n"; opt = A("Lorem ipsum dolor sit amet, consectetur adipiscing elit nec."); std::cout << "Emplace:\n"; // Поскольку opt содержит значение, оно также уничтожит это значение opt.emplace("Lorem ipsum dolor sit amet, consectetur efficitur."); std::cout << "End example\n"; }
Вывод:
Assign: + constructed #0 + move constructed #1 ~ destructed #0 Emplace: ~ destructed #1 + constructed #2 End example ~ destructed #2
Отчеты о дефектах
Следующие отчеты об изменениях поведения, влияющие на дефекты, были применены ретроактивно к ранее опубликованным стандартам C++.
| DR | Applied to | Behavior as published | Correct behavior |
|---|---|---|---|
| P2231R1 | C++20 |
emplace
не был
constexpr
тогда как требуемые операции могут быть
constexpr
в C++20
|
сделан constexpr |
Смотрите также
|
присваивает содержимое
(публичная функция-член) |