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); }; /* 以上四个表达式都不要求是等式保持的 */		(ranges TS)

概念 Writable<Out, T> 规定了将一个值写入迭代器 Out 引用的对象的要求，该值的类型和值类别由 T 编码。

设 E 是一个表达式，使得 decltype((E)) 为 T，且 o 是类型为 Out 的可解引用对象，则仅当以下条件满足时，Writable<Out, T> 才成立

如果 Readable<Out> && Same<ranges::value_type_t<Out>, std::decay_t<T>> 成立，则在任何上述赋值之后，*o 等于赋值前 E 的值。

o 在评估上述任何赋值表达式之后，不要求 o 仍然是可解引用的。如果 E 是一个 xvalue，则它所表示的对象的最终状态是有效的，但未指定的。

如果一个表达式在给定相等输入时产生相等输出，则该表达式是等式保持的。

每个要求等式保持的表达式还必须是稳定的：在没有对输入对象进行任何显式干预修改的情况下，使用相同输入对象对该表达式进行两次求值必须具有相等的输出。

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

带有 const_cast 的必需表达式可防止具有 prvalue 引用类型的 Readable 对象意外地满足 Writable 的语法要求，同时允许代理引用继续工作，只要它们的常量性是浅层的。请参阅 Ranges TS issue 381。

技术规范
文件系统库 (filesystem TS)
库基础 (library fundamentals TS)
库基础 2 (library fundamentals TS v2)
库基础 3 (library fundamentals TS v3)
并行性扩展 (parallelism TS)
并行性扩展 2 (parallelism TS v2)
并发性扩展 (concurrency TS)
并发性扩展 2 (concurrency TS v2)
概念 (concepts TS)
范围 (ranges TS)
反射 (reflection TS)
数学特殊函数 (special functions TR)
实验性非 TS
模式匹配
线性代数
std::execution
契约
2D 图形