std::experimental::ranges::Writable

定义在头文件 `<experimental/ranges/iterator>` 中
template< class Out, class T > concept bool Writable = requires(Out&& o, T&& t) { o = std::forward<T>(t); std::forward<Out>(o) = std::forward<T>(t); const_cast<const ranges::reference_t<Out>&&>(o) = std::forward<T>(t); const_cast<const ranges::reference_t<Out>&&>(std::forward<Out>(o)) = std::forward<T>(t); }; /* 以上四个表达式都不需要是保持相等的 */		(范围 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 是一个右值，它所指代的对象的结果状态是有效的，但未指定。

一个表达式如果在给定相等输入的情况下产生相等的输出，则称为保持相等的。

每个需要保持相等的表达式都需要进一步稳定：对同一个输入对象进行两次评估这样的表达式必须具有相等的输出，除非对这些输入对象进行显式干预修改。

operator* 的唯一有效使用是在赋值表达式的左侧。通过可写类型相同值的赋值只能发生一次。

带有右值 reference 类型的 Readable 对象通过使用 const_cast 的必要表达式阻止了意外地满足 Writable 的语法要求，同时允许代理引用只要其 constness 是浅的，就可以继续工作。请参阅范围 TS 问题 381。