これは適切な動作ですか？ std ::マップイテレータの無効化

Question

#include <iostream> 
#include <map> 

int main(int argc, char** argv) 
{ 
    std::map<int, int> map; 
    map.emplace(1, 1); 
    auto reverse_iter = map.rbegin(); 
    std::cout << reverse_iter->first << ", " << reverse_iter->second << std::endl; 
    map.emplace(2, 2); 
    std::cout << reverse_iter->first << ", " << reverse_iter->second << std::endl; 

    return 0; 
} 

これはアウト出力します

1, 1 
2, 2 

はこれが標準によると、起こることになっているものは本当にですか？私はreverse_iter触れていないよ、それがポイントの値が変化しています。私はSTDにイテレータを考え::マップが挿入に対して安全であることになっていました。しかし、むしろ、「この時点でマップの最後であることを起こるものは何でも」するために、私はそれを告げた値を指して滞在することはないというreverse_iterを決定しているようです。

更新：（どのような状況で、私は見つけるように見えることができます）、これは前方イテレータで発生していないようだ、と私のgccのバージョンは5.1.1-4です：更なる情報、ケースには重要。

Answer 1

引用され、ここでhttp://en.cppreference.com/w/cpp/container/map/rbegin

リバースイテレータはそれが実際に

に

を指し、1以上の次の要素へのイテレータを格納したような副作用は、（あなたがそのイテレータの前に何かを挿入した場合ということでしょう最後の（））inclidingときその逆イテレータデリファレンスあなたがその新しい値が表示されます。この場合、逆の反復子は無効とは思われません。

Answer 2

C++標準（23.2.4連想コンテナ）

9によると、インサートとメンバーがコンテナに イテレータと参照の有効性に影響を与えないものとし、消去メンバーは のみ無効とするものと据え付けますイテレータ、および消去された要素への参照です。一方

（24.5.1リバースイテレータ）

1クラステンプレートreverse_iteratorは 先頭に、その根底にある反復子によって定義された配列の端から を反復するイテレータアダプタでありますそのシーケンス。

約クラスstd::reverse_iteratorについては、同じことが標準コンテナの逆イテレータに有効です。表97によると

- リバーシブルコンテナの要件

rbegin()だからあなたの例では逆イテレータはまだend()に対応reverse_iterator(end())

に対応しています。 `

Answer 3

map.rbegin()がstd::reverse_iterator(map.end());

に等しいイテレータを返すとき、あなたの問題は、逆イテレータを逆参照が発生します。 reverse_iteratorを逆参照すると、実際に得られる値はイテレータから得られ、その値がreverse_iteratorの内部に格納されます。それは奇妙に思えるが、良いの理由であり、それは避けられないですかもしれません。これは、範囲の過去端の要素を配置するためのものです。逆の場合、範囲内の終わりの要素を指すイテレータは、最後の要素（それを超えていない）を指しています。範囲（これは逆の範囲の最初の要素です）。また、ある範囲内の最初の要素のイテレータが逆転した場合、逆イテレータは最初の要素の前の要素を指します（これは、逆の範囲の終わりの要素です）。 reverse_iterを逆参照するとき、あなたの場合には、

はやって同等です：

*(--map.end()); 

その結果、第2 emplace後のマップの最後の要素を変更し、逆参照している(--map.end())（すなわち、あなたのreverse_iter）あなたを地図の新しい最後の要素を取得します。

Answer 4

std::map<int, int> map2; 
map2.emplace(2, 2); 
auto fiter = map2.begin(); 
std::cout << fiter->first << ", " << fiter->second << std::endl; 
map2.emplace(1, 1); 
std::cout << fiter->first << ", " << fiter->second << std::endl; 
fiter = map2.begin(); 
std::cout << fiter->first << ", " << fiter->second << std::endl; 

プリント

2, 2 
2, 2 
1, 1