非传播缓存 (C++20)
来自 cppreference.com
template< class T > requires std::is_object_v<T> |
(自 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 |
(1) | (自 C++20 起) |
constexpr /*non-propagating-cache*/& operator=( /*non-propagating-cache*/&& other ) noexcept |
(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
的 prvalue,则不需要它可移动。
[编辑] 注释
non-propagating-cache
用于实现中缓存 begin() 的结果,以提供方法的摊销常数时间复杂度。
[编辑] 另请参阅
(C++20) |
一个由扁平化 view 的 range s 获得的序列组成的 view (类模板) (范围适配器对象) |
一个由扁平化范围的视图获得的序列组成的 view ,元素之间使用分隔符(类模板) (范围适配器对象) | |
一个使用分隔符分割另一个 view 获得的子范围的 view (类模板) (范围适配器对象) | |
一个使用分隔符分割另一个 view 获得的子范围的 view (类模板) (范围适配器对象) | |
一个 view s 的范围,这些 view s 是另一个 view 的元素的 N 大小非重叠连续块(类模板) (范围适配器对象) |