Namespaces
Variants

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

From cppreference.net
C++
Utilities library
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 ) ;
If has_value() is true and other. has_value ( ) is false , equivalent to:

// ケース1: unexpected値のムーブ構築が例外を投げない場合:
// 「other.unex」は「other.val」の構築が失敗した場合に復元されます
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 ) ) ; // 例外をスローする可能性あり
（注：元のテキストには翻訳対象となるテキストコンテンツが含まれていません。HTMLタグ内に翻訳すべきテキストがないため、出力は入力と同じ構造を保持しています） 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 ;
}
}
// ケース2: expected値のムーブ構築が例外を投げない場合:
// 「this->val」は「this->unex」の構築が失敗した場合に復元されます
else
{
T temp ( std :: move ( val ) ) ;
std:: destroy_at ( std:: addressof ( val ) ) ;
try
{
std:: construct_at ( std:: addressof ( unex ) , std :: move ( other. unex ) ) ; // 例外をスローする可能性あり
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 ;
（注：元のテキストには翻訳対象となるテキストコンテンツが含まれていません。HTMLタグ内に翻訳すべきテキストがないため、出力は入力と同じ構造を保持しています） }
}
has_val = false ;
rhs. has_val （注：元のテキストには翻訳対象となるテキストコンテンツが含まれていません。HTMLタグ内に翻訳すべきテキストがないため、出力は入力と同じ構造を保持しています） = true ;

このオーバーロードは、以下のすべての値が true である場合にのみ、オーバーロード解決に参加します：
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 である場合にのみ、オーバーロード解決に参加します。

目次

翻訳の説明： - 「Contents」を「目次」に翻訳 - C++関連の用語（Parameters, Exceptions, Example, See also）は原文のまま保持 - HTMLタグ、属性、クラス名は一切変更せず - 数値、リンク、構造は完全に保持 - プロフェッショナルな技術文書としての正確性を維持

パラメータ

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 アルゴリズムを特殊化する
(関数)