非傳播快取 (C++20)

 

C++

編譯器支援

自由（freestanding）與宿主（hosted）

語言

標準庫

標準庫標頭檔案

具名要求

特性測試宏 (C++20)

語言支援庫

概念庫 (C++20)

診斷庫

記憶體管理庫

超程式設計庫 (C++11)

通用工具庫

容器庫

迭代器庫

範圍庫 (C++20)

演算法庫

字串庫

文字處理庫

數值庫

日期和時間庫

輸入/輸出庫

檔案系統庫 (C++17)

併發支援庫 (C++11)

執行控制庫 (C++26)

技術規範

符號索引

外部庫

 

範圍庫 (Ranges library)

範圍訪問 begin cbegin   end cend rbegin crbegin   rend crend size ssize   data cdata reserve_hint (C++26)   empty

範圍轉換 (Range conversions) std::from_range_t std::from_range (C++23)(C++23)     to (C++23)

懸空迭代器處理 (Dangling iterator handling) dangling borrowed_iterator_t borrowed_subrange_t

範圍原語 (Range primitives)
range_size_trange_difference_trange_value_t elements_of (C++23)	iterator_tconst_iterator_tsentinel_tconst_sentinel_t (C++23)(C++23)	range_reference_trange_const_reference_trange_rvalue_reference_trange_common_reference_t (C++23)

範圍概念 (Range concepts)
range borrowed_range    common_range	sized_range viewable_range    view	input_range output_range forward_range	bidirectional_range    random_access_range contiguous_range	approximately_sized_range (C++26) constant_range (C++23)

檢視
view_interface	subrange

範圍工廠 (Range factories)
empty_viewviews::empty	single_viewviews::single	basic_istream_viewviews::istream	iota_viewviews::iota	repeat_viewviews::repeat (C++23)(C++23)

範圍介面卡 (Range adaptors)
views::all_tviews::all as_rvalue_viewviews::as_rvalue (C++23)(C++23)   filter_viewviews::filter transform_viewviews::transform take_viewviews::take take_while_viewviews::take_while common_viewviews::common views::counted to_input_viewviews::to_input (C++26)(C++26)	ref_view drop_viewviews::drop drop_while_viewviews::drop_while lazy_split_viewviews::lazy_split split_viewviews::split join_viewviews::join join_with_viewviews::join_with (C++23)(C++23)   concat_viewviews::concat (C++26)(C++26) cache_latest_viewviews::cache_latest (C++26)(C++26)	owning_view reverse_viewviews::reverse as_const_viewviews::as_const (C++23)(C++23) elements_viewviews::elements keys_viewviews::keys values_viewviews::values enumerate_viewviews::enumerate (C++23)(C++23) zip_viewviews::zip (C++23)(C++23) zip_transform_viewviews::zip_transform (C++23)(C++23)	adjacent_viewviews::adjacent (C++23)(C++23) views::pairwise (C++23) adjacent_transform_viewviews::adjacent_transform (C++23)(C++23) views::pairwise_transform (C++23) chunk_viewviews::chunk (C++23)(C++23) slide_viewviews::slide (C++23)(C++23) chunk_by_viewviews::chunk_by (C++23)(C++23) stride_viewviews::stride (C++23)(C++23) cartesian_product_viewviews::cartesian_product (C++23)(C++23)

範圍生成器 (Range generators) std::generator (C++23)

範圍介面卡閉包物件 (Range adaptor closure objects) range_adaptor_closure (C++23)

範圍介面卡物件 (Range adaptor objects)

輔助項 (Helper items)
copyable-box movable-box (直到 C++23)  (C++23)	simple-view non-propagating-cache

 

template< class T >     requires std::is_object_v<T> class /*non-propagating-cache*/;		(C++20 起) (僅作說明*)

一些範圍介面卡，例如 ranges::join_view 和 ranges::lazy_split_view 會有條件地儲存值（例如迭代器），這些值是在一個僅用於說明的類模板 non-propagating-cache 中指定的。

該包裝器的行為與 std::optional<T> 完全相同，但以下情況除外：

• 當它被複制構造或賦值時，它不會複製源的值，
• 當它從源移動時，它會重置源的值，
• 當它被賦值時，它會重置自己的值，並且
• 它還提供了一個成員函式模板，以使輸入檢視在迭代時能夠臨時快取值。

該包裝器封裝了一個包含值的快取。清除快取的操作等同於重置所包含的值。當複製或移動包裝器時會執行此操作。

模板引數

T

-

所包含值的型別，必須是物件型別

成員函式

複製建構函式和移動建構函式

constexpr /*non-propagating-cache*/     ( const /*non-propagating-cache*/& ) noexcept {}	(1)	(C++20 起)
constexpr /*non-propagating-cache*/     ( /*non-propagating-cache*/&& other ) noexcept { other.reset(); }	(2)	(C++20 起)

1) 複製建構函式沒有效果。

2) 移動建構函式清除 other 的快取。

複製賦值運算子和移動賦值運算子

constexpr /*non-propagating-cache*/&     operator=( const /*non-propagating-cache*/& other ) noexcept {     if (std::addressof(other) != this)         reset();     return *this; }	(1)	(C++20 起)
constexpr /*non-propagating-cache*/&     operator=( /*non-propagating-cache*/&& other ) noexcept {     reset();     other.reset();     return *this; }	(2)	(C++20 起)

1) 複製賦值運算子清除 *this 的快取。

2) 移動賦值運算子清除 *this 和 other 的快取。

non-propagating-cache<T>::emplace-deref

template< class I > constexpr T& /*emplace-deref*/( const I& i );		(C++20 起) (僅作說明*)

透過 直接初始化（但不是直接列表初始化）*i 來初始化所包含的值。如果 *this 在呼叫前已經包含值，則呼叫 reset()。

返回對新的包含值的引用。

除非宣告 T t(*i); 對於某個虛構變數 t 是合法的，否則程式將格式錯誤。如果 *i 是可能是 cv 限定的 T 的右值，則不要求它可移動。

與 std::optional 相同的成員

成員函式

(建構函式)	構造 optional 物件 (std::optional<T> 的公共成員函式)
(解構函式)	如果存在，銷燬所包含的值 (std::optional<T> 的公共成員函式)
operator=	賦值內容 (std::optional<T> 的公共成員函式)
觀察器
operator->operator*	訪問所包含的值 (std::optional<T> 的公共成員函式)
operator boolhas_value	檢查物件是否包含值 (std::optional<T> 的公共成員函式)
修改器
reset	銷燬任何包含的值 (std::optional<T> 的公共成員函式)
emplace	就地構造包含的值 (std::optional<T> 的公共成員函式)

注意

non-propagating-cache 在實現中用於快取 begin() 的結果，以提供該方法的攤銷常數時間複雜度。

參閱

ranges::join_viewviews::join (C++20)	一個由展平的 ranges view 得到的序列組成的 view (類模板) (範圍介面卡物件)
ranges::join_with_viewviews::join_with (C++23)	一個 view，由扁平化範圍檢視獲得的序列組成，元素之間帶有分隔符 (類模板) (範圍介面卡物件)
ranges::split_viewviews::split (C++20)	一個 view，包含透過分隔符拆分另一個 view 獲得的子範圍 (類模板) (範圍介面卡物件)
ranges::lazy_split_viewviews::lazy_split (C++20)	一個 view，包含透過分隔符拆分另一個 view 獲得的子範圍 (類模板) (範圍介面卡物件)
ranges::chunk_viewviews::chunk (C++23)	一個 view 的範圍，它是另一個 view 元素的 N 大小的非重疊連續塊 (類模板) (範圍介面卡物件)