sized_sentinel_for 概念参考

检查哨兵是否支持大小计算 更多...

#include <concepts.hpp>

概念定义

template<typename Sentinel, typename Iterator>
concept sized_sentinel_for =
        input_iterator<Iterator> && sentinel_for<Sentinel, Iterator> && requires(const Iterator& i, const Sentinel& s) {
            { s - i } -> same_as<iter_difference_t<Iterator>>;
        } && requires(const Iterator& i, const Sentinel& s) {
            { i + (s - i) } -> same_as<Iterator>;
        }

详细描述

检查哨兵是否支持大小计算

模板参数

Sentinel	哨兵类型
Iterator	迭代器类型

支持通过哨兵计算迭代器距离的大小感知哨兵。

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