std::ranges::iota_view::sentinel(C++20)

概要

iota_viewが有限長かつcommon_rangeではない場合の番兵型。

iota_viewの終端要素型の値を1つ記憶していて、比較演算は内部の値同士の比較となる。

このクラスの名前は規定されておらず、振る舞いのみが規定されている。

このクラスの型を取得したい場合、sentinel_tを使用できる。

なお、iota_viewの番兵型は、無限長のときはunreachable_sentinel_t、有限長でcommon_rangeのときはiteratorである。

実装例

namespace std::ranges {
  template<weakly_incrementable W, semiregular Bound>
    requires weakly-equality-comparable-with<W, Bound>
  struct iota_view<W, Bound>::sentinel {
  private:
    Bound bound_ = Bound();
  public:
    sentinel() = default;
    constexpr explicit sentinel(Bound bound): bound_{bound} {
    }

    friend constexpr bool operator==(const iterator& x, const sentinel& y) {
      return x.value_ == y.bound_;
    }

    friend constexpr iter_difference_t<W> operator-(const iterator& x, const sentinel& y) requires sized_sentinel_for<Bound, W> {
      return x.value_ - y.bound_;
    }

    friend constexpr iter_difference_t<W> operator-(const sentinel& x, const iterator& y) requires sized_sentinel_for<Bound, W> {
      return -(y - x);
    }
  };
}

std::ranges::iota_view::sentinel(C++20)

概要

実装例

バージョン

言語

処理系

参照