命名空间
变体
操作

非传播缓存 (C++20)

来自 cppreference.com
< cpp‎ | ranges
 
 
范围库
范围适配器
辅助项
(直到 C++23)  (C++23)
non-propagating-cache


 
template< class T >

    requires std::is_object_v<T>

class /*non-propagating-cache*/;
(自 C++20 起)
(仅供说明*)

某些范围适配器,例如 ranges::join_viewranges::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) 移动赋值运算符清除 *thisother 的缓存。

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,则不需要它可移动。

std::optional 相同的成员

成员函数

构造 optional 对象
(std::optional<T> 的公共成员函数) [编辑]
销毁所包含的值(如果有)
(std::optional<T> 的公共成员函数) [编辑]
分配内容
(std::optional<T> 的公共成员函数) [编辑]
观察者
访问包含的值
(std::optional<T> 的公共成员函数) [编辑]
检查对象是否包含值
(std::optional<T> 的公共成员函数) [编辑]
修改器
销毁任何包含的值
(std::optional<T> 的公共成员函数) [编辑]
在原地构造包含的值
(std::optional<T> 的公共成员函数) [编辑]

[编辑] 注释

non-propagating-cache 用于实现中缓存 begin() 的结果,以提供方法的摊销常数时间复杂度。

[编辑] 另请参阅

一个由扁平化 viewranges 获得的序列组成的 view
(类模板) (范围适配器对象)[编辑]
一个由扁平化范围的视图获得的序列组成的 view,元素之间使用分隔符
(类模板) (范围适配器对象)[编辑]
一个使用分隔符分割另一个 view 获得的子范围的 view
(类模板) (范围适配器对象)[编辑]
一个使用分隔符分割另一个 view 获得的子范围的 view
(类模板) (范围适配器对象)[编辑]
一个 views 的范围,这些 views 是另一个 view 的元素的 N 大小非重叠连续块
(类模板) (范围适配器对象)[编辑]