Namespaces
Variants

    std::expected<T,E>::swap

    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::expected
     
    プライマリテンプレート
    		 
    constexpr void swap( expected& other ) noexcept(/* see below */);
    		(1) (C++23 より前)
    void 部分特殊化
    		 
    constexpr void swap( expected& other ) noexcept(/* see below */);
    		(2) (C++23 より前)

    内容を other の内容と交換します。

    1) 包含する値は次のように交換されます：
    の値
     has_value()      		の値 other.has_value()
    true false
    true using std::swap;
    swap(val, rhs.val);         		以下を参照
    false other.swap(*this); using std::swap;
    swap(unex, rhs.unex);
    has_value() が true であり、other.has_value() が false である場合、以下と同等です：

    // Case 1: the move constructions of unexpected values are non-throwing:
    // “other.unex” will be restored if the construction of “other.val” fails
    if constexpr (std::is_nothrow_move_constructible_v<E>)
    {
        E temp(std::move(other.unex));
        std::destroy_at(std::addressof(other.unex));
        try
        {
            std::construct_at(std::addressof(other.val), std::move(val)); // may throw
            std::destroy_at(std::addressof(val));
            std::construct_at(std::addressof(unex), std::move(temp));
        }
        catch(...)
        {
            std::construct_at(std::addressof(other.unex), std::move(temp));
            throw;
        }
    }
    // Case 2: the move constructions of expected values are non-throwing:
    // “this->val” will be restored if the construction of “this->unex” fails
    else
    {
        T temp(std::move(val));
        std::destroy_at(std::addressof(val));
        try
        {
            std::construct_at(std::addressof(unex), std::move(other.unex)); // may throw 
            std::destroy_at(std::addressof(other.unex));
            std::construct_at(std::addressof(other.val), std::move(temp));
        }
        catch(...)
        {
            std::construct_at(std::addressof(val), std::move(temp));
            throw;
        }
    }
    has_val = false;
    rhs.has_val = true;

    このオーバーロードは、以下のすべての値が true である場合にのみオーバーロード解決に参加します：
    • std::is_swappable_v<T>
    • std::is_swappable_v<E>
    • std::is_move_constructible_v<T> && std::is_move_constructible_v<E>
    • std::is_nothrow_move_constructible_v<T> || std::is_nothrow_move_constructible_v<E>
    2) エラー値は次のように交換されます：
    の値
     has_value()      		の値 other.has_value()
    true false
    true using std::swap;
    swap(val, rhs.val);         		std::construct_at(std::addressof(unex),
                      std::move(rhs.unex));
    std::destroy_at(std::addressof(rhs.unex));
    has_val = false;
    rhs.has_val = true;
    false other.swap(*this); using std::swap;
    swap(unex, rhs.unex);
    このオーバーロードは、std::is_swappable_v<E> と std::is_move_constructible_v<E> の両方が true である場合にのみオーバーロード解決に参加します。

    パラメータ

    other - 内容を交換する対象の expected オブジェクト

    例外

    1)
    noexcept 指定:
    noexcept (

    std:: is_nothrow_move_constructible_v < T > && std:: is_nothrow_swappable_v < T > &&
    std:: is_nothrow_move_constructible_v < E > && std:: is_nothrow_swappable_v < E >

    )
    2)
    noexcept specification:
    noexcept (

    std:: is_nothrow_move_constructible_v < E > && std:: is_nothrow_swappable_v < E >

    )

    例

    このコードを実行 
    #include <expected>
#include <iostream>
#include <string_view>
using Ex = std::expected<std::string, int>;
void show(const Ex& ex1, const Ex& ex2, std::string_view term = "\n")
{
    for (int i{}; i != 2; ++i)
    {
        std::cout << (i ? "ex2" : "ex1");
        if (const Ex& ex = (i ? ex2 : ex1); ex.has_value())
            std::cout << ".value() = " << *ex << "  ";
        else
            std::cout << ".error() = " << ex.error() << "  ";
    }
    std::cout << term;
}
int main()
{
    Ex ex1("\N{CAT FACE}");
    Ex ex2{"\N{GREEN HEART}"};
    show(ex1, ex2, "after ex1.swap(ex2):\n");
    ex1.swap(ex2);
    show(ex1, ex2, "\n\n");
    ex2 = std::unexpected(13);
    show(ex1, ex2, "after ex1.swap(ex2):\n");
    ex1.swap(ex2);
    show(ex1, ex2, "\n\n");
    ex2 = std::unexpected(37);
    show(ex1, ex2, "after ex1.swap(ex2):\n");
    ex1.swap(ex2);
    show(ex1, ex2);
}

    出力: 

    ex1.value() = 🐱  ex2.value() = 💚  after ex1.swap(ex2):
ex1.value() = 💚  ex2.value() = 🐱 
ex1.value() = 💚  ex2.error() = 13  after ex1.swap(ex2):
ex1.error() = 13  ex2.value() = 💚 
ex1.error() = 13  ex2.error() = 37  after ex1.swap(ex2):
ex1.error() = 37  ex2.error() = 13

    関連項目

    (C++23)
    		std::swap アルゴリズムを特殊化する
    (関数)