std::optional<T>:: swap
|
void
swap
(
optional
&
other
)
noexcept
(
/* see below */
)
;
|
(начиная с C++17)
(constexpr начиная с C++20) |
|
Обменивает содержимое с содержимым 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
не является
Swappable
и
std::
is_move_constructible_v
<
T
>
не равен
true
.
Содержание |
Параметры
| other | - |
объект
optional
для обмена содержимым
|
Возвращаемое значение
(нет)
Исключения
std:: is_nothrow_swappable_v < T > )
В случае возникновения исключения состояния содержащихся значений
*
this
и
other
определяются гарантиями безопасности исключений
swap
для типа
T
или конструктора перемещения
T
, в зависимости от того, что вызывается. Как для
*
this
, так и для
other
, если объект содержал значение, он остается содержащим значение, и наоборот.
| Макрос тестирования возможностей | Значение | Стандарт | Функция |
|---|---|---|---|
__cpp_lib_optional
|
202106L
|
(C++20)
(DR20) |
Полностью constexpr |
Пример
#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++.
| DR | Применяется к | Поведение в опубликованной версии | Корректное поведение |
|---|---|---|---|
| P2231R1 | C++20 |
swap
не был
constexpr
в то время как требуемые операции могут быть
constexpr
в C++20
|
сделан constexpr |
Смотрите также
|
(C++17)
|
специализирует алгоритм
std::swap
(шаблон функции) |