constant_range.md

constant_range

• ranges[meta header]
• concept[meta id-type]
• std::ranges[meta namespace]
• cpp23[meta cpp]

namespace std::ranges {
  template<class T>
  concept constant_range = input_range<T> && constant-iterator<iterator_t<T>>;
}

• constant-iterator[link /reference/iterator/constant-iterator.md]

概要

constant_rangeは、その要素が変更不可能なrangeを表すコンセプトである。

例

#include <ranges>
#include <vector>

int main() {
  static_assert(not std::ranges::constant_range<      std::vector<int>>);
  static_assert(    std::ranges::constant_range<const std::vector<int>>);

  static_assert(std::ranges::constant_range<std::ranges::iota_view<int>>);
}

出力

バージョン

言語

• C++23

処理系

• Clang: ??
• GCC: 13.1 [mark verified]
• Visual C++: 2022 Update 6 [mark verified]

参照

• P2278R4 cbegin should always return a constant iterator