swap (std::expected)

std::swap アルゴリズムを std::expected に対してオーバーロードします。 lhs の状態と rhs の状態を交換します。実質的には lhs. swap ( rhs ) を呼び出します。

このオーバーロードは、以下の条件が満たされる場合にのみオーバーロード解決に参加します： lhs. swap ( rhs ) が有効である場合。

この関数は通常の unqualified lookup または qualified lookup では可視化されず、 argument-dependent lookup によってのみ発見され、その際 std:: expected < T, 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{SMILING FACE WITH SUNGLASSES}");
    Ex ex2{"\N{SLIGHTLY SMILING FACE}"};
    show(ex1, ex2, "after swap(ex1, ex2):\n");
    std::swap(ex1, ex2);
    show(ex1, ex2, "\n\n");
    ex2 = std::unexpected(13);
    show(ex1, ex2, "after swap(ex1, ex2):\n");
    std::swap(ex1, ex2);
    show(ex1, ex2, "\n\n");
    ex2 = std::unexpected(37);
    show(ex1, ex2, "after swap(ex1, ex2):\n");
    std::swap(ex1, ex2);
    show(ex1, ex2);
}

ex1.value() = 😎  ex2.value() = 🙂  after swap(ex1, ex2):
ex1.value() = 🙂  ex2.value() = 😎  
ex1.value() = 🙂  ex2.error() = 13  after swap(ex1, ex2):
ex1.error() = 13  ex2.value() = 🙂  
ex1.error() = 13  ex2.error() = 37  after swap(ex1, ex2):
ex1.error() = 37  ex2.error() = 13

関連項目