Пространства имён
Варианты
    Действия

      std::expected<T,E>::swap

      Материал из cppreference.com
       
      C++
      Поддержка компилятором
      Автономные и размещённые реализации
      Язык
      Стандартная библиотека
      Заголовки стандартной библиотеки
      Требования к именованию
      Макросы тестирования функциональности (C++20)
      Поддержка языка
      Библиотека концептов (C++20)
      Библиотека метапрограммирования (C++11)
      Библиотека диагностики
      Библиотека общих утилит
      Библиотека строк
      Библиотека контейнеров
      Библиотека итераторов
      Библиотека диапазонов (C++20)
      Библиотека алгоритмов
      Библиотека численных данных
      Библиотека ввода/вывода
      Библиотека локализаций
      Регулярные выражения (C++11)
      Атомарные операции (C++11)
      Библиотека поддержки конкуренции (C++11)
      Библиотека файловой системы (C++17)
      Технические спецификации
      Указатель символов
      Внешние библиотеки
       
      Библиотека утилит
      Языковая поддержка
      Поддержка типов (базовые типы, RTTI)
      Макросы тестирования функциональности библиотеки (C++20)    
      Управление динамической памятью
      Программные утилиты
      Поддержка сопрограмм (C++20)
      Вариативные функции
      (C++20)
      (C++26)
      (C++11)
      (C++20)
      Трёхстороннее сравнение (C++20)
      (C++20)(C++20)
      (C++20)
      (C++20)
      (C++20)
      (C++20)
      (C++20)
      (C++20)
      (C++20)
      (C++20)
      (C++20)
      (C++20)
      (C++20)
      (C++20)    
      (C++20)(C++20)(C++20)(C++20)(C++20)(C++20)
      Общие утилиты
      Дата и время
      Функциональные объекты
      Библиотека форматирования (C++20)
      (C++11)
      Операторы отношения (устарело в C++20)
      Целочисленные функции сравнения
      (C++20)(C++20)(C++20)    
      (C++20)
      Операции обмена и типа
      (C++20)
      (C++14)
      (C++11)
      (C++23)
      (C++11)
      (C++23)
      (C++11)
      (C++11)
      (C++17)
      Общие лексические типы
      (C++11)
      (C++17)
      (C++17)
      (C++17)
      (C++11)
      (C++11)
      (C++17)
      (C++17)
      (C++23)
      Элементарные преобразования строк
      (C++17)
      (C++17)
      (C++17)
       
      std::expected
      Функции-элементы
      Наблюдатели
      Монадические операции
      Модификаторы
      Функции, не являющиеся элементами
      Вспомогательные классы
       
      <tbody> </tbody>
      constexpr void swap( expected& other ) noexcept(/*смотрите ниже*/);
      		 (начиная с C++23)

      Обменивает содержимое с other.

      • Если T является (возможно, cv-квалифицированным) void, не имеет эффектов.
      • Иначе эквивалентно using std::swap; swap(*this, other);.
      • Если и this->has_value() и other.has_value() равны false, эквивалентно
        using std::swap; swap(this->error(), other.error());.
      • Если this->has_value() равно false, а other.has_value() равно true, вызывает other.swap(*this).
      • Если this->has_value() равно true, а other.has_value() равно false,
      • Если T является (возможно, cv-квалифицированным) void, пусть unex будет элементом, представляющим неожидаемое значение, эквивалентно:
      std::construct_at(std::addressof(unex), std::move(other.unex));
std::destroy_at(std::addressof(other.unex));
      • Иначе пусть val будет элементом, представляющим ожидаемое значение, а unex будет элементом, представляющим ожидаемое значение, эквивалентное следующему:
      if constexpr (std::is_nothrow_move_constructible_v<E>) {
    E temp(std::move(other.unex));
    std::destroy_at(std::addressof(other.unex));
    try {
        std::construct_at(std::addressof(other.val), std::move(val));
        std::destroy_at(std::addressof(val));
        std::construct_at(std::addressof(unex), std::move(temp));
    } catch(...) {
        std::construct_at(std::addressof(other.unex), std::move(temp));
        throw;
    }
} else {
    T temp(std::move(val));
    std::destroy_at(std::addressof(val));
    try {
        std::construct_at(std::addressof(unex), std::move(other.unex));
        std::destroy_at(std::addressof(other.unex));
        std::construct_at(std::addressof(other.val), std::move(temp));
    } catch(...) {
        std::construct_at(std::addressof(val), std::move(temp));
        throw;
    }
}
      • В любом случае, если исключение не было сгенерировано, после обмена this->has_value() равно false, а other.has_value() равно true.

      Эта функция участвует в разрешении перегрузки, только если

      • либо T равно (возможно, cv-квалифицированному) void, или std::is_swappable_v<T> равно true, и
      • std::is_swappable_v<E> равно true, и
      • либо T является (возможно, cv-квалифицированным) void, или std::is_move_constructible_v<T> равно true, и
      • std::is_move_constructible_v<E> равно true, и
      • хотя бы одно из следующего true:
        • T равно (возможно, cv-квалифицированному) void
        • std::is_nothrow_move_constructible_v<T>
        • std::is_nothrow_move_constructible_v<E>

      Параметры

      other — объект optional для обмена содержимым

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

      (нет)

      Исключения

      Если T (возможно, cv-квалифицированный) void,

      спецификация noexcept:  
      noexcept( std::is_nothrow_move_constructible_v<E> && std::is_nothrow_swappable_v<E> )

      Иначе,

      спецификация noexcept:  
      noexcept( std::is_nothrow_move_constructible_v<T> && std::is_nothrow_swappable_v<T> && std::is_nothrow_move_constructible_v<E> && std::is_nothrow_swappable_v<E> )

      В случае сгенерированного исключения состояния содержащихся значений *this и other определяются гарантиями безопасности исключений swap или конструктора перемещения T и E, в зависимости от того, какой из них вызывается. Как для *this, так и для other, если объект содержит ожидаемое значение, он остается содержащим ожидаемое значение, и наоборот.

      Пример

      Этот раздел не завершён
      Причина: нет примера

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

      (C++23)
      		 специализация алгоритма std::swap
      (функция) [править]