std::ranges::iter_move

来自cppreference.com
< cpp‎ | iterator
 
 
迭代器库
迭代器概念
迭代器原语
算法概念与工具
间接可调用概念
常用算法要求
(C++20)
(C++20)
(C++20)
工具
(C++20)
迭代器适配器
迭代器定制点
ranges::iter_move
(C++20)
范围访问
(C++11)(C++14)
(C++14)(C++14)  
(C++11)(C++14)
(C++14)(C++14)  
(C++17)(C++20)
(C++17)
(C++17)
 
在标头 <iterator> 定义
inline namespace /* 未指定 */ {

    inline constexpr /* 未指定 */ iter_move = /* 未指定 */;

}
(C++20 起)
(定制点对象)
调用签名
template< class T >

    requires /* 见下文 */

constexpr decltype(auto) iter_move( T&& t ) noexcept(/* 见下文 */);
(C++20 起)

从给定的迭代器获得右值引用或纯右值临时对象。

ranges::iter_move(t) 表达式等价于:

  1. iter_move(t),如果 t 具有类或枚举类型且该表达式作为不求值操作数良构,其中只会以实参依赖查找所找到的候选进行 iter_move重载决议
  2. 否则,如果 *t 良构且它是左值,则为 std::move(*t)
  3. 否则,如果 *t 良构且它是右值,则为 *t

所有其他情况下,对 ranges::iter_move 的调用非良构,这能在 ranges::iter_move(e) 出现于模板实例化的立即语境时导致替换失败

如果 ranges::iter_move(e) 不等于 *e,那么程序非良构,不要求诊断。

定制点对象

名字 ranges::iter_move 代表一个定制点对象,它是某个字面 semiregular 类类型的 const 函数对象。 细节参见定制点对象 (CustomizationPointObject)

[编辑] 示例

[编辑] 参阅

(C++20)
将解引用调整后的底层迭代器的结果转换为其关联的右值引用类型
(函数) [编辑]
(C++20)
将解引用底层迭代器的结果转换为其关联的右值引用类型
(函数) [编辑]