Поделиться через

owning_view class (стандартная библиотека C++)

  • Статья

Представление, которое владеет элементами в другом диапазоне.

Синтаксис

template<range R>
    requires std::movable<R> && (!is-initializer-list<R>)
class owning_view : public ranges::view_interface<owning_view<R>>;

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

R
Тип базового диапазона.

Просмотр характеристик

Описание следующих записей см. в разделе "Просмотр характеристик класса"

Characteristic Description
Адаптер диапазона views::all
Базовый диапазон Должно соответствовать input_range или выше
Тип элемента Совпадает с базовым диапазоном
Просмотр категории итератора Совпадает с базовым диапазоном
Размер Только если базовый диапазон удовлетворяет sized_range
Is const-iterable Только если базовый диапазон удовлетворяет const-iterable
Общий диапазон Только если базовый диапазон удовлетворяет common_range
Заимствуемый диапазон Только если базовый диапазон удовлетворяет borrowed_range

Участники

Функции-члены Description
Конструкторы owning_viewСоздание .
baseC++20 Получите ссылку на принадлежащий диапазон.
beginC++20 Получите итератор к первому элементу.
dataC++20 Получите указатель на первый элемент.
emptyC++20 Проверьте, является ли представление пустым.
endC++20 Получите sentinel в конце представления.
sizeC++20 Получение количества элементов.
operator= Назначьте (переместить) содержимое из другого owning_view в этот.
Наследуется от view_interface Description
backC++20 Получите последний элемент.
frontC++20 Получите первый элемент.
operator[]C++20 Получите элемент в указанной позиции.
operator boolC++20 Проверьте, не является ли представление пустым.

Замечания

Лучший способ создания owning_view — использовать views::all адаптер диапазона. Адаптеры диапазона — это способ создания классов представления. Типы представлений предоставляются в случае, если вы хотите создать собственный тип пользовательского представления.

Несмотря на то, что этот класс владеет своими элементами, это не дорого, так как базовый диапазон перемещается с помощью std::move().

Это представление полезно, если требуется диапазон, который не зависит от времени существования контейнера, предоставляющего элементы.

Требования

Заголовок: <ranges> (с C++20)

Пространство имен: std::ranges

Параметр компилятора: /std:c++20 или более поздней версии требуется.

Конструкторы

Создайте экземпляр owning_view.

1) owning_view() requires default_initializable<R> = default;
2) constexpr owning_view(R&& rg); 
3) owning_view(const owning_view& v) = delete; // no copy constructor 
4) owning_view(const owning_view&& v) = default; // move constructor

Параметры

rg
Диапазон для перемещения в owning_view.

v
Переход owning_view к новому owning_view.

Сведения о типах параметров шаблона см. в разделе "Параметры шаблона".

Замечания

1) Конструктор по умолчанию создает инициализированную owning_viewпо умолчанию.
2) Перемещение конструкций owning_view из rg.
3) owning_view Невозможно скопировать только перемещение.
4) Создание другого owning_view owning_view.

Пример: owning_view

// requires /std:c++20 or later
#include <ranges>
#include <iostream>
#include <vector>
#include <utility>

int main()
{
    std::vector<int> v = {1,2,3,4,5,6,7,8,9,10};
    auto myOwningView = std::views::all(std::move(v)); // create an owning_view from a moved vector
    std::cout << v.size() << '\n'; // outputs 0 because myOwningView now owns the elements
    std::cout << myOwningView.size() << '\n'; // outputs 10

    std::vector<int> v2 = {1,2,3,4,5};
    std::ranges::owning_view<std::vector<int>> ov2{std::move(v2)};
    std::cout << v2.size() << '\n'; // outputs 0 because ov2 now owns the elements
    std::cout << ov2.size() << '\n'; // outputs 5
}

0
10
0
5

base

Возвращает ссылку на базовый диапазон.

