std::ranges::views::cache_latest, std::ranges::cache_latest_view
С ru.cppreference.net
| Определён в заголовке <ranges>
|
||
template< ranges::input_range V >
requires ranges::view<V>
class cache_latest_view
: public ranges::view_interface<cache_latest_view<V>>
|
(1) | (начиная с C++26) |
namespace views {
inline constexpr /* unspecified */ cache_latest = /* unspecified */;
}
|
(2) | (начиная с C++26) |
| Сигнатура вызова |
||
template< ranges::viewable_range R >
requires /* see below */
constexpr ranges::view auto cache_latest( R&& r );
|
(начиная с C++26) | |
1) Адаптер диапазона, который кэширует последний полученный элемент своего базового view, чтобы этот элемент не приходилось пересчитывать при повторном доступе.
2) RangeAdaptorObject. Выражение
views::cache_latest(e) является expression-equivalent выражению cache_latest_view(e) для любого подходящего подвыражения e.cache_latest_view является input_range-только и никогда не моделирует borrowed_range или common_range.
Вложенные типы
| Тип | Определение |
CacheT
(private)
|
std::
conditional_t
<
std::
is_reference_v
<
ranges::
range_reference_t
<
V
>>
,
std:: add_pointer_t < ranges:: range_reference_t < V >> , ranges:: range_reference_t < V >> ( тип-член только для демонстрации* ) |
Члены данных
| Участник | Описание |
V
base_
(private)
|
базовое представление
( объект-член только для демонстрации* ) |
non-propagating-cache
<
CacheT
>
cache_
(private)
|
объект, кэширующий результат последнего разыменования текущего итератора
( объект-член только для демонстрации* ) |
Функции-члены
создаёт
cache_latest_view
(публичная функция-член) |
|
|
возвращает копию базового (адаптированного) представления
(публичная функция-член) |
|
|
возвращает итератор на начало
(публичная функция-член) |
|
|
возвращает итератор или страж на конец
(публичная функция-член) |
|
возвращает количество элементов. Предоставляется только если базовый (адаптированный) диапазон удовлетворяет
sized_range
.
(публичная функция-член) |
|
Унаследовано от ranges::view_interface | |
| возвращает, пусто ли производное представление, только если оно удовлетворяет sized_range или forward_range (открытая функция-член std::ranges::view_interface<D>)
| |
(C++23) |
возвращает константный итератор на начало диапазона (открытая функция-член std::ranges::view_interface<D>)
|
(C++23) |
возвращает дозорный для константного итератора диапазона (открытая функция-член std::ranges::view_interface<D>)
|
| возвращает, не пусто ли производное представление, только если ranges::empty применим к нему (открытая функция-член std::ranges::view_interface<D>)
| |
| получает адрес данных производного представления, только если тип его итератора удовлетворяет contiguous_iterator (открытая функция-член std::ranges::view_interface<D>)
| |
| возвращает первый элемент в производном представлении, если оно удовлетворяет forward_range (открытая функция-член std::ranges::view_interface<D>)
| |
| возвращает последний элемент в производном представлении, только если оно удовлетворяет bidirectional_range и common_range (открытая функция-член std::ranges::view_interface<D>)
| |
возвращает n-й элемент в производном представлении, только если оно удовлетворяет random_access_range (открытая функция-член std::ranges::view_interface<D>)
| |
std::ranges::cache_latest_view:: cache_latest_view
|
cache_latest_view
(
)
requires
std::
default_initializable
<
V
>
=
default
;
|
(1) | (since C++26) |
|
constexpr
explicit
cache_latest_view
(
V base
)
;
|
(2) | (since C++26) |
1)
Инициализирует значение
base_
через его инициализатор члена по умолчанию (
=
V
(
)
).
2)
Инициализирует
base_
с помощью
std
::
move
(
base
)
.
Параметры
| base | - | представление |
std::ranges::cache_latest_view:: base
|
constexpr
V base
(
)
const
&
requires
std::
copy_constructible
<
V
>
;
|
(1) | (since C++26) |
|
constexpr
V base
(
)
&&
;
|
(2) | (since C++26) |
1)
Копирует результат из базового представления. Эквивалентно
return
base_
;
.
2)
Перемещает результат из базового представления. Эквивалентно
return
std
::
move
(
base_
)
;
.
std::ranges::cache_latest_view:: begin
|
constexpr
auto
begin
(
)
;
|
(начиная с C++26) | |
Эквивалентно return /*iterator*/ ( * this ) ; .
std::ranges::cache_latest_view:: end
|
constexpr
auto
end
(
)
;
|
(начиная с C++26) | |
Эквивалентно return /*sentinel*/ ( * this ) ; .
std::ranges::cache_latest_view:: size
|
constexpr
auto
size
(
)
requires
ranges::
sized_range
<
V
>
;
|
(1) | (начиная с C++26) |
|
constexpr
auto
size
(
)
const
requires
ranges::
sized_range
<
const
V
>
;
|
(2) | (начиная с C++26) |
1,2)
Эквивалентно
return
ranges::
size
(
base_
)
;
Руководства по выводу типа
|
template
<
class
R
>
cache_latest_view ( R && ) - > cache_latest_view < views:: all_t < R >> ; |
(начиная с C++26) | |
Вложенные классы
|
тип итератора
( демонстрационный шаблон класса-члена* ) |
|
|
тип сторожа
( демонстрационный шаблон класса-члена* ) |
Примечания
cache_latest_view
полезен, если вычисление элемента для создания является затратным.
| Макрос тестирования возможностей | Значение | Стандарт | Возможность |
|---|---|---|---|
__cpp_lib_ranges_cache_latest
|
202411L
|
(C++26) |
std::ranges::cache_latest_view
|
Пример
Запустить этот код
#include <algorithm> #include <print> #include <ranges> int main() { const auto v = {1, 2, 3, 4, 5}; auto square = [](int i) { std::print("transform: {} ", i); return i * i; }; auto is_even = [](int i) { std::print("filter: {} ", i); return i % 2 == 0; }; auto print = [](auto v) { std::ranges::for_each(v, [](int i){ std::println("Got: {}", i); }); std::println(); }; std::println("Без кэширования последнего значения (обратите внимание на пересчеты):"); auto even_squares = v | std::views::transform(square) | std::views::filter(is_even); print(even_squares); std::println("С кэшированием последнего значения:"); auto fast_even_squares = v | std::views::transform(square) | std::views::cache_latest | std::views::filter(is_even); print(fast_even_squares); }
Вывод:
Без кэширования последнего значения (обратите внимание на пересчеты): transform: 1 filter: 1 transform: 2 filter: 4 transform: 2 Got: 4 transform: 3 filter: 9 transform: 4 filter: 16 transform: 4 Got: 16 transform: 5 filter: 25 С кэшированием последнего значения: transform: 1 filter: 1 transform: 2 filter: 4 Got: 4 transform: 3 filter: 9 transform: 4 filter: 16 Got: 16 transform: 5 filter: 25