💡 sentinel_t — зачем ranges придумали конец диапазона как отдельный тип

В классических итераторах begin и end — один тип. В ranges конец диапазона может быть совершенно другим типом. Это ломает интуицию, но открывает возможности.


🔍 Проблема однотипных итераторов

std::string::iterator для begin и end — одно и то же. Чтобы проверить конец, нужно держать два объекта одного размера и сравнивать их. Для C-строк это расточительно: \0 в памяти уже есть, но стандартный end — это полноценный указатель.


⚡️ Sentinel как концепт

В ranges введён концепт sentinel_for<S, I>: тип S является sentinel для итератора I, если их можно сравнивать оператором ==, даже если S != I.

// Sentinel для null-terminated строки
struct null_sentinel {
    bool operator==(const char* p) const { return *p == '\0'; }
};

// Теперь можно:
auto r = subrange(ptr, null_sentinel{});

💡 unreachable_sentinel

Специальный std::unreachable_sentinel_t всегда возвращает false при сравнении — это сигнал компилятору, что конец никогда не достигается в данной ветке. Используется в take_view и counted_iterator, чтобы избежать лишних проверок в горячих циклах.

auto v = std::views::counted(ptr, n); 
// end() имеет тип unreachable_sentinel_t
// компилятор оптимизирует проверку конца

⚠️ Именно из-за разнотипных sentinel std::ranges::distance работает за O(n) для forward-итераторов — он вынужден идти до sentinel, не зная расстояния заранее.

Sentinel — это обобщение понятия «конец», а не просто переименование end().


📍Навигация: Вакансии • Задачи • Собесы

Библиотека C/C++ разработчика

#под_капотом