join_view.md

join_view

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

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

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

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

概要

• (1): 要素がRangeであるRangeの各要素を繋げて1つのRangeとして扱うview
• (2): join_viewを生成するRangeアダプタオブジェクト

Rangeコンセプト

borrowed	sized	output	input	forward	bidirectional	random_access	contiguous	common	viewable	view
			〇	(1)	(2)			(3)	○	○

• (1): 外側・内側のRangeがforward_rangeであり、内側Rangeが参照型のとき
• (2): 外側・内側のRangeがbidirectional_rangeであり、内側Rangeが参照型かつcommon_rangeであるとき
• (3): 外側・内側のRangeがforward_rangeかつcommon_rangeであり
  • constではない場合、内側のRangeは参照型（prvalueではない）

外側RangeとはVのことであり、内側Rangeとはrange_reference_t<V>のことである。constの場合Vをconst Vとして同様。

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

• view<V>
• input_range<V>
• input_range<range_reference_t<V>>

効果

• (2): 式views::join(E)の効果はjoin_view{E}と等しい。

メンバ関数

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

継承しているメンバ関数

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

推論補助

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

例

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

int main() {
  using namespace std;
  vector<string> sv = {"hello", "world"};

  for (char c : sv | views::join) {
    cout << c << ',';
  }
  cout << '\n';
}

• views::join[color ff0000]

出力

h,e,l,l,o,w,o,r,l,d,

ネストされた char のRangeが平坦な char のRangeになっている。

バージョン

言語

• C++20

処理系

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

関連項目

• join_with_view

参照

• N4861 24 Ranges library
• C++20 ranges
• P2328R1 join_view should join all views of ranges