最終更新日時: 2025年09月26日 00時38分13秒 (JST)
Raclamusi が更新

履歴 編集

type-alias
<iterator>

# 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>
    #include <vector>

    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>);
    }

### 出力

## バージョン

### 言語

- C++23

### 処理系

- Clang: ??
- GCC: 13.1 ✅
- Visual C++: 2022 Update 6 ✅

## 参照

- P2278R4 `cbegin` should always return a constant iterator