c++ - --begin(container) - 動作が定義されていますか?

Question

カスタムの双方向反復子にデクリメント演算子を実装しています。Range の最初の要素を指すデクリメント イテレータは動作が定義されていますか? Range.end() のように、デクリメント後に特別な値がありますか?

Answer 1

すべての標準ライブラリ コンテナーの反復子では、これは未定義の動作です。ただし、独自の反復子クラスを作成する場合は、そうする必要はありません。

Answer 2

イテレータの要件はかなり明確です: 24.2.6 [bidirectional.iterators] では、表 110:

--r(式) X&(戻り値の型) pre: というものが存在sしr == ++sます。

にはそのようなものがないsためc.begin()、前提条件に違反せずにデクリメントすることはできません。