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> 指定了將型別和值類別由 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。