std::ranges::constant_range
От ru.cppreference.net
| Определён в заголовке <ranges>
|
||
template< class T >
concept constant_range =
ranges::input_range<T> &&
/*constant-iterator*/<ranges::iterator_t<T>>;
|
(1) | (начиная с C++23) |
| Вспомогательные концепции |
||
template< class T >
concept /*constant-iterator*/ =
std::input_iterator<T> &&
std::same_as<std::iter_const_reference_t<T>, std::iter_reference_t<T>>;
|
(2) | (только для пояснения*) |
1) Концепция
constant_range является уточнением range для которой ranges::begin возвращает константный итератор.2) Концепция
/*constant-iterator*/<T> выполняется, когда результатом операции разыменования входного итератора является его константный ссылочный тип, что подразумевает только чтение.Пример
Запустить этот код
#include <ranges> #include <span> #include <string_view> #include <vector> // механизмы обеспечения того, что параметр является константным диапазоном // 1) набор перегруженных функций, где изменяемая версия делегирует константной template<std::ranges::constant_range R> void takes_any_range1(R&& r) { // R точно является константным диапазоном } template<std::ranges::range R> void takes_any_range1(R&& r) { takes_any_range1(std::views::as_const(std::forward<R>(r))); } // 2) один шаблон функции, который скрывает свой параметр template<std::ranges::range R> void takes_any_range2(R&& _r) { auto r = std::views::as_const(std::forward<R>(_r)); // r точно является константным диапазоном // никогда больше не используйте _r } // 3) один шаблон функции, который рекурсивно вызывает сам себя template<std::ranges::range R> void takes_any_range3(R&& r) { if constexpr (std::ranges::constant_range<R>) { // R точно является константным диапазоном // разместите реализацию здесь } else takes_any_range3(std::views::as_const(std::forward<R>(r))); } static_assert ( std::ranges::constant_range<const std::vector<int>> and not std::ranges::constant_range<std::vector<int>> and std::ranges::constant_range<std::string_view> and not std::ranges::constant_range<std::span<int>> and std::ranges::constant_range<std::span<const int>> and not std::ranges::constant_range<const std::span<int>> ); int main() {}