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 函数对象。为阐述目的,以 __iter_move_fn 表示它的类型的 cv 无限定版本。

__iter_move_fn 的所有实例均相等。在相同实参上调用 __iter_move_fn 类型的不同实例的效果是等价的,这与指代该实例的表达式是左值还是右值,以及是否为 const 限定无关(然而不要求 volatile 限定的实例是可调用的)。由此,可以自由地复制 ranges::iter_move 并且能彼此替代地使用它的副本。

给定类型集合 Args...,如果 std::declval<Args>()... 满足上面对于 ranges::iter_move 的实参的要求,那么 __iter_move_fn 就实现

否则,__iter_move_fn 的函数调用运算符不会参与重载决议。

示例

参阅

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