Namespaces
Variants

std::ranges:: view_interface

From cppreference.net
C++
Ranges library
Views
view_interface

Range adaptors
std::ranges::view_interface
Определено в заголовочном файле <ranges>
template < class D >

requires std:: is_class_v < D > && std:: same_as < D, std:: remove_cv_t < D >>

class view_interface ;
(начиная с C++20)

std::ranges::view_interface является вспомогательным шаблоном класса для определения интерфейса представления.

view_interface обычно используется с CRTP : 

class my_view : public std::ranges::view_interface<my_view>
{
public:
    auto begin() const { /*...*/ }
    auto end() const { /*...*/ }
    // empty() предоставляется, если begin() возвращает forward iterator
    // и end() возвращает sentinel для него.
};

Содержание

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

возвращает, является ли производное представление пустым, предоставляется только если оно удовлетворяет sized_range или forward_range
(публичная функция-член)
(C++23)
возвращает константный итератор на начало диапазона
(публичная функция-член)
(C++23)
возвращает страж для константного итератора диапазона
(публичная функция-член)
возвращает, является ли производное представление непустым, предоставляется только если ranges::empty применимо к нему
(публичная функция-член)
получает адрес данных производного представления, предоставляется только если его тип итератора удовлетворяет contiguous_iterator
(публичная функция-член)
возвращает количество элементов в производном представлении. Предоставляется, если оно удовлетворяет forward_range и его тип стража и итератора удовлетворяют sized_sentinel_for .
(публичная функция-член)
возвращает первый элемент в производном представлении, предоставляется, если оно удовлетворяет forward_range
(публичная функция-член)
возвращает последний элемент в производном представлении, предоставляется только если оно удовлетворяет bidirectional_range и common_range
(публичная функция-член)
возвращает n -й элемент в производном представлении, предоставляется только если оно удовлетворяет random_access_range
(публичная функция-член)

Пример

Запустить этот код 
#include <iostream>
#include <ranges>
#include <vector>
template<class T, class A>
class VectorView : public std::ranges::view_interface<VectorView<T, A>>
{
public:
    VectorView() = default;
    VectorView(const std::vector<T, A>& vec) :
        m_begin(vec.cbegin()), m_end(vec.cend())
    {}
    auto begin() const { return m_begin; }
    auto end() const { return m_end; }
private:
    typename std::vector<T, A>::const_iterator m_begin{}, m_end{};
};
int main()
{
    std::vector<int> v = {1, 4, 9, 16};
    VectorView view_over_v{v};
    // Мы можем итерировать с помощью begin() и end().
    for (int n : view_over_v)
        std::cout << n << ' ';
    std::cout << '\n';
    // Мы получаем operator[] бесплатно при наследовании от view_interface
    // поскольку удовлетворяем концепции random_access_range.
    for (std::ptrdiff_t i = 0; i != view_over_v.size(); ++i)
        std::cout << "v[" << i << "] = " << view_over_v[i] << '\n';
}

Вывод: 

1 4 9 16
v[0] = 1
v[1] = 4
v[2] = 9
v[3] = 16

Отчеты о дефектах

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

DR Applied to Behavior as published Correct behavior
LWG 3549 C++20 view_interface требовалось наследовать от view_base ,
что иногда приводило к множественным view_base подобъектам в представлении 		наследование удалено

Смотрите также

(C++20)
объединяет пару итератор-страж в view
(шаблон класса)