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" не выбрасывает исключения:
    // "new_val" может быть напрямую сконструирован после уничтожения "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)...);
    }
    // Случай 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 будет содержать альтернативное значение (т.е. переход от ожидаемого значения к неожиданному значению, или от неожиданного значения к ожидаемому значению).

В данном случае старое значение oldval должно быть уничтожено перед созданием нового значения newval . Однако создание newval может вызвать исключение. Для обеспечения строгой гарантии безопасности исключений старое значение должно быть восстановлено перед повторным выбросом исключения, чтобы * this находился в валидном состоянии во время обработки исключения.

Возвращаемое значение

Ограничения и дополнительная информация

Основные операторы присваивания шаблона

void операторы присваивания частичной специализации

Исключения

Пример

Отчеты о дефектах

Следующие отчеты об изменениях поведения, влияющие на дефекты, были применены ретроактивно к ранее опубликованным стандартам C++.

Смотрите также