2. リファレンス
3. ranges
4. common_range

最終更新日時: 2026年09月11日 13時06分31秒 (JST)
Akira Takahashi が更新

履歴 編集

std::ranges::common_range(C++20)

namespace std::ranges {
  template<class T>
  concept common_range = range<T> && same_as<iterator_t<T>, sentinel_t<T>>;
}

#include <ranges>

int main() {
  namespace ranges = std::ranges;
  namespace views = std::views;

  // 無限長のiotaはcommon_rangeではない
  // (イテレータと番兵の型が異なる)
  static_assert(!ranges::common_range<decltype(views::iota(0))>);

  // commonを適用するとcommon_rangeになる
  static_assert(ranges::common_range<decltype(views::iota(0) | views::common)>);
}