iter_swap (std::common_iterator)
|
template
<
std::
indirectly_swappable
<
I
>
I2,
class
S2
>
friend
constexpr
void
|
(C++20以降) | |
2つの基底イテレータが指すオブジェクトを交換する。
x
が
I
オブジェクトを保持していない、または
y
が
I2
オブジェクトを保持していない場合(すなわち、
x
と
y
の少なくとも一方がイテレータを保持していない場合)、動作は未定義である。
この関数本体は以下と等価です: ranges:: iter_swap ( std :: get < I > ( x. var ) , std :: get < I2 > ( y. var ) ) 。
この関数テンプレートは通常の unqualified lookup または qualified lookup では可視化されず、 argument-dependent lookup によってのみ、std::common_iterator<I,S>が引数の関連クラスである場合に見つけることができます。
目次 |
パラメータ
| x, y | - | 交換する要素へのイテレータ |
戻り値
(なし)
計算量
定数。
例外
例
#include <algorithm> #include <iostream> #include <iterator> #include <string> #include <vector> int main() { std::vector<std::string> v1{"1", "2", "3", "4", "5"}, v2{"α", "β", "γ", "δ", "ε"}; using CI = std::common_iterator< std::counted_iterator<std::vector<std::string>::iterator>, std::default_sentinel_t >; CI first1{std::counted_iterator{v1.begin(), 3}}; CI first2{std::counted_iterator{v2.begin(), 4}}; CI last{std::default_sentinel}; auto print = [&](auto rem) { std::cout << rem << "v1 = "; std::ranges::copy(v1, std::ostream_iterator<std::string>{std::cout, " "}); std::cout << "\nv2 = "; std::ranges::copy(v2, std::ostream_iterator<std::string>{std::cout, " "}); std::cout << '\n'; }; print("Before iter_swap:\n"); for (; first1 != last && first2 != last; ++first1, ++first2) iter_swap(first1, first2); // ADL print("After iter_swap:\n"); }
出力:
Before iter_swap: v1 = 1 2 3 4 5 v2 = α β γ δ ε After iter_swap: v1 = α β γ 4 5 v2 = 1 2 3 δ ε
不具合報告
以下の動作変更の欠陥報告書は、以前に公開されたC++規格に対して遡及的に適用されました。
| DR | Applied to | Behavior as published | Correct behavior |
|---|---|---|---|
| LWG 3574 | C++20 |
variant
は完全なconstexpr(P2231R1)であったが、
common_iterator
はconstexprではなかった
|
同様にconstexpr化 |
関連項目
|
2つのオブジェクトの値を交換する
(関数テンプレート) |
|
|
2つの範囲の要素を交換する
(関数テンプレート) |
|
|
2つのイテレータが指す要素を交換する
(関数テンプレート) |
|
|
(C++20)
|
2つの間接参照可能なオブジェクトが参照する値を交換する
(カスタマイゼーションポイントオブジェクト) |
|
(C++20)
|
2つの基盤となるイテレータが指すオブジェクトを交換する
(関数テンプレート) |