iter_swap(std::common_iterator)
来自 cppreference.com
< cpp | iterator | common iterator
template< std::indirectly_swappable<I> I2, class S2 > friend constexpr void |
(自 C++20 起) | |
交换两个底层迭代器所指向的对象。如果 x 不持有 I
对象或 y 不持有 I2
对象(即 x 和 y 中至少有一个不持有迭代器),则行为未定义。
函数体等效于 ranges::iter_swap(std::get<I>(x.var), std::get<I2>(y.var)).
此函数模板对普通的 非限定 或 限定查找 不可見,并且只能在 std::common_iterator<I,S> 是参数的关联类时,通过 参数依赖查找 找到。
内容 |
[编辑] 参数
x, y | - | 要交换的元素的迭代器 |
[编辑] 返回值
(无)
[编辑] 复杂度
常数。
[编辑] 异常
noexcept 规范:
noexcept(noexcept(ranges::iter_swap(std::declval<const I&>(), std::declval<const I2&>())))
[编辑] 示例
运行此代码
#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 | 应用于 | 已发布的行为 | 正确行为 |
---|---|---|---|
LWG 3574 | C++20 | variant 是完全 constexpr(P2231R1)但 common_iterator 不是 |
也已制作 constexpr |
[编辑] 另请参见
交换两个对象的的值 (函数模板) | |
交换两个元素范围 (函数模板) | |
交换两个迭代器所指向的元素 (函数模板) | |
(C++20) |
交换两个可解引用的对象的值 (自定义点对象) |
(C++20) |
交换两个底层迭代器所指向的对象 (函数模板) |