Namespaces
Variants

    std::ranges::constant_range

    Von de.cppreference.net
     
    C++
     
    Ranges-Bibliothek
    Bereichsadaptoren
     
    Definiert in Header <ranges> 
    template< class T >
concept constant_range =
    ranges::input_range<T> &&
    /*constant-iterator*/<ranges::iterator_t<T>>;
    		(1) (seit C++23)
    Hilfskonzepte
    		 
    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) (nur zur Darstellung*)
    1) Das constant_range-Konzept ist eine Verfeinerung von range für das ranges::begin einen konstanten Iterator zurückgibt.
    2) Das Konzept /*constant-iterator*/<T> ist erfüllt, wenn das Ergebnis der Dereferenzierungsoperation des Eingabeiterators sein const-Referenztyp ist, was Schreibschutz impliziert.

    Beispiel

    Diesen Code ausführen 
    #include <ranges>
#include <span>
#include <string_view>
#include <vector>
// Mechanismen zur Sicherstellung, dass der Parameter ein konstanter Bereich ist
// 1) Ein Überladungssatz, bei dem die mutable Überladung an die konstante delegiert
template<std::ranges::constant_range R>
void takes_any_range1(R&& r)
{
    // R ist definitiv ein konstanter Bereich
}
template<std::ranges::range R>
void takes_any_range1(R&& r)
{
    takes_any_range1(std::views::as_const(std::forward<R>(r)));
}
// 2) Eine Funktionsvorlage, die ihren Parameter überschattet
template<std::ranges::range R>
void takes_any_range2(R&& _r)
{
    auto r = std::views::as_const(std::forward<R>(_r));
    // r ist definitiv ein konstanter Bereich
    // _r niemals wieder verwenden
}
// 3) Eine Funktionsvorlage, die sich selbst rekursiv aufruft
template<std::ranges::range R>
void takes_any_range3(R&& r)
{
    if constexpr (std::ranges::constant_range<R>)
    {
        // R ist definitiv ein konstanter Bereich
        // Implementierung hier einfügen
    }
    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() {}