owning_view.md

owning_view

• ranges[meta header]
• std::ranges[meta namespace]
• class template[meta id-type]
• cpp20[meta cpp]

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

• range[link range.md]
• movable[link /reference/concepts/movable.md]
• is-initializer-list[italic]
• view_interface[link view_interface.md]

概要

Rangeの右辺値をムーブして所有するview。このクラスのオブジェクトは、Rangeアダプタallによって生成される。

Rangeコンセプト

borrowed	sized	output	input	forward	bidirectional	random_access	contiguous	common	viewable	view
	※	※	※	※	※	※	※	※	○	○

※ 参照先のRangeに従う

メンバ関数

名前	説明	対応バージョン
(constructor)	コンストラクタ	C++20
base	Rの参照を取得する	C++20
begin	先頭を指すイテレータを取得する	C++20
end	番兵を取得する	C++20
empty	Rangeが空かどうかを判定する	C++20
size	要素数を取得する	C++20
data	Rangeの先頭へのポインタを取得する	C++20

rを参照先のRangeとする。empty、size、dataは、それぞれranges::empty(r)、ranges::size(r)、ranges::data(r)が有効な式であるときに定義される。

継承しているメンバ関数

名前	説明	対応バージョン
operator bool	Rangeが空でないかどうかを判定する	C++20
front	先頭要素への参照を取得する	C++20
back	末尾要素への参照を取得する	C++20
operator[]	要素へアクセスする	C++20
cbegin	定数イテレータを取得する	C++23
cend	定数イテレータ（番兵）を取得する	C++23

推論補助

名前	説明	対応バージョン
(deduction_guide)	クラステンプレートの推論補助	C++20

例

#include <ranges>
#include <vector>
#include <iostream>

int main() {
  auto ov1 = std::views::all(std::vector<int>{1, 2, 3});
  for (int n : ov1) {
    std::cout << n;  // 123
  }

  std::cout << '\n';

  auto ov2 = std::vector<int>{1, 2, 3} | std::views::all;
  for (int n : ov2) {
    std::cout << n;  // 123
  }
}

• views::all[link all.md]

出力

123
123

実装例

namespace std::ranges {
  template<range R>
    requires movable<R> && (!is-initializer-list<R>)
  class owning_view : public view_interface<owning_view<R>> {
  private:
    R r_ = R();
  public:
    owning_view() requires default_initializable<R> = default;
    constexpr owning_view(R&& t) : r_(std::move(t)) {}

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

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

    constexpr iterator_t<R> begin() { return ranges::begin(r_); }
    constexpr sentinel_t<R> end() { return ranges::end(r_); }

    constexpr auto begin() const requires range<const R> {
      return ranges::begin(r_);
    }
    constexpr auto end() const requires range<const R> {
      return ranges::end(r_);
    }

    constexpr bool empty() requires requires { ranges::empty(r_); } {
      return ranges::empty(r_);
    }
    constexpr bool empty() const requires requires { ranges::empty(r_); } {
      return ranges::empty(r_);
    }

    constexpr auto size() requires sized_range<R> {
      return ranges::size(r_);
    }
    constexpr auto size() const requires sized_range<const R> {
      return ranges::size(r_);
    }

    constexpr auto data() requires contiguous_range<R> {
      return ranges::data(r_);
    }
    constexpr auto data() const requires contiguous_range<const R> {
      return ranges::data(r_);
    }
  };
}

• is-initializer-list[italic]
• range[link range.md]
• default_initializable[link /reference/concepts/default_initializable.md]
• iterator_t[link iterator_t.md]
• sentinel_t[link sentinel_t.md]
• ranges::begin[link begin.md]
• ranges::end[link end.md]
• ranges::empty[link empty.md]
• ranges::size[link size.md]
• ranges::data[link data.md]
• sized_range[link sized_range.md]
• contiguous_range[link contiguous_range.md]
• view_interface[link view_interface.md]

バージョン

言語

• C++20

処理系

• Clang: 13.0.0 [mark verified]
• GCC: 10.1.0 [mark verified]
• ICC: ?
• Visual C++: 2019 Update 10 [mark verified]

参照

• N4892 24 Ranges library
• C++20 ranges
• ［C++］ <ranges>のviewを見る19 - owning_view
• P2415R2 What is a view? (本提案文書はC++20に遡って適用されている)