std::indirectly_writable
| 在标头 <iterator> 定义
|
||
| template< class Out, class T > concept indirectly_writable = |
(C++20 起) | |
概念 indirectly_writable<Out, T> 指定对于“将 T 编码其类型和值类别的值写入到迭代器 Out 所引用对象”的要求。
[编辑] 语义要求
令 e 为满足 decltype((e)) 为 T 的表达式，而 o 为 Out 类型的可解引用对象，则 indirectly_writable<Out, T> 仅若符合下列条件才被实现：
- 若 std::indirectly_readable<Out> 得到实现且 std::iter_value_t<Out> 与 std::decay_t<T> 为同一类型，则在任何上述赋值后 *o 等于
e在赋值前的值。
不要求 o 在求值任何上述赋值表达式后可解引用。若 e 为亡值，则其代表的对象的结果状态合法但未指定。
[编辑] 相等性保持
标准库概念的 requires 表达式中声明的表达式都要求保持相等性（除非另外说明）。
[编辑] 注解
operator* 仅有的合法用法是在赋值表达式左侧。通过间接可写类型的相同值进行的赋值只可以发生一次。
带 const_cast 的要求表达式防止了具有纯右值 reference 类型的 indirectly_readable 对象意外满足 indirectly_writable 的语法要求，同时容许代理引用继续工作，只要其常性是浅的。见范围 TS 问题 381。
struct Object { Object& operator=(const Object& other) = default; int x; }; struct ProxyReference { ProxyReference& operator=(const ProxyReference& other) = default; const ProxyReference& operator=(const Object& o) const { *p = o; return *this; } Object* p; }; struct I1 { Object& operator*(); }; struct I2 { Object operator*(); }; struct I3 { ProxyReference operator*(); }; static_assert(std::indirectly_writable<I1, Object>); static_assert(!std::indirectly_writable<I2, Object>); static_assert(std::indirectly_writable<I3, Object>); static_assert(!std::indirectly_writable<I3, ProxyReference>); void f(I1 i1, I2 i2, I3 i3, Object o) { *i1 = o; // OK，向 *i1 引用的值赋值 *i2 = o; // OK，但无意义：这句向 *i2 返回的临时对象赋值 *i3 = o; // OK，调用 ProxyReference::operator=(const Object& o) const // 它进行 *ptr = o，其中 ptr 为 (*i3).p }
