命名空间
变体
操作

std::output_iterator

来自 cppreference.com
< cpp‎ | iterator
 
 
迭代器库
迭代器概念
(C++20)
输出迭代器
(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 I, class T >

    concept output_iterator =
        std::input_or_output_iterator<I> &&
        std::indirectly_writable<I, T> &&
        requires(I i, T&& t) {
            *i++ = std::forward<T>(t); /* 不需要是保持等式的 */

        };
(自 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 概念不要求定义迭代器类别标签。

对输出迭代器的算法应该是单遍的。

[编辑] 另请参阅

指定一个类型的对象可以被增量和解引用
(概念) [编辑]