最終更新日時(UTC):
が更新

履歴 編集

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

処理系

参照