1) constexpr R& base() & noexcept { return r_; }
2) constexpr const R& base() const & noexcept { return r_; }
3) constexpr R&& base() && noexcept { return std::move(r_); }
4) constexpr const R&& base() const && noexcept { return std::move(r_); }

Параметры

Нет.

Возвращаемое значение

Ссылка на базовый диапазон, вызовите его rg.
Для 1 и 2 базовый диапазон возвращается через return rg;
Для 3 и 4 базовый диапазон возвращается через std::move(rg);

begin

Получите итератор к первому элементу в представлении.

constexpr iterator_t<R> begin();
constexpr auto begin() const requires range<const R>;

Параметры

Нет.

Возвращаемое значение

Итератор, указывающий на первый элемент в представлении:

Изображение вектора с элементами 10, 20 и 30. Первый элемент содержит 10 и помечен как begin(). Последний элемент содержит 30 и помечен как последний элемент. Мнимый прямоугольник после последнего элемента указывает sentinel и обозначает конец().

data

Получите указатель на первый элемент в представлении.

constexpr auto data()
    requires std::contiguous_iterator<ranges::iterator_t<R>>;
constexpr auto data() const
    requires std::contiguous_iterator<ranges::iterator_t<const R>>;

Параметры

Нет.

Возвращаемое значение

Указатель на первый элемент в представлении.

Замечания

Базовый собственный диапазон должен удовлетворять contiguous_range.

empty

Проверьте, является ли представление пустым.

constexpr bool empty();
constexpr bool empty() const;

Параметры

Нет.

Возвращаемое значение

Возвращает, true если базовый диапазон не содержит элементов. В противном случае возвращается false.

end

Получите sentinel в конце представления.

constexpr sentinel_t<R> end();
constexpr auto end() const requires range<const R>

Возвращаемое значение

Sentinel, следующий за последним элементом в представлении:

Изображение вектора с элементами 10, 20 и 30. Первый элемент содержит 10 и помечен как begin(). Последний элемент содержит 30 и помечен как последний элемент. Мнимый прямоугольник после последнего элемента указывает sentinel и обозначает конец().

size

Получение количества элементов в представлении.

constexpr auto size() requires ranges::sized_range<R>;
constexpr auto size() const requires ranges::sized_range<const R>;

Параметры

Нет.

Возвращаемое значение

Количество элементов в представлении.

operator=

Назначьте (переместить) содержимое из другого owning_view в этот.

owning_view& operator=(owning_view&&) = default;

Параметры

Назначение owning_view (перемещение) этому объекту.

Возвращаемое значение

*this

Замечания

Невозможно owning_view скопировать только перемещаемую копию.

Пример: operator=

// requires /std:c++20 or later
#include <ranges>
#include <iostream>
#include <vector>

int main()
{
    std::vector<int> v1 = {1,2,3};
    std::ranges::owning_view<std::vector<int>> ov1{std::move(v1)};
    
    std::vector<int> v2 = {4,5,6};
    std::ranges::owning_view<std::vector<int>> ov2{std::move(v2)};
    
    // operator=
    ov2 = std::move(ov1);

    // ov1 took ownership of v1, so v1 is empty
    // ov2 took ownership of v2, so v2 is empty
    // ov2 then took ownership of ov1, so ov1 is empty
    // ov2 now owns the elements 1, 2, 3

    std::cout << std::boolalpha << "v1.empty():" << v1.empty() << " ov1.empty():" << ov1.empty() << '\n'; // v1.empty():true ov1.empty():true
    std::cout << "v2.empty():" << v2.empty() << " ov2.size():" << ov2.size() << '\n'; // v2.empty():true ov2.size():3

    for (auto e : ov2)
    {
         std::cout << e << ' '; // 1 2 3
    }
}

v1.empty():true ov1.empty():true
v2.empty():true ov2.size():3
1 2 3

См. также

<ranges>
all адаптер диапазона
Классы представления