std::exchange

 

C++

言語

標準ライブラリヘッダ

フリースタンディング処理系とホスト処理系

名前付き要件

言語サポートライブラリ

コンセプトライブラリ(C++20)

診断ライブラリ

ユーティリティライブラリ

文字列ライブラリ

コンテナライブラリ

イテレータライブラリ

範囲ライブラリ(C++20)

アルゴリズムライブラリ

数値演算ライブラリ

ローカライゼーションライブラリ

入出力ライブラリ

ファイルシステムライブラリ(C++17)

正規表現ライブラリ(C++11)

アトミック操作ライブラリ(C++11)

スレッドサポートライブラリ(C++11)

技術仕様書

 

ユーティリティライブラリ

言語サポート 型サポート (基本型、RTTI、型特性) ライブラリの機能テストマクロ (C++20) 動的メモリ管理 プログラムユーティリティ エラー処理 コルーチンサポート(C++20) 可変長引数関数 launder (C++17) initializer_list (C++11) source_location (C++20) 三方比較 (C++20) three_way_comparablethree_way_comparable_with (C++20)(C++20) strong_ordering (C++20) weak_ordering (C++20) partial_ordering (C++20) common_comparison_category (C++20) compare_three_way_result (C++20) compare_three_way (C++20) strong_order (C++20) weak_order (C++20) partial_order (C++20) compare_strong_order_fallback (C++20) compare_weak_order_fallback (C++20) compare_partial_order_fallback (C++20) is_eqis_neqis_ltis_lteqis_gtis_gteq (C++20)(C++20)(C++20)(C++20)(C++20)(C++20)

汎用ユーティリティ 日付と時間 関数オブジェクト 書式化ライブラリ(C++20) bitset hash (C++11) integer_sequence (C++14) 関係演算子 (C++20で非推奨) rel_ops::operator!=rel_ops::operator>rel_ops::operator<=rel_ops::operator>= 整数比較関数 cmp_equalcmp_not_equalcmp_lesscmp_greatercmp_less_thancmp_greater_than (C++20)(C++20)(C++20)(C++20)(C++20)(C++20) in_range (C++20) スワップと型操作 swap ranges::swap (C++20) exchange (C++14) declval (C++11) forward (C++11) move (C++11) move_if_noexcept (C++11) as_const (C++17) 一般的な語彙の型 pair tuple (C++11) apply (C++17) make_from_tuple (C++17) optional (C++17) any (C++17) variant (C++17) 初等文字列変換 to_chars (C++17) from_chars (C++17) chars_format (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以上)

obj の値を new_value の値で置き換え、 obj の古い値を返します。

引数

obj	-	値を置き換えるオブジェクト
new_value	-	obj に代入する値
型の要件
- T は MoveConstructible の要件を満たさなければなりません。 また、 U 型のオブジェクトから T 型のオブジェクトへのムーブ代入も可能でなければなりません

戻り値

obj の古い値。

例外

(なし)

実装例

template<class T, class U = T> T exchange(T& obj, U&& new_value){ T old_value = std::move(obj); obj =std::forward<U>(new_value);return old_value;}

ノート

この関数はムーブ代入演算子やムーブコンストラクタを実装するときに使用することができます。

struct S {int* p;int n;   S(S&& other):p{std::exchange(other.p, nullptr)} ,n{std::exchange(other.n, 0)}{}   S& operator=(S&& other){if(this !=&other){ p = std::exchange(other.p, nullptr);// p をムーブし、 other.p に nullptr を残します。 n = std::exchange(other.n, 0);// n をムーブし、 other.n に 0 を残します。}return*this;}};

例

Run this code

#include <iostream>#include <utility>#include <vector>#include <iterator>   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;   // 第2テンプレート引数はデフォルト値を持つため、// 第2引数として波括弧初期化子リストを使用することができます。// 以下の式は 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)();   // テンプレート引数のデフォルト値により、// 第2引数として通常の関数を使用することもできます。// 以下の式は std::exchange(fun, static_cast<void(*)()>(f)); と同等です。 std::exchange(fun,f); fun();}

出力:

0 0 12   1, 2, 3, 4,   f()

関連項目

swap	2つのオブジェクトの値を入れ替えます (関数テンプレート)
atomic_exchangeatomic_exchange_explicit (C++11)(C++11)	アトミックオブジェクトの値を非アトミック引数でアトミックに置き換え、そのアトミックの古い値を返します (関数テンプレート)