- 開始（容器） - 定義行爲？

Question

我正在爲自定義雙向迭代器實現遞減運算符。遞減迭代器指向Range的第一個元素是否定義了行爲？遞減後它有一些特殊的價值，如Range.end（）？

Answer 1

迭代器的要求是相當清楚的：在24.2.6 [bidirectional.iterators]，表110：

--r（表達式）X&（返回類型）預：存在s使得r == ++s。

因爲沒有這樣的s爲c.begin()，它不能在不違反前提遞減。

Answer 2

在所有標準庫容器的迭代器中，這是未定義的行爲。但是如果你正在做自己的迭代器類，它不一定是。