std::ranges::views::cache_latest, std::ranges::cache_latest_view
ja.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の最後にアクセスされた要素をキャッシュし、繰り返しアクセス時に要素を再計算する必要をなくす範囲アダプタ。
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を構築する
(public member function) |
|
|
基盤となる（アダプトされた）ビューのコピーを返す
(public member function) |
|
|
先頭を指すイテレータを返す
(public member function) |
|
|
終端を指すイテレータまたはセンチネルを返す
(public member function) |
|
要素数を返す。基盤となる（アダプトされた）範囲が
sized_range
を満たす場合にのみ提供される。
(public member function) |
|
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> のパブリックメンバ関数)
| |
導出ビューの nth 要素を返す。ただし、それが 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) | (C++26以降) |
|
constexpr
explicit
cache_latest_view
(
V base
)
;
|
(2) | (C++26以降) |
1)
デフォルトメンバ初期化子（
=
V
(
)
）を通じて
base_
を値初期化します。
2)
base_
を
std
::
move
(
base
)
で初期化します。
パラメータ
| base | - | ビュー |
std::ranges::cache_latest_view:: base
|
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
|
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