Непередающийся кэш (C++20)

template< class T >
    requires std::is_object_v<T>
class /*non-propagating-cache*/;

Некоторые адаптеры диапазонов, такие как ranges::join_view и ranges::lazy_split_view, условно хранят значение (например, итератор), определённое через шаблон класса только для иллюстрации non-propagating-cache.

Обёртка ведёт себя точно так же, как std::optional<T>, за исключением того, что:

• при копирующем конструировании или присваивании она не копирует значение источника,
• при перемещении из источника она сбрасывает его значение,
• при присваивании из источника она сбрасывает своё значение, а также
• она предоставляет шаблон функции-члена, позволяющий входному представлению временно кэшировать значения во время итерации по нему.

Обёртка содержит кэш со значением. Очистка кэша эквивалентна сбросу содержащегося значения. Такая операция выполняется при копировании или перемещении обёртки.

Параметры шаблона

Функции-члены

constexpr /*non-propagating-cache*/
    ( const /*non-propagating-cache*/& ) noexcept {}

constexpr /*non-propagating-cache*/
    ( /*non-propagating-cache*/&& other ) noexcept { other.reset(); }

constexpr /*non-propagating-cache*/&
    operator=( const /*non-propagating-cache*/& other ) noexcept
{ 
    if (std::addressof(other) != this)
        reset();
    return *this;
}

constexpr /*non-propagating-cache*/&
    operator=( /*non-propagating-cache*/&& other ) noexcept
{
    reset();
    other.reset();
    return *this;
}

template< class I >
constexpr T& /*emplace-deref*/( const I& i );

Примечания

non-propagating-cache используется в реализациях для кэширования результата begin(), чтобы обеспечить амортизированную сложность метода, постоянную по времени.

См. также