std::optional<T>::emplace
来自cppreference.com
(1) | ||
template< class... Args > T& emplace( Args&&... args ); |
(C++17 起) (C++20 前) |
|
template< class... Args > constexpr T& emplace( Args&&... args ); |
(C++20 起) | |
(2) | ||
template< class U, class... Args > T& emplace( std::initializer_list<U> ilist, Args&&... args ); |
(C++17 起) (C++20 前) |
|
template< class U, class... Args > constexpr T& emplace( std::initializer_list<U> ilist, Args&&... args ); |
(C++20 起) | |
原位构造所含值。若 *this 已在此调用前含值,则调用其析构函数销毁所含值。
2) 以 ilist, std::forward<Args>(args)... 为参数直接初始化(但不是直接列表初始化)所含值。此重载仅若 std::is_constructible<T, std::initializer_list<U>&, Args&&...>::value 为 true 才参与重载决议。
参数
args... | - | 传递给构造函数的参数 |
ilist | - | 传递给构造函数的初始化器列表 |
类型要求 | ||
-对于重载 (1) , T 必须可从 Args... 构造
| ||
-对于重载 (2) , T 必须可从 std::initializer_list 及 Args... 构造
|
返回值
到新的被含有值的引用。
异常
选择的 T
构造函数所抛出的任何异常。若抛出异常,则 *this 在此调用后不含值(若先前存在所含值,则销毁它)。
示例
运行此代码
#include <optional> #include <iostream> struct A { std::string s; A(std::string str) : s(std::move(str)) { std::cout << " constructed\n"; } ~A() { std::cout << " destructed\n"; } A(const A& o) : s(o.s) { std::cout << " copy constructed\n"; } A(A&& o) : s(std::move(o.s)) { std::cout << " move constructed\n"; } A& operator=(const A& other) { s = other.s; std::cout << " copy assigned\n"; return *this; } A& operator=(A&& other) { s = std::move(other.s); std::cout << " move assigned\n"; return *this; } }; 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 move constructed destructed Emplace: destructed constructed End example destructed
缺陷报告
下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。
DR | 应用于 | 出版时的行为 | 正确行为 |
---|---|---|---|
P2231R1 | C++20 | emplace 不是 constexpr ,而要求的操作在 C++20 中能为 constexpr
|
使之为 constexpr |
参阅
对内容赋值 (公开成员函数) |