Namespaces
Variants

std:: unreachable_sentinel_t, std:: unreachable_sentinel

From cppreference.net
C++
Iterator library
Iterator concepts
Iterator primitives
Algorithm concepts and utilities
Indirect callable concepts
Common algorithm requirements
(C++20)
(C++20)
(C++20)
Utilities
(C++20)
Iterator adaptors
(C++14)
(C++11)
(C++11)
(C++20) (C++20)
unreachable_sentinel_t unreachable_sentinel
(C++20) (C++20)
Range access
(C++11) (C++14)
(C++14) (C++14)
(C++11) (C++14)
(C++14) (C++14)
(C++17) (C++20)
(C++17)
(C++17)
定义于头文件 <iterator>
struct unreachable_sentinel_t ;
(1) (C++20 起)
inline constexpr unreachable_sentinel_t unreachable_sentinel { } ;
(2) (C++20 起)
1) unreachable_sentinel_t 是一个空类类型，可用于表示无界区间的“上界”。
2) unreachable_sentinel 是一个类型为 unreachable_sentinel_t 的常量。

目录

非成员函数

operator==
(C++20)
比较 unreachable_sentinel_t 与任意 weakly_incrementable 类型的值
(函数模板)

operator== (std::unreachable_sentinel_t)

template < std:: weakly_incrementable I >

friend constexpr bool operator == ( unreachable_sentinel_t, const I & ) noexcept

{ return false ; }
(since C++20)

unreachable_sentinel_t 可与任何 weakly_incrementable 类型进行比较，且结果始终为 false 。

此函数模板对普通 非限定查找 或 限定查找 不可见，仅当 std::unreachable_sentinel_t 作为实参的关联类时，才能通过 实参依赖查找 找到。

示例

运行此代码 
#include <concepts>
#include <cstddef>
#include <iterator>
#include <ranges>
#include <utility>
namespace ranges = std::ranges;
// 从不检查 “iter != r.end()”
template<ranges::random_access_range R>
constexpr std::size_t trivial_strlen(R&& r)
{
    auto iter = r.begin();
    while (*iter != ranges::range_value_t<R>{})
        ++iter;
    return iter - r.begin();
}
template<ranges::random_access_range R>
constexpr std::size_t my_strlen(R&& r)
{
    if constexpr (std::same_as<ranges::sentinel_t<R>,
                               std::unreachable_sentinel_t>)
        return trivial_strlen(std::forward<R>(r));
    else
        return ranges::find(std::forward<R>(r), ranges::range_value_t<R>{}) -
               ranges::begin(r);
}
int main()
{
    constexpr static char str[] = "The quick brown fox jumps over a lazy dog.";
    static_assert(my_strlen(str) == 42);
    // 更快地找到字符串长度，但如果“str”不是以空字符结尾则会导致未定义行为
    constexpr auto unsafe_str = ranges::subrange{str, std::unreachable_sentinel};
    static_assert(my_strlen(unsafe_str) == 42);
}

参见

(C++20)
通过重复递增初始值生成的序列组成的 view
(类模板) (定制点对象)