std::ranges::constant_range

Определён в заголовке <ranges>

Определён в заголовке `<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)	(только для иллюстрации*)

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>

// mechanisms for ensuring the parameter is a constant range
// 1) an overload set where the mutable one defers to the constant one
template<std::ranges::constant_range R>
void takes_any_range1(R&& r)
{
    // R is definitely a constant range
}

template<std::ranges::range R>
void takes_any_range1(R&& r)
{
    takes_any_range1(std::views::as_const(std::forward<R>(r)));
}

// 2) one function template that shadows its parameter
template<std::ranges::range R>
void takes_any_range2(R&& _r)
{
    auto r = std::views::as_const(std::forward<R>(_r));

    // r is definitely a constant range
    // never use _r again
}

// 3) one function template that recursively invokes itself
template<std::ranges::range R>
void takes_any_range3(R&& r)
{
    if constexpr (std::ranges::constant_range<R>)
    {
        // R is definitely a constant range
        // put implementation here
    }
    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() {}

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