std::exchange
Материал из cppreference.com
<tbody>
</tbody>
<tbody class="t-dcl-rev ">
</tbody><tbody>
</tbody>
| Определено в заголовочном файле <utility>
|
||
template< class T, class U = T > T exchange( T& obj, U&& new_value ); |
(начиная с C++14) (до C++20) |
|
template< class T, class U = T > constexpr T exchange( T& obj, U&& new_value ); |
(начиная с C++20) (до C++23) |
|
template< class T, class U = T > constexpr T exchange( T& obj, U&& new_value ) noexcept(/* смотрите ниже */); |
(начиная с C++23) | |
Заменяет значение obj на new_value и возвращает старое значение obj.
Параметры
| obj | — | объект, значение которого заменить |
| new_value | — | значение для присваивания obj
|
| Требования к типам | ||
-T должен соответствовать требованиям MoveConstructible. Кроме того, должна быть возможность перемещать-присваивать объекты типа U объектам типа T
| ||
Возвращаемое значение
Старое значение obj
Исключения
|
(нет) |
(до C++23) |
|
спецификация noexcept:
noexcept( std::is_nothrow_move_constructible_v<T> && std::is_nothrow_assignable_v<T&, U> ) |
(начиная с C++23) |
Возможная реализация
template<class T, class U = T>
constexpr // начиная с C++20
T exchange(T& obj, U&& new_value)
noexcept( // начиная с C++23
std::is_nothrow_move_constructible<T>::value &&
std::is_nothrow_assignable<T&, U>::value
)
{
T old_value = std::move(obj);
obj = std::forward<U>(new_value);
return old_value;
}
|
Примечание
std::exchange можно использовать при реализации операторов присваивания перемещением и конструкторов перемещения:
struct S
{
int n;
S(S&& other) noexcept : n{std::exchange(other.n, 0)}
{}
S& operator=(S&& other) noexcept
{
if (this != &other)
n = std::exchange(other.n, 0); // перемещает n, оставив ноль в other.n
return *this;
}
};
| Макрос Тестирования функциональности | Значение | Стандарт | Функциональность |
|---|---|---|---|
__cpp_lib_exchange_function |
201304L |
(C++14) | std::exchange
|
Пример
Запустить этот код
#include <iostream>
#include <iterator>
#include <utility>
#include <vector>
class stream
{
public:
using flags_type = int;
public:
flags_type flags() const { return flags_; }
// Заменяет flags_ на newf и возвращает старое значение.
flags_type flags(flags_type newf) { return std::exchange(flags_, newf); }
private:
flags_type flags_ = 0;
};
void f() { std::cout << "f()"; }
int main()
{
stream s;
std::cout << s.flags() << '\n';
std::cout << s.flags(12) << '\n';
std::cout << s.flags() << "\n\n";
std::vector<int> v;
// Поскольку второй параметр шаблона имеет значение по умолчанию,
// в качестве второго аргумента можно использовать список инициализации
// в фигурных скобках. Приведённое ниже выражение эквивалентно
// std::exchange(v, std::vector<int>{1,2,3,4});
std::exchange(v, {1,2,3,4});
std::copy(begin(v), end(v), std::ostream_iterator<int>(std::cout,", "));
std::cout << "\n\n";
void (*fun)();
// значение параметра шаблона по умолчанию также позволяет использовать
// обычную функцию в качестве второго аргумента. Приведённое ниже
// выражение эквивалентно std::exchange(fun, static_cast<void(*)()>(f))
std::exchange(fun,f);
fun();
std::cout << "\n\nПоследовательность Фибоначчи: ";
for (int a{0}, b{1}; a < 100; a = std::exchange(b, a + b))
std::cout << a << ", ";
std::cout << "...\n";
}
Вывод:
0
0
12
1, 2, 3, 4,
f()
Последовательность Фибоначчи: 0, 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, ...
Смотрите также
| меняет местами значения двух объектов (шаблон функции) | |
(C++11)(C++11) |
атомарно заменяет значение атомарного объекта неатомарным аргументом и возвращает предыдущее атомарное значение (шаблон функции) |