Namespaces
Variants

    std::optional<T>::emplace

    ja.cppreference.net より
     
    C++
    コンパイラサポート
    フリースタンディングとホステッド
    言語
    標準ライブラリ
    標準ライブラリヘッダ
    名前付き要件
    機能テストマクロ (C++20)
    言語サポートライブラリ
    コンセプトライブラリ (C++20)
    診断ライブラリ
    メモリ管理ライブラリ
    メタプログラミングライブラリ (C++11)
    汎用ユーティリティライブラリ
    コンテナライブラリ
    イテレータライブラリ
    レンジライブラリ (C++20)
    アルゴリズムライブラリ
    文字列ライブラリ
    テキスト処理ライブラリ
    数値ライブラリ
    日時ライブラリ
    入出力ライブラリ
    ファイルシステムライブラリ (C++17)
    並行処理サポートライブラリ (C++11)
    実行制御ライブラリ (C++26)
    技術仕様書
    シンボル一覧
    外部ライブラリ
     
    ユーティリティライブラリ
    言語サポート
    型サポート (基本型、RTTI)
    ライブラリ機能テストマクロ (C++20)
    プログラムユーティリティ
    可変長引数関数
    (C++11)
    (C++20)
    (C++26)
    (C++20)
    コルーチンサポート (C++20)
    契約サポート (C++26)
    三方比較
    (C++20)(C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)    
    (C++20)(C++20)(C++20)    
    (C++20)(C++20)(C++20)

    汎用ユーティリティ
    関係演算子 (C++20で非推奨)
    整数比較関数
    (C++20)(C++20)(C++20)    
    (C++20)
    Swap および 型操作
    (C++20)
    (C++14)
    (C++11)
    (C++23)
    (C++11)
    (C++23)
    (C++11)
    (C++11)
    (C++17)
    共通の語彙型
    (C++11)
    (C++17)
    (C++17)
    (C++17)
    (C++11)
    (C++11)
    (C++17)
    (C++17)
    (C++23)



     
    std::optional
     
    template< class... Args >
T& emplace( Args&&... args );
    		(1) (C++17 から)
    (C++20 から constexpr)    		 
    template< class U, class... Args >
T& emplace( std::initializer_list<U> ilist, Args&&... args );
    		(2) (C++17 から)
    (C++20 から constexpr)

    格納されている値をその場で構築します。 この呼び出しの前に*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 適用対象 公開時の動作 正しい動作
    P2231R1 C++20 emplace は constexpr ではなかったが、必要な操作はC++20で constexpr 化可能 constexpr 化

    関連項目

    		内容を代入
    (public member function)