std::experimental::ranges::Writable
| template< class Out, class T > concept bool Writable = |
(ranges TS) | |
概念 Writable<Out, T> 指定了将类型和值类别由 T 编码的值写入迭代器 Out 的引用对象的要求。
设 E 为一个表达式，使得 decltype((E)) 为 T，且 o 为 Out 类型的可解引用对象，则仅当 Writable<Out, T> 满足以下条件时：
- 如果 Readable<Out> && Same<ranges::value_type_t<Out>, std::decay_t<T>> 满足，则任何上述赋值后 *o 等于赋值前
E的值。
在评估任何上述赋值表达式后，不要求 o 可解引用。如果 E 是一个 xvalue，它所表示的对象的最终状态是有效的但未指定。
[编辑] 相等性保持
如果一个表达式在给定相等输入时产生相等输出，则称其为保持相等性。
- 表达式的输入由其操作数组成。
- 表达式的输出由其结果以及被表达式修改的所有操作数（如果有的话）组成。
所有要求保持相等性的表达式还必须是稳定的：在没有显式介入修改输入对象的情况下，对具有相同输入对象的表达式的两次求值必须产生相等的输出。
[编辑] 注意
operator* 的唯一有效用法是在赋值表达式的左侧。通过同一可写类型值进行的赋值只能发生一次。
带有 const_cast 的必需表达式可以防止具有 prvalue reference 类型的 Readable 对象偶然满足 Writable 的语法要求，同时允许代理引用在它们的 constness 较浅时继续工作。参见 Ranges TS issue 381。
