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

Asigna un nuevo valor a un objeto expected existente.

Parámetros

Efectos

Operadores de asignación de plantilla primaria

void operadores de asignación de especialización parcial

Plantilla de función auxiliar

La plantilla de función solo para exposición reinit-expected se "define" de la siguiente manera:

template<class NewType, class OldType, class... Args>
constexpr void reinit-expected(NewType& new_val, OldType& old_val, Args&&... args)
{
    // Caso 1: la construcción de "new_val" no lanza excepciones:
    // "new_val" puede construirse directamente después de destruir "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)...);
    }
    // Caso 2: la construcción por movimiento de "new_val" no lanza excepciones:
    // construir primero un objeto temporal NewType
    // ("old_val" permanece intacto si se lanza una excepción durante esta construcción)
    else if constexpr (std::is_nothrow_move_constructible_v<NewType>)
    {
        NewType temp(std::forward<Args>(args)...); // puede lanzar excepción
        std::destroy_at(std::addressof(old_val));
        std::construct_at(std::addressof(new_val), std::move(temp));
    }
    // Caso 3: la construcción de "new_val" puede lanzar excepciones:
    // se requiere una copia de seguridad de "old_val" para recuperarse de una excepción
    else
    {
        OldType temp(std::move(old_val)); // puede lanzar excepción
        std::destroy_at(std::addressof(old_val));
        try
        {
            std::construct_at(std::addressof(new_val),
                              std::forward<Args>(args)...); // puede lanzar excepción
        }
        catch (...)
        {
            std::construct_at(std::addressof(old_val), std::move(temp));
            throw;
        }
    }
}

Esta plantilla de función se llama cuando la asignación va a hacer que * this contenga el valor alternativo (es decir, de valor esperado a valor inesperado, o de valor inesperado a valor esperado).

En este caso, el valor antiguo oldval necesita ser destruido antes de construir el nuevo valor newval . Sin embargo, la construcción de newval puede lanzar una excepción. Para proporcionar garantía de seguridad de excepciones fuerte , el valor antiguo necesita ser restaurado antes de relanzar la excepción para que * this mantenga un estado válido mientras se maneja la excepción.

Valor de retorno

Restricciones e información complementaria

Operadores de asignación de plantilla principal

void operadores de asignación de especialización parcial

Excepciones

Ejemplo

Informes de defectos

Los siguientes informes de defectos que modifican el comportamiento se aplicaron retroactivamente a los estándares de C++ publicados anteriormente.

Véase también