💡 sentinel_t — зачем ranges придумали конец диапазона как отдельный тип В классических итераторах begin и end — один тип. В ranges конец диапазона может быть совершенно другим типом. Это ломает интуицию, но открывает возможности. 🔍 Проблема однотипных итераторов std::string::iterator для begin и end — одно и то же. Чтобы проверить конец, нужно держать два объекта одного размера и сравнивать их. Для C-строк это расточительно: &#092;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 == '&#092;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++ разработчика #под_капотом