iter_move(std::common_iterator)

 

C++

编译器支持

自由（freestanding）与宿主（hosted）

语言

标准库

标准库头文件

具名要求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

诊断库

内存管理库

元编程库 (C++11)

通用工具库

容器库

迭代器库

范围库 (C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库 (C++17)

并发支持库 (C++11)

执行控制库 (C++26)

技术规范

符号索引

外部库

 

迭代器库

迭代器概念
indirectly_readable（间接可读） (C++20) indirectly_writable（间接可写） (C++20) weakly_incrementable（弱可递增） (C++20) incrementable（可递增） (C++20) is-integer-like（整数类型） is-signed-integer-like（有符号整数类型） (C++20)(C++20)	sentinel_for（哨兵） (C++20) sized_sentinel_for（有大小的哨兵） (C++20) input_iterator（输入迭代器） (C++20) output_iterator（输出迭代器） (C++20) input_or_output_iterator（输入或输出迭代器） (C++20)	forward_iterator（前向迭代器） (C++20) bidirectional_iterator（双向迭代器） (C++20) random_access_iterator（随机访问迭代器） (C++20) contiguous_iterator（连续迭代器） (C++20)
迭代器原语
input_iterator_tag（输入迭代器标签）output_iterator_tag（输出迭代器标签）forward_iterator_tag（前向迭代器标签）bidirectional_iterator_tag（双向迭代器标签）random_access_iterator_tag（随机访问迭代器标签）contiguous_iterator_tag（连续迭代器标签） (C++20)	iter_value_t（迭代器值类型）iter_difference_t（迭代器差值类型）iter_reference_t（迭代器引用类型）iter_const_reference_t（迭代器常量引用类型）iter_rvalue_reference_t（迭代器右值引用类型）iter_common_reference_t（迭代器通用引用类型） (C++20)(C++20)(C++20)(C++23)(C++20)(C++20)	iterator（迭代器） (C++17 中已弃用) iterator_traits（迭代器特性） incrementable_traits（可递增特性） (C++20) indirectly_readable_traits（间接可读特性） (C++20)
算法概念与工具
间接可调用概念
indirectly_unary_invocable（间接一元可调用）indirectly_regular_unary_invocable（间接常规一元可调用） (C++20)(C++20)	indirect_unary_predicate（间接一元谓词） (C++20) indirect_binary_predicate（间接二元谓词） (C++20)	indirect_equivalence_relation（间接等价关系） (C++20) indirect_strict_weak_order（间接严格弱序） (C++20)
常用算法要求
indirectly_movable（间接可移动） (C++20) indirectly_movable_storable（间接可移动可存储） (C++20) indirectly_copyable（间接可拷贝） (C++20)	indirectly_copyable_storable（间接可拷贝可存储） (C++20)   indirectly_swappable（间接可交换） (C++20) indirectly_comparable（间接可比较） (C++20)	permutable（可置换） (C++20) mergeable（可合并） (C++20) sortable（可排序） (C++20)
工具
indirect_result_t（间接结果类型） (C++20)	projected（投影） (C++20)	projected_value_t（投影值类型） (C++26)
迭代器适配器
reverse_iterator（反向迭代器） make_reverse_iterator（创建反向迭代器） (C++14) move_iterator（移动迭代器） (C++11) make_move_iterator（创建移动迭代器） (C++11) default_sentinel_t（默认哨兵类型）default_sentinel（默认哨兵） (C++20)(C++20) unreachable_sentinel_t（不可达哨兵类型）unreachable_sentinel（不可达哨兵） (C++20)(C++20)	front_insert_iterator（前插迭代器） back_insert_iterator（后插迭代器） inserter（插入器） insert_iterator（插入迭代器） front_inserter（前插器） back_inserter（后插器） move_sentinel（移动哨兵） (C++20)	common_iterator（通用迭代器） (C++20) counted_iterator（计数迭代器） (C++20) basic_const_iterator（基本常量迭代器） (C++23) const_iterator（常量迭代器） (C++23) const_sentinel（常量哨兵） (C++23) make_const_iterator（创建常量迭代器） (C++23) make_const_sentinel（创建常量哨兵） (C++23)
流迭代器 istream_iterator（输入流迭代器）    ostream_iterator（输出流迭代器） istreambuf_iterator（输入流缓冲区迭代器） ostreambuf_iterator（输出流缓冲区迭代器）	迭代器定制点 ranges::iter_move（范围::迭代器移动） (C++20) ranges::iter_swap（范围::迭代器交换） (C++20)
迭代器操作 advance（前进） distance（距离） prev（前一个） (C++11)   next（后一个） (C++11) ranges::advance（范围::前进） (C++20) ranges::distance（范围::距离） (C++20) ranges::prev（范围::前一个） (C++20) ranges::next（范围::后一个） (C++20)	范围访问 begin（起始）cbegin（常量起始） (C++11)(C++14) rbegin（反向起始）crbegin（常量反向起始） (C++14)(C++14)   end（结束）cend（常量结束） (C++11)(C++14) rend（反向结束）crend（常量反向结束） (C++14)(C++14)   size（大小）ssize（有符号大小） (C++17)(C++20) empty（空） (C++17) data（数据） (C++17)

 

std::common_iterator

成员函数

common_iterator::common_iterator（通用迭代器::通用迭代器）

common_iterator::operator=（通用迭代器::赋值运算符）

common_iterator::operator*（通用迭代器::解引用运算符）common_iterator::operator->（通用迭代器::成员访问运算符）

common_iterator::operator++（通用迭代器::前缀递增运算符）common_iterator::operator++(int)（通用迭代器::后缀递增运算符）

非成员函数

operator==（相等运算符） (C++20)

operator-（减法运算符） (C++20)

iter_move（迭代器移动） (C++20)

iter_swap（迭代器交换） (C++20)

辅助类

incrementable_traits<std::common_iterator>（可递增特性<std::common_iterator>） (C++20)

iterator_traits<std::common_iterator>（迭代器特性<std::common_iterator>） (C++20)

 

friend constexpr decltype(auto) iter_move( const std::common_iterator& i )     noexcept(noexcept(ranges::iter_move(std::declval<const I&>()))         requires std::input_iterator<I>;		(C++20 起)

将底层迭代器解引用的结果转换为其关联的右值引用类型。

函数体等价于：return std::ranges::iter_move(std::get<I>(i.var));。

此函数对普通的非限定查找或限定查找不可见，只有当std::common_iterator<I, S>是参数的关联类时，才能通过实参依赖查找找到它。

如果i.var不持有I对象（即迭代器），则行为未定义。

参数

i

-

源迭代器适配器

返回值

一个右值引用或一个纯右值临时量。

复杂度

常数时间。

示例

运行此代码

#include <iomanip>
#include <iostream>
#include <iterator>
#include <string>
#include <vector>
 
void print(auto const& rem, auto const& v)
{
    std::cout << rem << '[' << size(v) << "] { ";
    for (int o{}; auto const& s : v)
        std::cout << (o++ ? ", " : "") << std::quoted(s);
    std::cout << " }\n";
}
 
int main()
{
    std::vector<std::string> p{"Andromeda", "Cassiopeia", "Phoenix"}, q;
    print("p", p);
    print("q", q);
 
    using CTI = std::counted_iterator<std::vector<std::string>::iterator>;
    using CI = std::common_iterator<CTI, std::default_sentinel_t>;
    CI last{std::default_sentinel};
 
    for (CI first{{p.begin(), 2}}; first != last; ++first)
        q.emplace_back(/* ADL */ iter_move(first));
 
    print("p", p);
    print("q", q);
}

可能的输出

p[3] { "Andromeda", "Cassiopeia", "Phoenix" }
q[0] {  }
p[3] { "", "", "Phoenix" }
q[2] { "Andromeda", "Cassiopeia" }

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

缺陷报告	应用于	发布时的行为	正确的行为
LWG 3953	C++20	返回类型曾是std::iter_rvalue_reference_t<I>	更改为decltype(auto)

参阅

iter_move（迭代器移动） (C++20)	将解引用对象的結果转换为其关联的右值引用类型 (定制点对象)
iter_move（迭代器移动） (C++20)	将底层迭代器解引用的结果转换为其关联的右值引用类型 (函数)
move（移动） (C++11)	将参数转换为亡值 (函数模板)
move_if_noexcept（如果无异常则移动） (C++11)	如果移动构造函数不抛出异常，则将参数转换为亡值 (函数模板)
forward（转发） (C++11)	转发函数参数并使用类型模板参数来保留其值类别 (函数模板)
ranges::move（范围::移动） (C++20)	将一个范围的元素移动到一个新位置 (算法函数对象)
ranges::move_backward（范围::向后移动） (C++20)	以逆序将一个范围的元素移动到一个新位置 (算法函数对象)