as_rvalue_view.md

as_rvalue_view

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

namespace std::ranges {
  template<view V>
    requires (input_range<V>)
  class as_rvalue_view : public view_interface<as_rvalue_view<V>> { …… }; // (1)

  namespace views {
    inline constexpr /*unspecified*/ as_rvalue = /*unspecified*/;      // (2)
  }
}

• view[link view.md]
• view_interface[link view_interface.md]
• input_range[link input_range.md]

概要

• (1): 要素をrvalueにするview
• (2): as_rvalue_viewまたは同じ効果を実現するviewを生成するRangeアダプタオブジェクト

このviewは、あるRangeの要素をムーブして別のコンテナに挿入する場合などに利用できる。

vector<string> words = {"the", "quick", "brown", "fox", "ate", "a", "pterodactyl"};
vector<string> new_words;
ranges::copy(words | views::as_rvalue, back_inserter(new_words));

Rangeコンセプト

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

※ 参照先のRangeに従う

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

• view<V>
• !common_range<V>
• copyable<iterator_t<V>>

効果

• (2): 式views::as_rvalue(E)はRangeアダプタオブジェクトを表し、その効果は次の通り
  • 要素がすでに右辺値参照であれば(T = decltype((E))として、same_as<range_rvalue_reference_t<T>, range_reference_t<T>>)、views::all(E)と等しい
  • それ以外のとき、as_rvalue_view{E}と等しい

メンバ関数

名前	説明	対応バージョン
(constructor)	コンストラクタ	C++20
base	Rの参照を取得する	C++20
begin	先頭を指すイテレータを取得する	C++20
end	番兵を取得する	C++20
size	要素数を取得する	C++20

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

継承しているメンバ関数

名前	説明	対応バージョン
empty	Rangeが空かどうかを判定する	C++20
operator bool	Rangeが空でないかどうかを判定する	C++20
data	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 <iterator>
#include <print>

int main() {
  using namespace std;

  vector<string> words = {"the", "quick", "brown", "fox", "ate", "a", "pterodactyl"};
  vector<string> new_words;
  ranges::copy(words | views::as_rvalue, back_inserter(new_words));
  print("{}", new_words);
}

• views::as_rvalue[color ff0000]
• print[link /reference/print/print.md]

出力

["the", "quick", "brown", "fox", "ate", "a", "pterodactyl"]

実装例

namespace std::ranges {
  template<view V>
    requires input_range<V>
  class as_rvalue_view : public view_interface<as_rvalue_view<V>> {
    V base_ = V();      // exposition only

  public:
    as_rvalue_view() requires default_initializable<V> = default;
    constexpr explicit as_rvalue_view(V base);

    constexpr V base() const & requires copy_constructible<V> { return base_; }
    constexpr V base() && { return std::move(base_); }

    constexpr auto begin() requires (!simple-view<V>) {
      return move_iterator(ranges::begin(base_));
    }

    constexpr auto begin() const requires range<const V> {
      return move_iterator(ranges::begin(base_));
    }

    constexpr auto end() requires (!simple-view<V>) {
      if constexpr (common_range<V>) {
        return move_iterator(ranges::end(base_));
      } else {
        return move_sentinel(ranges::end(base_));
      }
    }

    constexpr auto end() const requires range<const V> {
      if constexpr (common_range<const V>) {
        return move_iterator(ranges::end(base_));
      } else {
        return move_sentinel(ranges::end(base_));
      }
    }

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

  template<class R>
    as_rvalue_view(R&&) -> as_rvalue_view<views::all_t<R>>;
}

constexpr explicit as_rvalue_view(V base);

• view[link view.md]
• view_interface[link view_interface.md]
• common_range[link common_range.md]
• sized_range[link sized_range.md]
• simple-view[link simple-view.md]
• default_initializable[link /reference/concepts/default_initializable.md]
• copy_constructible[link /reference/concepts/copy_constructible.md]
• move_iterator[link /reference/iterator/move_iterator.md]
• ranges::begin[link begin.md]
• ranges::end[link end.md]
• ranges::size[link size.md]
• views::all_t[link all.md]

バージョン

言語

• C++23

処理系

• Clang: ?
• GCC: ?
• ICC: ?
• Visual C++: ?

参照

• N4950 26 Ranges library