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

std::exchange

Материал из cppreference.com
< cpp‎ | utility
 
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)
exchange
(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)
 
Определено в заголовочном файле <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)
 атомарно заменяет значение атомарного объекта неатомарным аргументом и возвращает предыдущее атомарное значение
(шаблон функции) [править]
Источник — «https://ru.cppreference.com/mwiki/index.php?title=cpp/utility/exchange&oldid=63863»