std::ranges::views::common, std::ranges::common_view

Определён в заголовочном файле `<ranges>`
template< ranges::view V > requires (not ranges::common_range<V> and std::copyable<ranges::iterator_t<V>>) class common_view : public ranges::view_interface<common_view<V>>	(1)	(начиная с C++20)
namespace views { inline constexpr /* unspecified / common = / unspecified */; }	(2)	(начиная с C++20)
Сигнатура вызова
template< ranges::viewable_range R > requires /* see below */ constexpr ranges::view auto common( R&& r );		(начиная с C++20)

1) Адаптирует заданное view с разными типами для пары итератор/сентинел в view, которое также является common_range. common_view всегда имеет одинаковые типы итератора и сентинела.

2) RangeAdaptorObject. Пусть e — подвыражение. Тогда выражение views::common(e) эквивалентно выражению:

views::all(e), если это корректное выражение и decltype((e)) моделирует common_range;
common_view{e} в противном случае.

Члены-данные

Член	Описание
`V` `base_` (закрытый)	базовое представление (объект-член, используемый только для описания)

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

(конструктор)	создаёт `common_view` (открытая функция-член)
base	возвращает копию базового (адаптированного) представления (открытая функция-член)
begin	возвращает итератор на начало (открытая функция-член)
end	возвращает итератор на конец (открытая функция-член)
size	возвращает количество элементов; доступна только в том случае, если базовый (адаптированный) диапазон удовлетворяет `sized_range` (открытая функция-член)
reserve_hint (C++26)	возвращает приблизительный размер результирующего `approximately_sized_range` (открытая функция-член)
Унаследовано от `std::ranges::view_interface`
empty	возвращает признак того, что производное представление пусто; доступна только в том случае, если оно удовлетворяет `sized_range` или `forward_range` (открытая функция-член `std::ranges::view_interface<D>`)
cbegin (C++23)	возвращает константный итератор на начало диапазона (открытая функция-член `std::ranges::view_interface<D>`)
cend (C++23)	возвращает сентинел для константного итератора диапазона (открытая функция-член `std::ranges::view_interface<D>`)
operator bool	возвращает признак того, что производное представление не пусто; доступна только в том случае, если к нему применимо `ranges::empty` (открытая функция-член `std::ranges::view_interface<D>`)
data	получает адрес данных производного представления; доступна только в том случае, если тип его итератора удовлетворяет `contiguous_iterator` (открытая функция-член `std::ranges::view_interface<D>`)
front	возвращает первый элемент производного представления, если оно удовлетворяет `forward_range` (открытая функция-член `std::ranges::view_interface<D>`)
back	возвращает последний элемент производного представления; доступна только в том случае, если оно удовлетворяет `bidirectional_range` и `common_range` (открытая функция-член `std::ranges::view_interface<D>`)
operator[]	возвращает элемент производного представления с индексом `n`^-м; доступна только в том случае, если оно удовлетворяет `random_access_range` (открытая функция-член `std::ranges::view_interface<D>`)

Руководства по выводу типов

Вспомогательные шаблоны

template< class T >
constexpr bool enable_borrowed_range<std::ranges::common_view<T>> =
    ranges::enable_borrowed_range<T>;

(начиная с C++20)

Эта специализация ranges::enable_borrowed_range позволяет common_view удовлетворять требованиям borrowed_range, если им удовлетворяет базовое представление.

Примечания

common_view может быть полезен при работе с устаревшими алгоритмами, которые предполагают, что итератор и сентинел имеют один и тот же тип.

Пример

#include <initializer_list>
#include <iostream>
#include <iterator>
#include <list>
#include <numeric>
#include <ranges>

int main()
{
    auto v1 = {1, 2, 3, 4, 5};
    auto i1 = std::counted_iterator{v1.begin(), std::ssize(v1)};
    auto r1 = std::ranges::subrange{i1, std::default_sentinel};
//  auto e1 = std::accumulate(r1.begin(), r1.end(), 0); // error: "common range" required
    auto c1 = std::ranges::common_view{r1};
    std::cout << "accumulate: " << std::accumulate(c1.begin(), c1.end(), 0) << '\n';

    // inherited from ranges::view_interface:
    std::cout << "c1.front(): " << c1.front() << '\n';
    std::cout << "c1.back(): " << c1.back() << '\n';
    std::cout << "c1.data(): " << c1.data() << '\n';
    std::cout << "c1[0]: " << c1[0] << '\n';

    auto v2 = std::list{1, 2, 3, 4, 5};
    auto i2 = std::counted_iterator{v2.begin(), std::ssize(v2)};
    auto r2 = std::ranges::subrange{i2, std::default_sentinel};
//  auto e2 = std::accumulate(r2.begin(), r2.end(), 0); // error: "common range" required
    auto c2 = std::ranges::common_view{ r2 };
    std::cout << "accumulate: " << std::accumulate(c2.begin(), c2.end(), 0) << '\n';

    // inherited from ranges::view_interface:
    std::cout << "c2.front(): " << c2.front() << '\n';
//  auto e3 = c2.back(); // error: "bidirectional range" required
//  auto e4 = c2.data(); // error: "contiguous range" required
//  auto e5 = c2[0];     // error: "random access range" required
}

Возможный вывод:

accumulate: 15
c1.front(): 1
c1.back(): 5
c1.data(): 0x7f19937f00d0
c1[0]: 1
accumulate: 15
c2.front(): 1

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

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

DR	Применён к	Опубликованное поведение	Корректное поведение
LWG 3494	C++20	`common_view` никогда не являлся `borrowed_range`	он является `borrowed_range`, если его базовое представление является таковым

См. также

ranges::common_range (C++20)	задаёт требование, чтобы диапазон имел одинаковые типы итератора и сентинела (концепт)
common_iterator (C++20)	адаптирует тип итератора и его сентинел к общему типу итератора (шаблон класса)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/ranges/common_view