# std::optional<T>::emplace

< cpp‎ | utility‎ | optional

| (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&&...>::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

### 参阅

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