最終更新日時: 2025年07月09日 00時33分39秒 (JST)
Akira Takahashi が更新

履歴 編集

class template
<ranges>

# std::ranges::join_view(C++20)

    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)
      }
    }

## 概要

- (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';
    }

### 出力

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

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

## バージョン

### 言語

- C++20

### 処理系

- Clang: 13.0.0 ✅
- GCC: 10.1.0 ✅
- ICC: ?
- Visual C++: 2019 Update 10 ✅

## 関連項目

- `join_with_view`

## 参照

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