◐ Shell
clean mode source ↗

std::ranges::iter_move - cppreference.com

来自cppreference.com

在标头 <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)

示例

参阅