std::expected<T,E>:: operator=

既存の expected オブジェクトに新しい値を割り当てます。

パラメータ

効果

プライマリテンプレート代入演算子

void 部分特殊化代入演算子

ヘルパー関数テンプレート

説明専用の関数テンプレート reinit-expected は以下のように「定義」される：

template<class NewType, class OldType, class... Args>
constexpr void reinit-expected(NewType& new_val, OldType& old_val, Args&&... args)
{
    // ケース1: 「new_val」の構築が例外を投げない場合:
    // 「old_val」を破棄した後、「new_val」を直接構築可能
    if constexpr (std::is_nothrow_constructible_v<NewType, Args...>)
    {
        std::destroy_at(std::addressof(old_val));
        std::construct_at(std::addressof(new_val), std::forward<Args>(args)...);
    }
    // ケース2: 「new_val」のムーブ構築が例外を投げない場合:
    // 一時的なNewTypeオブジェクトを先に構築
    // (この構築から例外が投げられた場合、「old_val」はそのまま保持される)
    else if constexpr (std::is_nothrow_move_constructible_v<NewType>)
    {
        NewType temp(std::forward<Args>(args)...); // 例外を投げる可能性あり
        std::destroy_at(std::addressof(old_val));
        std::construct_at(std::addressof(new_val), std::move(temp));
    }
    // ケース3: 「new_val」の構築が例外を投げる可能性がある場合:
    // 例外からの回復のために「old_val」のバックアップが必要
    else
    {
        OldType temp(std::move(old_val)); // 例外を投げる可能性あり
        std::destroy_at(std::addressof(old_val));
        try
        {
            std::construct_at(std::addressof(new_val),
                              std::forward<Args>(args)...); // 例外を投げる可能性あり
        }
        catch (...)
        {
            std::construct_at(std::addressof(old_val), std::move(temp));
            throw;
        }
    }
}

この関数テンプレートは、代入によって * this が代替値を保持するようになる場合（すなわち、expected値からunexpected値へ、またはunexpected値からexpected値へ変更される場合）に呼び出されます。

この場合、古い値 oldval は新しい値 newval の構築前に破棄される必要があります。しかし、 newval の構築は例外をスローする可能性があります。 strong exception safety guarantee を提供するためには、例外を再スローする前に古い値を復元する必要があり、これにより例外処理中も * this が有効な状態を維持します。

戻り値

制約条件と補足情報

プライマリテンプレート代入演算子

void 部分特殊化代入演算子

例外

例

欠陥報告

以下の動作変更に関する欠陥報告書は、以前に公開されたC++規格に対して遡及的に適用されました。

関連項目