概念定义

template<typename Sentinel, typename Iterator>
concept sentinel_for =
        input_iterator<Iterator> && semiregular<Sentinel> && requires(const Iterator& i, const Sentinel& s) {
            { i == s } -> convertible_to<bool>;
            { i != s } -> convertible_to<bool>;
        }

详细描述

检查类型是否为迭代器的哨兵

模板参数

Sentinel	哨兵类型
Iterator	迭代器类型

哨兵用于标记迭代器范围的结束位置。

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