命名空间
变体
操作

std::output_iterator

来自 cppreference.cn
 
 
迭代器库
迭代器概念
output_iterator
(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++ = E; 的效果等同于 *i = E; ++i;

[编辑] 相等性保持

标准库概念的 requires 表达式 中声明的表达式需要 保持相等性(除非另有说明)。

[编辑] 注意

LegacyOutputIterator 要求不同,output_iterator 概念不要求定义迭代器类别标签。

输出迭代器上的算法应该是单趟的。

[编辑] 参阅

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