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

Attribue une nouvelle valeur à un objet expected existant.

Paramètres

Effets

Opérateurs d'affectation du modèle principal

void opérateurs d'affectation de spécialisation partielle

Modèle de fonction d'assistance

Le modèle de fonction d'exposition uniquement reinit-expected est « défini » comme suit :

template<class NewType, class OldType, class... Args>
constexpr void reinit-expected(NewType& new_val, OldType& old_val, Args&&... args)
{
    // Cas 1 : la construction de « new_val » est non-lançante :
    // « new_val » peut être construit directement après la destruction de « old_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)...);
    }
    // Cas 2 : la construction par déplacement de « new_val » est non-lançante :
    // construire d'abord un objet temporaire NewType
    // (« old_val » reste intact si une exception est lancée lors de cette construction)
    else if constexpr (std::is_nothrow_move_constructible_v<NewType>)
    {
        NewType temp(std::forward<Args>(args)...); // peut lancer
        std::destroy_at(std::addressof(old_val));
        std::construct_at(std::addressof(new_val), std::move(temp));
    }
    // Cas 3 : la construction de « new_val » est potentiellement lançante :
    // une sauvegarde de « old_val » est nécessaire pour récupérer après une exception
    else
    {
        OldType temp(std::move(old_val)); // peut lancer
        std::destroy_at(std::addressof(old_val));
        try
        {
            std::construct_at(std::addressof(new_val),
                              std::forward<Args>(args)...); // peut lancer
        }
        catch (...)
        {
            std::construct_at(std::addressof(old_val), std::move(temp));
            throw;
        }
    }
}

Ce modèle de fonction est appelé lorsque l'affectation va faire en sorte que * this contienne la valeur alternative (c'est-à-dire d'une valeur attendue à une valeur inattendue, ou d'une valeur inattendue à une valeur attendue).

Dans ce cas, l'ancienne valeur oldval doit être détruite avant de construire la nouvelle valeur newval . Cependant, la construction de newval peut lever une exception. Afin de fournir la garantie de sécurité d'exception forte , l'ancienne valeur doit être restaurée avant de relancer l'exception afin que * this ait un état valide pendant le traitement de l'exception.

Valeur de retour

Contraintes et informations supplémentaires

Opérateurs d'affectation du modèle principal

void opérateurs d'affectation de spécialisation partielle

Exceptions

Exemple

Rapports de défauts

Les rapports de défauts modifiant le comportement suivants ont été appliqués rétroactivement aux normes C++ précédemment publiées.

Voir aussi