Namespaces
Variants

std::tuple<Types...>:: swap

From cppreference.net
C++
Utilities library
std::tuple
Определено в заголовке <tuple>
void swap ( tuple & other ) noexcept ( /* see below */ ) ;
(1) (начиная с C++11)
(constexpr начиная с C++20)
constexpr void swap ( const tuple & other ) noexcept ( /* see below */ ) const ;
(2) (начиная с C++23)

Вызывает swap (который может быть std::swap или может быть найден через ADL ) для каждого элемента в * this и соответствующего ему элемента в other .

Если любой выбранный вызов функции swap является некорректным или не обменивает соответствующие элементы обоих кортежей, поведение не определено.

(до C++23)

Если любой выбранный вызов функции swap не обменивает соответствующие элементы обоих кортежей, поведение не определено.

1) Программа является некорректной, если ( std:: is_swappable_v < Types > && ... ) не равно true .
2) Программа является некорректной, если ( std:: is_swappable_v < const Types > && ... ) не равно true .
(начиная с C++23)

Содержание

Параметры

other - кортеж значений для обмена

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

(нет)

Исключения

noexcept спецификация:
noexcept (

noexcept ( swap ( std:: declval < T0 & >> ( ) , std:: declval < T0 & > ( ) ) ) &&
noexcept ( swap ( std:: declval < T1 & >> ( ) , std:: declval < T1 & > ( ) ) ) &&
noexcept ( swap ( std:: declval < T2 & >> ( ) , std:: declval < T2 & > ( ) ) ) &&
...

)

В приведённом выше выражении идентификатор swap ищется таким же образом, как и в трейте C++17 std::is_nothrow_swappable .

(до C++17)
1)
noexcept спецификация:
noexcept ( ( std:: is_nothrow_swappable_v < Types > && ... ) )
2)
noexcept спецификация:
noexcept ( ( std:: is_nothrow_swappable_v < const Types > && ... ) )
(начиная с C++17)

Пример

Запустить этот код 
#include <iostream>
#include <string>
#include <tuple>
int main()
{
    std::tuple<int, std::string, float> p1{42, "ABCD", 2.71}, p2;
    p2 = std::make_tuple(10, "1234", 3.14);
    auto print_p1_p2 = [&](auto rem)
    {
        std::cout << rem
                  << "p1 = {" << std::get<0>(p1)
                  << ", "     << std::get<1>(p1)
                  << ", "     << std::get<2>(p1) << "}, "
                  << "p2 = {" << std::get<0>(p2)
                  << ", "     << std::get<1>(p2)
                  << ", "     << std::get<2>(p2) << "}\n";
    };
    print_p1_p2("Before p1.swap(p2): ");
    p1.swap(p2);
    print_p1_p2("After  p1.swap(p2): ");
    swap(p1, p2);
    print_p1_p2("After swap(p1, p2): ");
}

Вывод: 

Before p1.swap(p2): p1 = {42, ABCD, 2.71}, p2 = {10, 1234, 3.14}
After  p1.swap(p2): p1 = {10, 1234, 3.14}, p2 = {42, ABCD, 2.71}
After swap(p1, p2): p1 = {42, ABCD, 2.71}, p2 = {10, 1234, 3.14}

Отчеты о дефектах

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

DR Применяется к Поведение в опубликованной версии Корректное поведение
LWG 2456 C++11 спецификация noexcept некорректна исправлено для работы

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

(C++11)
специализирует алгоритм std::swap
(шаблон функции)
(C++11)
обменивает содержимое
(публичная функция-член std::pair<T1,T2> )