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