iter_move(std::common_iterator)

 

C++

编译器支持

独立和宿主式

语言

标准库

标准库头文件

具名要求

特性测试宏 (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_tagoutput_iterator_tagforward_iterator_tagbidirectional_iterator_tagrandom_access_iterator_tagcontiguous_iterator_tag (C++20)	iter_value_titer_difference_titer_reference_titer_const_reference_titer_rvalue_reference_titer_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_invocableindirectly_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_tdefault_sentinel (C++20)(C++20) unreachable_sentinel_tunreachable_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)	范围访问 begincbegin (C++11)(C++14) rbegincrbegin (C++14)(C++14)   endcend (C++11)(C++14) rendcrend (C++14)(C++14)   sizessize (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> (C++20)

iterator_traits<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>;		(since 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++ 标准。

DR	应用于	已发布行为	正确行为
LWG 3953	C++20	返回类型为 std::iter_rvalue_reference_t<I>	更改为 decltype(auto)

参见

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