- memory[meta header]
- std[meta namespace]
- concept[meta id-type]
- cpp20[meta cpp]
namespace std {
template <class S, class I>
concept no-throw-sentinel = sentinel_for<S, I>;
}
- sentinel_for[link /reference/iterator/sentinel_for.md]
no-throw-sentinel
は、以下の操作で例外を投げない、型S
がイテレータ型I
の番兵(sentinel)型であることを表す説明用コンセプトである。
- コピー構築
- ムーブ構築
- コピー代入
- ムーブ代入
- 比較
- このコンセプトは
sentinel_for
のいくつかの操作で例外を投げることを許可する - このコンセプトは、
std::vector
<bool>
のイテレータのような、プロキシオブジェクトを指すイテレータを除外する