std::ranges::iter_move
来自cppreference.com
在标头 <iterator> 定义
|
||
inline namespace /* 未指定 */ { inline constexpr /* 未指定 */ iter_move = /* 未指定 */; |
(C++20 起) (定制点对象) |
|
调用签名 |
||
template< class T > requires /* 见下文 */ |
(C++20 起) | |
从给定的迭代器获得右值引用或纯右值临时对象。
ranges::iter_move(t) 表达式等价于:
- iter_move(t),如果 t 具有类或枚举类型且该表达式作为不求值操作数良构,其中只会以实参依赖查找所找到的候选进行
iter_move
的重载决议。 - 否则,如果 *t 良构且它是左值,则为 std::move(*t)。
- 否则,如果 *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
就实现
- std::invocable<__iter_move_fn, Args...>、
- std::invocable<const __iter_move_fn, Args...>、
- std::invocable<__iter_move_fn&, Args...> 和
- std::invocable<const __iter_move_fn&, Args...>。
否则,__iter_move_fn
的函数调用运算符不会参与重载决议。
示例
本节未完成 原因:暂无示例 |
参阅
(C++20) |
将解引用调整后的底层迭代器的结果转换为其关联的右值引用类型 (函数) |
(C++20) |
将解引用底层迭代器的结果转换为其关联的右值引用类型 (函数) |