forward_iterator 概念参考

检查类型是否为前向迭代器 更多...

#include <concepts.hpp>

概念定义

template<typename Iterator>
concept forward_iterator = both_ordered_with<Iterator, Iterator> && semiregular<Iterator> && input_iterator<Iterator> &&
                           requires(Iterator it1, Iterator it2) {
                               { it1 - it2 } -> convertible_to<typename iterator_traits<Iterator>::difference_type>;
                           }

详细描述

检查类型是否为前向迭代器

模板参数

Iterator

迭代器类型

在前向迭代器基础上增加：

1. 顺序比较
2. 半常规类型
3. 迭代器差值计算

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