std::ranges::constant_range
De cppreference.com
| Definido en el archivo de encabezado <ranges>
|
||
| template< class T > concept constant_range = |
(1) | (desde C++23) |
| Helper concepts |
||
template< class T > concept /*constant-iterator*/ = |
(2) | (solo de exposición*) |
1) El concepto
constant_range es un refinamiento de range para el que ranges::begin devuelve un iterador constante.2) El concepto /*constant-iterator*/<T> se satisface cuando el resultado de la operación de indirección del iterador de entrada es su tipo referencia constante, lo que implica solo lectura.
[editar] ejemplo
Ejecuta este código
#include <ranges> #include <span> #include <string_view> #include <vector> // mecanismos para garantizar que el parámetro sea un rango constante // 1) un conjunto de sobrecargas donde el mutable difiere (aplaza) al constante template<std::ranges::constant_range R> void takes_any_range1(R&& r) { // definitivamente R es un rango constante } template<std::ranges::range R> void takes_any_range1(R&& r) { takes_any_range1(std::views::as_const(std::forward<R>(r))); } // 2) una plantilla de función que sombrea su parámetro template<std::ranges::range R> void takes_any_range2(R&& _r) { auto r = std::views::as_const(std::forward<R>(_r)); // definitivamente r es un rango constante // nunca usar _r de nuevo } // 3) una plantilla de función que se invoca a sí misma recursivamente template<std::ranges::range R> void takes_any_range3(R&& r) { if constexpr (std::ranges::constant_range<R>) { // definitivamente R es un rango constante // poner aquí la implementación } 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() {}
