std::ranges::constant_range
ja.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) | (説明専用*) |
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() {}