std::optional<T>::emplace

来自cppreference.com
< cpp‎ | utility‎ | optional
 
 
工具库
通用工具
日期和时间
函数对象
格式化库 (C++20)
(C++11)
关系运算符 (C++20 中弃用)
整数比较函数
(C++20)(C++20)(C++20)
(C++20)
swap 与类型运算
(C++14)
(C++11)
(C++11)
(C++11)
(C++17)
常用词汇类型
(C++11)
(C++17)
(C++17)
(C++17)
(C++11)
(C++17)
(C++23)
初等字符串转换
(C++17)
(C++17)
 
 
(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 已在此调用前含值,则调用其析构函数销毁所含值。

1)std::forward<Args>(args)... 为参数直接初始化(但不是直接列表初始化)所含值。
2)ilist, std::forward<Args>(args)... 为参数直接初始化(但不是直接列表初始化)所含值。此重载只有在 std::is_constructible<T, std::initializer_list<U>&, Args&&...>::valuetrue 时才会参与重载决议。

参数

args... - 传递给构造函数的参数
ilist - 传递给构造函数的初始化器列表
类型要求
-
对于重载 (1)T 必须可从 Args... 构造
-
对于重载 (2)T 必须可从 std::initializer_listArgs... 构造

返回值

到新的被含有值的引用。

异常

选择的 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++ 标准。

缺陷报告 应用于 出版时的行为 正确行为
P2231R1 C++20 emplace 不是 constexpr ,而要求的操作在 C++20 中能为 constexpr 使之为 constexpr

参阅

对内容赋值
(公开成员函数)