std::ranges::view, std::ranges::enable_view, std::ranges::view_base

template<class T>
concept view = ranges::range<T> && std::movable<T> && ranges::enable_view<T>;

template<class T>
constexpr bool enable_view =
    std::derived_from<T, view_base> || /*is-derived-from-view-interface*/<T>;

struct view_base { };

Пользователи могут специализировать enable_view, задавая значение true для cv-неквалифицированных типов, определённых в программе и моделирующих view, и значение false для типов, которые ему не соответствуют. Такие специализации должны быть пригодны для использования в константных выражениях и иметь тип constbool.

Семантические требования

• перемещающее конструирование T имеет постоянную временную сложность, и
• если из объекта T, содержащего \(\scriptsize M\)M элементов, создаётся \(\scriptsize N\)N его копий и/или перемещений, то уничтожение этих \(\scriptsize N\)N объектов имеет сложность \(\scriptsize \mathcal{O}{(N+M)}\)𝓞(N+M) (что подразумевает, что уничтожение перемещённого объекта view имеет сложность \(\scriptsize \mathcal{O}{(1)}\)𝓞(1)), и
• либо std::copy_constructible<T> является false, либо копирующее конструирование T имеет постоянную временную сложность, и
• либо std::copyable<T> является false, либо сложность по времени копирующего присваивания T не превышает сложности уничтожения с последующим копирующим конструированием.

Специализации

Специализации enable_view для всех специализаций следующих стандартных шаблонов определены как true:

• std::basic_string_view
• std::span

Примечания

Примеры типов view:

• Тип range, который оборачивает пару итераторов, например std::ranges::subrange<I>.
• Тип range, который хранит свои элементы посредством std::shared_ptr и разделяет владение со всеми своими копиями.
• Тип range, который генерирует элементы по запросу, например std::ranges::iota_view.

Копируемый контейнер, например std::vector<std::string>, обычно не удовлетворяет семантическим требованиям view, поскольку при копировании контейнера копируются все его элементы, что невозможно выполнить за постоянное время.

Хотя изначально представления описывались как недорого копируемые невладеющие диапазоны, тип не обязан быть копируемым или невладеющим, чтобы моделировать view. Однако копирование (если оно возможно), перемещение, присваивание и уничтожение всё равно должны быть недорогими, чтобы адаптеры диапазонов не имели неожиданной сложности.

По умолчанию тип, моделирующий movable и range, считается представлением, если он открыто и однозначно производен от view_base или ровно одной специализации std::ranges::view_interface.

Пример

Минимальное представление.

#include <ranges>

struct ArchetypalView : std::ranges::view_interface<ArchetypalView>
{
    int* begin();
    int* end();
};

static_assert(std::ranges::view<ArchetypalView>);

Отчёты об ошибках

Следующие отчёты об ошибках, изменяющие поведение, были ретроактивно применены к ранее опубликованным стандартам C++.