std::indirectly_movable_storable

来自cppreference.com
< cpp‎ | iterator
 
 
迭代器库
迭代器概念
迭代器原语
算法概念与工具
间接可调用概念
常用算法要求
indirectly_movable_storable
(C++20)
工具
迭代器适配器
流迭代器
迭代器定制点
迭代器操作
(C++11)
(C++11)
范围访问
(C++11)(C++14)
(C++11)(C++14)
(C++17)(C++20)
(C++14)(C++14)
(C++14)(C++14)
(C++17)
(C++17)
 
在标头 <iterator> 定义
template<class In, class Out>

concept indirectly_movable_storable =
    std::indirectly_movable<In, Out> &&
    std::indirectly_writable<Out, std::iter_value_t<In>> &&
    std::movable<std::iter_value_t<In>> &&
    std::constructible_from<std::iter_value_t<In>, std::iter_rvalue_reference_t<In>> &&

    std::assignable_from<std::iter_value_t<In>&, std::iter_rvalue_reference_t<In>>;
(C++20 起)

indirectly_movable_storable 概念指定 indirectly_readableindirectly_writable 类型间的关系。在 indirectly_movable 之外,此概念还指定从 indirectly_readable 类型的移动能通过中间对象进行。

语义要求

InOut 实现 std::indirectly_movable_storable<In, Out> ,仅若给定 In 类型的可解引用值 i

  • 在定义 std::iter_value_t<In> obj(ranges::iter_move(i)); 后, obj 等于 *i 先前代表的值,而
  • std::iter_rvalue_reference_t<In> 是右值引用类型,则 *iobj 的初始化后被置于合法但未指定的状态。

相等性保持

若表达式对给定的相等输入产生相等输出,则它保持相等性

  • 表达式的输入由其操作数组成。
  • 表达式的输出由其结果和表达式所修改的所有操作数(若存在)组成。

在标准概念的规范中,操作数定义为仅包含下列内容的最大子表达式:

每个操作数的 cv 限定与值类别,是通过假设每个模板类型形参代表一个 cv 无限定的非数组对象类型确定的。

进一步要求每个要求保持相等性的表达式都稳定:这种表达式带相同输入对象的二次求值必须拥有相等的输出,而无任何对这些输入对象的显式中间修改。

除非另外提醒,每个用于 requires 表达式中的表达式都要求保持相等性且稳定,而表达式的求值必须只修改其非常操作数。必须不修改常操作数。

参阅

指定可从 indirectly_readable 类型移动值给 indirectly_writable 类型
(概念)
指定可从 indirectly_readable 类型复制值给 indirectly_writable 类型,且该复制可以通过中间对象进行
(概念)