input_iterator 概念参考

检查类型是否为输入迭代器 更多...

#include <concepts.hpp>

概念定义

template<typename Iterator>
concept input_iterator =
        both_equality_comparable<Iterator, Iterator> && iterator_typedef<Iterator> && requires(Iterator it) {
            { *it } -> convertible_to<typename iterator_traits<Iterator>::value_type>;
            { ++it } -> same_as<Iterator&>;
            { it++ } -> same_as<Iterator>;
        }

详细描述

检查类型是否为输入迭代器

模板参数

Iterator

迭代器类型

输入迭代器要求：

1. 可进行相等比较
2. 具有所有迭代器类型定义
3. 支持解引用、前缀/后缀递增

在文件 concepts.hpp 第 312 行定义.