Namespaces
Variants

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

ja.cppreference.net より
 
 
ユーティリティライブラリ
言語サポート
型サポート (基本型、RTTI)
ライブラリ機能テストマクロ (C++20)
プログラムユーティリティ
可変個引数関数
コルーチンサポート (C++20)
契約サポート (C++26)
三方比較
(C++20)
(C++20)(C++20)(C++20)    
(C++20)(C++20)(C++20)

汎用ユーティリティ
関係演算子 (C++20で非推奨)
整数比較関数
(C++20)(C++20)(C++20)    
(C++20)
swap と型操作
(C++14)
(C++11)
(C++11)
(C++11)
(C++17)
共通の語彙型
(C++11)
(C++17)
(C++17)
(C++17)
(C++11)
(C++17)
(C++23)



 
 
ヘッダ <tuple>
void swap( tuple& other ) noexcept(/* see below */);
で定義 (1) (C++11以降)
(C++20以降constexpr)
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 仕様が不正な形式 動作するように修正

関連項目

std::swap アルゴリズムを特殊化
(関数テンプレート)
(C++11)
内容を交換
( std::pair<T1,T2> の公開メンバ関数)