命名空间
变体
操作

std::indirectly_writable

来自 cppreference.com
< cpp‎ | iterator
 
 
迭代器库
迭代器概念
indirectly_writable
(C++20)
迭代器原语
算法概念和实用程序
间接可调用概念
常见算法要求
(C++20)
(C++20)
(C++20)
实用程序
(C++20)
迭代器适配器
范围访问
(C++11)(C++14)
(C++14)(C++14)  
(C++11)(C++14)
(C++14)(C++14)  
(C++17)(C++20)
(C++17)
(C++17)
 
定义在头文件 <iterator>
template< class Out, class T >

    concept indirectly_writable =
        requires(Out&& o, T&& t) {
            *o = std::forward<T>(t);
            *std::forward<Out>(o) = std::forward<T>(t);
            const_cast<const std::iter_reference_t<Out>&&>(*o) = std::forward<T>(t);
            const_cast<const std::iter_reference_t<Out>&&>(*std::forward<Out>(o)) =
                std::forward<T>(t);
        };

        /* 以上四个表达式都不需要是等值保留的 */
(自 C++20 起)

概念 indirectly_writable<Out, T> 指定了将类型和值类别由 T 编码的值写入迭代器 Out 的引用对象的 要求。

[编辑] 语义要求

e 为一个表达式,使得 decltype((e))T,而 oOut 类型的可解引用对象,则 indirectly_writable<Out, T> 仅在以下情况下建模:

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

[编辑] 等值保留

在标准库概念的 requires 表达式 中声明的表达式必须是 等值保留的(除非另有说明)。

[编辑] 注释

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

使用 const_cast 的必要表达式可以防止具有右值 reference 类型的 indirectly_readable 对象意外地满足 indirectly_writable 的语法要求,同时允许代理引用继续工作,只要它们的 constness 是浅层的即可。请参见 范围 TS 问题 381