std::output_iterator
来自 cppreference.com
在头文件 <iterator> 中定义 |
||
template< class I, class T > concept output_iterator = |
(自 C++20 起) | |
output_iterator
概念是 input_or_output_iterator
的细化,它添加了可以使用它来写入由 T
编码的类型和值类别(通过 indirectly_writable
)的要求。 equality_comparable
不是必需的。
内容 |
[编辑] 语义要求
设 E
为一个表达式,使得 decltype((E)) 为 T
,而 i
为一个可解引用类型的 I
对象。只有当所有它包含的概念都被建模时,才对 std::output_iterator<I, T> 进行建模,并且 *i++ = E; 的效果等同于 *i = E; ++i;。
[编辑] 保持等式
在标准库概念的 requires 表达式 中声明的表达式需要 保持等式(除非另有说明)。
[编辑] 注释
与 LegacyOutputIterator 要求不同,output_iterator
概念不要求定义迭代器类别标签。
对输出迭代器的算法应该是单遍的。
[编辑] 另请参阅
(C++20) |
指定一个类型的对象可以被增量和解引用 (概念) |