std::optional<T>::swap

void swap( optional& other ) noexcept(/* see below */);

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

• Если ни *this, ни other не содержат значения, функция ничего не делает.
• Если значение содержит только один из объектов — *this или other (назовём этот объект in, а другой — un), содержащееся значение un инициализируется непосредственно из std::move(*in), после чего содержащееся значение in уничтожается, как если бы был вызван in->T::~T(). После этого вызова in не содержит значения; un содержит значение.
• Если значения содержат оба объекта — *this и other, содержащиеся значения обмениваются вызовом using std::swap; swap(**this, *other).

Программа некорректна, если тип T не является обмениваемым или std::is_move_constructible_v<T> не является true.

Параметры

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

(нет)

Исключения

noexcept(std::is_nothrow_move_constructible_v<T> &&
         std::is_nothrow_swappable_v<T>)

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

Примечания

Пример

#include <iostream>
#include <optional>
#include <string>

int main()
{
    std::optional<std::string> opt1("First example text");
    std::optional<std::string> opt2("2nd text");

    enum Swap { Before, After };
    auto print_opts = [&](Swap e)
    {
        std::cout << (e == Before ? "Before swap:\n" : "After swap:\n");
        std::cout << "opt1 contains '" << opt1.value_or("") << "'\n";
        std::cout << "opt2 contains '" << opt2.value_or("") << "'\n";
        std::cout << (e == Before ? "---SWAP---\n": "\n");
    };

    print_opts(Before);
    opt1.swap(opt2);
    print_opts(After);

    // Swap with only 1 set
    opt1 = "Lorem ipsum dolor sit amet, consectetur tincidunt.";
    opt2.reset();

    print_opts(Before);
    opt1.swap(opt2);
    print_opts(After);
}

Before swap:
opt1 contains 'First example text'
opt2 contains '2nd text'
---SWAP---
After swap:
opt1 contains '2nd text'
opt2 contains 'First example text'

Before swap:
opt1 contains 'Lorem ipsum dolor sit amet, consectetur tincidunt.'
opt2 contains ''
---SWAP---
After swap:
opt1 contains ''
opt2 contains 'Lorem ipsum dolor sit amet, consectetur tincidunt.'

Отчёты об ошибках

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

См. также