std::ranges::views::cache_latest, std::ranges::cache_latest_view

来自cppreference.com
 
C++
 
范围库
范围适配器
 
std::ranges::cache_latest_view
 
<tbody> </tbody>
在标头 <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 /* 未指明 */ cache_latest = /* 未指明 */; }
 (2) (C++26 起)
调用签名
template< ranges::viewable_range R > requires /* 见下文 */ constexpr ranges::view auto cache_latest( R&& r );
 (C++26 起)
1) 一种范围适配器，缓存其最近一次访问的底层 view 的元素，使得重复访问该元素时无需重复计算。
2) 范围适配器对象 (RangeAdaptorObject) 。对于任何适当的子表达式 e，表达式 views::cache_latest(e) 表达式等价于 cache_latest_view(e)。
See More

cache_latest_view 是一种仅为 input_range 且从不实现 borrowed_range 或 common_range 的视图。

嵌套类型

类型 定义
CacheT (私有) 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_ (私有) 底层视图
(仅用于阐述的成员对象*)
non-propagating-cache<CacheT> cache_ (私有) 缓存当前迭代器最近一次间接的结果的对象
(仅用于阐述的成员对象*)

成员函数

 构造 cache_latest_view
(公开成员函数)
返回底层（适配的）视图的副本
(公开成员函数)
返回指向起始的迭代器
(公开成员函数)
返回指向末尾的迭代器或哨位
(公开成员函数)
返回元素的数量。仅当底层（适配的）范围满足 sized_range 时提供。
(公开成员函数)
继承自 ranges::view_interface
返回视图是否为空，仅当视图满足 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

<tbody> </tbody>
cache_latest_view() requires std::default_initializable<V> = default;
 (1) (C++26 起)
constexpr explicit cache_latest_view( V base );
 (2) (C++26 起)
1) 以默认成员初始化器（= V()）值初始化 base_。
2) 以 std::move(base) 初始化 base_。

参数

base - a view

std::ranges::cache_latest_view::base

<tbody> </tbody>
constexpr V base() const& requires std::copy_constructible<V>;
 (1) (C++26 起)
constexpr V base() &&;
 (2) (C++26 起)
1) 从底层视图复制构造结果。等价于 return base_;
2) 从底层视图移动构造结果。等价于 return std::move(base_);

std::ranges::cache_latest_view::begin

<tbody> </tbody>
constexpr auto begin();
 (C++26 起)

等价于 return /*iterator*/(*this);.

std::ranges::cache_latest_view::end

<tbody> </tbody>
constexpr auto end();
 (C++26 起)

等价于 return /*sentinel*/(*this);.

std::ranges::cache_latest_view::size

<tbody> </tbody>
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_);

推导指引

<tbody> </tbody>
template< class R > cache_latest_view( R&& ) -> cache_latest_view<views::all_t<R>>;
 (C++26 起)

嵌套类

 the iterator type
(仅用于阐述的成员类模板*)
the sentinel type
(仅用于阐述的成员类模板*)

注解

要产生元素的计算较昂贵时，cache_latest_view 很有用。

功能特性测试宏 值 标准 功能特性
__cpp_lib_ranges_cache_latest 202411L (C++26) std::ranges::cache_latest_view

示例

std::views::transform(square)

运行此代码
#include <algorithm>
#include <print>
#include <ranges>
 
int main()
{
    const auto v = {1, 2, 3, 4, 5};
 
    auto square = [](int i)
    {
        std::print("变换: {} ", i);
        return i * i;
    };
 
    auto is_even = [](int i)
    {
        std::print("过滤: {} ", i);
        return i % 2 == 0;
    };
 
    auto print = [](auto v)
    {
        std::ranges::for_each(v, [](int i){ std::println("得: {}", i); });
        std::println();
    };
 
    std::println("无最近值缓存（注意重复计算）: ");
    auto even_squares = v

输出： 

无最近值缓存（注意重复计算）: 
变换: 1 过滤: 1 变换: 2 过滤: 4 变换: 2 得: 4
变换: 3 过滤: 9 变换: 4 过滤: 16 变换: 4 得: 16
变换: 5 过滤: 25
有最近值缓存:
变换: 1 过滤: 1 变换: 2 过滤: 4 得: 4
变换: 3 过滤: 9 变换: 4 过滤: 16 得: 16
变换: 5 过滤: 25