最終更新日時: 2024年06月11日 22時45分38秒 (JST)
Akira Takahashi が更新

履歴 編集

function
<iterator>

# std::make_const_sentinel(C++23)

    namespace std {
      template<semiregular S>
      constexpr const_sentinel<S> make_const_sentinel(S s);
    }

## 概要

`basic_const_iterator`のヘルパ関数。特に、イテレータではないような番兵を`basic_const_iterator`の番兵へと変換するのに使用する。

## 戻り値

    return s;

戻り値型は必ずしも`basic_const_iterator`の特殊化になるわけではない。

## 例

    #include <iostream>
    #include <vector>
    #include <iterator>
    #include <algorithm>

    int main() {
      std::vector vec = {1, 2, 3, 4, 11, 5, 6, 22};

      auto cit = std::make_const_iterator(vec.begin());
      auto cse = std::make_const_sentinel(std::unreachable_sentinel); // unreachable_sentinelはイテレータではない汎用の番兵

      auto pos = std::ranges::find_if(cit, cse, [](auto& n) {
        // 述語中で誤って変更してしまうことを防止する
        // n = 0;
        return 10 <= n;
      });

      std::cout << *pos;
    }

### 出力

    11

## バージョン

### 言語

- C++23

### 処理系

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

## 参照

- P2278R4 `cbegin` should always return a constant iterator