Namespaces
Variants

std::ranges:: constant_range

From cppreference.net
C++
Ranges library
Range adaptors
定義ヘッダ <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 > は、入力イテレータの間接参照操作の結果がそのconst参照型である場合に満たされ、これは読み取り専用を意味します。

例

このコードを実行 
#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() {}