💡 sentinel_t — зачем ranges придумали конец диапазона как отдельный…
💡 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().
В классических итераторах 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().