std::const_sentinel(C++23)

namespace std {
  template<semiregular S>
  using const_sentinel = /*see below*/;
}

概要

任意の番兵型Sを、定数イテレータ型（const_iterator）に対応する番兵型へ変換する。

効果

Sがinput_iteratorのモデルとなる場合 : const_iterator<S>
それ以外の場合 : S

例

#include <iterator>

int main() {
  static_assert(std::same_as<std::const_sentinel<int*>, std::basic_const_iterator<int*>>);
  static_assert(std::same_as<std::const_sentinel<const int*>, const int*>);

  using vec_iter = std::vector<int>::iterator;

  static_assert(std::same_as<std::const_sentinel<vec_iter>, std::basic_const_iterator<vec_iter>>);
  static_assert(std::same_as<std::const_sentinel<std::const_iterator<vec_iter>>, std::const_iterator<vec_iter>>);

  static_assert(std::same_as<std::const_sentinel<std::default_sentinel_t>, std::default_sentinel_t>);
  static_assert(std::same_as<std::const_sentinel<std::unreachable_sentinel_t>, std::unreachable_sentinel_t>);
}

std::const_sentinel(C++23)

概要

効果

例

出力

バージョン

言語

処理系

参照