STL迭代::開始（）

Question

在C++ 11的std::map，是有一些有效的迭代X使得++ X是保證等於map::begin()？我想檢測一個我剛剛調用的函數（我的）是否已經從函數的前面走過一個迭代器。該函數會將迭代器向後移動一個位置。

答案是否適用於圖書館的其他部分？

Answer 1

不，在std容器開始之前的迭代器都是UB（除了反向迭代器，它可能無法解決您的問題LEM）。

您可能需要修復有問題的功能。如果沒有，請在打電話之前將其包裝並抓住不良行爲。如果不這樣做，可以在map鍵類型順序中插入負無窮大元素，並添加一個有序值。如果不這樣做，你可以編寫迭代器適配器，將你的map迭代器包裝成可以在沒有UB的情況下開始一次性迭代器。

這些按我的推薦順序大致排序。每種方法都有可能失敗，並且隨着我的建議變得更加偏僻，它們會變得更加容易出錯和危險。

Answer 2

通過「走的迭代器關閉前」我猜你是遞減前向迭代是這樣的：

// don't do this: 
for(it = mymap.end(); --it >= mymap.begin();) { ... } 

相反，增加這樣一個反向迭代：

// this is better: 
for(it = mymap.rbegin(); it != mymap.rend(); ++it) { ... } 

-Jesse

Answer 3

認識到標準庫容器是半開放範圍[begin, end)是非常重要的，也就是說你可以迭代一個過去的結束。對於雙向（和隨機）迭代器，你也可以做--end()並從邊緣回來。由*end()解引用一個末尾是未定義的行爲，因此將開始迭代器遞減--begin()或begin() - 1。這隻有一個例外：std::forward_list其中有一個不可解除引用的迭代器before_begin()，它滿足++before_begin() == begin()（但請注意，對於forward_list，您不能將begin()減1）。

雙向迭代器的這種基本不對稱意味着反向迭代器是常規迭代器周圍的精簡包裝器。在大多數標準庫實現中，它們只包含underyling迭代器的副本base_。遞增std::reverse_iterator稱之爲類似--base_; return *this;，並且取消引用 它確實auto old = base_; return *--old;。底層迭代器在任何時候都不會減少到begin()之前，並且不會通過這種方式去引用end()。

以下是在四種方式來迭代一個容器支持雙向或隨機迭代器，和各種迭代器之間的關係（.base()轉換一個std::reverse_iterator回到其底層迭代器）

#include <iomanip> 
#include <iostream> 
#include <iterator> 
#include <map> 
#include <string> 

int main() 
{  
    auto c = std::map<int, std::string>{ {1, "hello"}, {2, "world"} }; 

    { // 1) forward iteratation 
     auto it = begin(c); 
     for (; it != end(c); ++it){} 
     std::cout << std::boolalpha << (it == c.rbegin().base()) << "\n"; 
    } 

    { // 2) meh, backward iteration 
     auto it = end(c); 
     for (; it != begin(c); --it){} 
     std::cout << std::boolalpha << (it == c.rend().base()) << "\n"; 
    } 

    { // 2') better: reverse iteration 
     auto it = c.rbegin(); 
     for (; it != c.rend(); ++it){} 
     std::cout << std::boolalpha << (it.base() == begin(c)) << "\n"; 
    } 

    { // 1') backward reverse, better avoid this 
     auto it = c.rend(); 
     for (; it != c.rbegin(); --it){} 
     std::cout << std::boolalpha << (it.base() == end(c)) << "\n"; 
    } 
} 

Live Example

如果您的數據結構應該支持雙向迭代，但沒有成員迭代器.rbegin()或rend()，您可以通過std::reverse_iterator(end())和std::reverse_iterator(begin())（這也是標準庫通常實現它們的方式）。