random_access_iterator 概念参考

检查类型是否为随机访问迭代器 更多...

#include <concepts.hpp>

概念定义

template<typename Iterator>
concept random_access_iterator =
        bidirectional_iterator<Iterator> &&
        requires(Iterator it1, Iterator it2, typename iterator_traits<Iterator>::difference_type n) {
            { it1 + n } -> convertible_to<Iterator>;
            { n + it1 } -> convertible_to<Iterator>;
            { it1 - n } -> convertible_to<Iterator>;
            { it1 += n } -> convertible_to<Iterator>;
            { it1 -= n } -> convertible_to<Iterator>;
            { it2 - it1 } -> convertible_to<typename iterator_traits<Iterator>::difference_type>;
            { it1[n] } -> convertible_to<typename iterator_traits<Iterator>::value_type>;
        }

详细描述

检查类型是否为随机访问迭代器

模板参数

Iterator

迭代器类型

在双向迭代器基础上增加随机访问操作支持。

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