- [meta exposition-only]
- 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>;
}no-throw-sentinelは、以下の操作で例外を投げない、型Sがイテレータ型Iの番兵(sentinel)型であることを表す説明用コンセプトである。
- コピー構築
- ムーブ構築
- コピー代入
- ムーブ代入
- 比較
- このコンセプトは
sentinel_forのいくつかの操作で例外を投げることを許可する - このコンセプトは、
std::vector<bool>のイテレータのような、プロキシオブジェクトを指すイテレータを除外する