std::ranges::view_interface
С сайта ru.cppreference.net
| Определён в заголовке <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() is provided if begin() returns a forward iterator
// and end() returns a sentinel for it.
};
Функции-члены
возвращает, является ли производное представление пустым, предоставляется только если оно удовлетворяет
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
(шаблон класса) |