std :: vectorのend（）を設定するのはなぜですか？

Question

end()の標準ライブラリ実装では、それを取得できるだけでなく、過去の値を設定することができます。これはなぜ許可されていますか？潜在的に問題につながることはありませんか？

#include <vector> 
#include <iostream> 


int main(void) 
{ 
    std::vector<int> v; 
    v.push_back(1); 
    v.push_back(2); 
    v.push_back(3); 
    *v.end() = 2; // why am I allowed to do this? 
    std::cout << *v.end() << std::endl; 

    return 0; 
} 

Answer 1

なぜこれが許可されていますか？

これはありません。 Undefined Behaviorを呼び出しています。このコードは、クラッシュや印刷を含む何らかの処理を行う可能性があります。

Answer 2

これは許可されていません。あなたのプログラムがクラッシュしていないからといって、それが許されているわけではありません。あなたの上司にそれを示すとき、あなたのプログラムは火曜日にクラッシュするかもしれません。あるいは、あなたは2を他の変数に書きました。

これはの未定義の動作と呼ばれ、特に何か起こることは期待できません。クラッシュすることは期待できません。

Answer 3

これはとなるでしょう。確かにが問題になり、標準では許可されていません（未定義の動作）。残念なことに、可能なすべての違反を診断するコンパイラを書くことはできません。そのようなコード構造は、標準に関する限り違法であってもコンパイルされます。