次の方法で共有

owning_view クラス (C++ 標準ライブラリ)

  • [アーティクル]

別の範囲の要素の所有権を取得するビュー。

構文

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

テンプレート パラメーター

R
基になる範囲の型。

特性の表示

以下の項目の説明については、 View クラスの特性を参照してください。

特徴 説明
範囲アダプター views::all
基になる範囲 input_range以上を満たす必要があります
要素の種類 基になる範囲と同じ
反復子カテゴリの表示 基になる範囲と同じ
サイズ 基になる範囲が満たされる場合のみ sized_range
const対応 基になる範囲が満たされる場合のみ const-iterable
共通範囲 基になる範囲が満たされる場合のみ common_range
借用範囲 基になる範囲が満たされる場合のみ borrowed_range

メンバー

メンバー関数 説明
コンストラクター owning_view を構築します。
baseC++20 所有されている範囲への参照を取得します。
beginC++20 最初の要素を指す反復子を取得します。
dataC++20 最初の要素へのポインターを取得します。
emptyC++20 ビューが空かどうかをテストします。
endC++20 ビューの最後にあるセンチネルを取得します。
sizeC++20 要素の数を取得します。
operator= コンテンツを別の owning_view からこのに割り当てる (移動) します。
継承の対象 view_interface 説明
backC++20 最後の要素を取得します。
frontC++20 最初の要素を取得します。
operator[]C++20 指定した位置にある要素を取得します。
operator boolC++20 ビューが空でないかどうかをテストします。

解説

owning_viewを作成する最善の方法は、views::all範囲アダプターを使用することです。 範囲アダプターは、ビュー クラスを作成するための目的の方法です。 独自のカスタム ビューの種類を作成する場合は、ビューの種類が公開されます。

このクラスは要素を所有していますが、基になる範囲は std::move()を使用して移動されるため、構築にコストはかけません。

このビューは、要素を提供するコンテナーの有効期間に依存しない範囲が必要な場合に便利です。

要件

Header: <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。

テンプレート パラメーターの型の詳細については、「 Template パラメーターを参照してください。

解説

1) 既定のコンストラクターは、既定で初期化された owning_viewを作成します。
2) rgからowning_viewを移動します。
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 が含まれており、

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

ビューの最後にあるセンチネルを取得します。

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

戻り値

ビューの最後の要素に続く Sentinel:

要素 10、20、30 を持つベクトルの図。最初の要素には 10 が含まれており、begin() というラベルが付いています。最後の要素には 30 が含まれており、

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 範囲アダプター
クラスの表示