std::unreachable_sentinel_t, std::unreachable_sentinel

Определено в заголовке `<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; }

(с C++20)

unreachable_sentinel_t можно сравнить с любым типом weakly_incrementable, и результат всегда false.

Этот шаблон функции не виден в обычном неквалифицированном или квалифицированном поиске, и его можно найти только с помощью поиска, зависящего от аргументов, когда std::unreachable_sentinel_t является ассоциированным классом аргументов.

Пример

#include <algorithm>
#include <cstddef>
#include <iostream>
#include <iterator>
 
template<class CharT>
constexpr std::size_t strlen(const CharT *s)
{
    return std::ranges::find(s, std::unreachable_sentinel, CharT{}) - s;
}
 
template<class CharT>
constexpr std::size_t pos(const CharT *haystack, const CharT *needle)
{
    // search(begin, unreachable_sentinel) is usually more efficient than
    // search(begin, end) due to one less comparison per cycle.
    // But "needle" MUST BE in the "haystack", otherwise the call is UB,
    // which is a compile-time error in constexpr context.
    return std::ranges::search(
               haystack, std::unreachable_sentinel,
               needle, needle + strlen(needle)
           ).begin() - haystack;
}
 
int main()
{
    static_assert(strlen("The quick brown fox jumps over the lazy dog.") == 44);
    static_assert(pos("const short int", "short") == 6);
//  static_assert(pos("long int", "float")); // compile-time error
}

См. также

ranges::iota_viewviews::iota

(C++20)

a view состоящий из последовательности, сгенерированной путем многократного инкрементирования начального значения
(шаблон класса) (объект точки кастомизации)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/w/cpp/iterator/unreachable_sentinel_t