最終更新日時: 2025年07月10日 10時26分30秒 (JST)
Koichi Murase が更新

履歴 編集

function
<ranges>

# std::ranges::cartesian_product_view::end(C++23)

    constexpr iterator<false> end()
      requires ((!simple-view<First> || ... || !simple-view<Vs>) &&
                cartesian-product-is-common<First, Vs...>); // (1) C++23

    constexpr default_sentinel_t end() const noexcept; // (2) C++23

    constexpr iterator<true> end() const
      requires cartesian-product-is-common<const First, const Vs...>; // (3) C++23

## 概要

番兵またはイテレータを取得する。

## 効果

- (1) : 以下と等価

      auto end_tuple = tuple-transform([](auto& r) { return cartesian-common-arg-end(r); }, bases_);
      return iterator<false>(*this, std::move(end_tuple));

- (2) : `return default_sentinel;`

- (3) : 以下と等価

      auto end_tuple = tuple-transform([](auto& r) { return cartesian-common-arg-end(r); }, bases_);
      return iterator<true>(*this, std::move(end_tuple));

ここで、`iterator`は説明専用のイテレータクラス、`tuple-transform`は説明専用の関数で、tupleの各要素に関数を適用する。`cartesian-common-arg-end`は説明専用の関数である。

## 例

    #include <ranges>
    #include <vector>
    #include <list>
    #include <print>

    int main() {
      std::vector<int> v = {1, 2};
      std::list<char> l = {'a', 'b'};

      std::ranges::cartesian_product_view cv{v, l};

      // イテレータ範囲で全要素を出力
      for (auto it = cv.begin(); it != cv.end(); ++it) {
        std::println("{}", *it);
      }
    }

### 出力

    (1, 'a')
    (1, 'b')
    (2, 'a')
    (2, 'b')

## バージョン

### 言語

- C++23

### 処理系

- Clang: 16.0 ✅
- GCC: 13.2 ✅
- Visual C++: 2022 Update 7 ✅

## 参照

- N4950 26.7.33 Cartesian product view