なぜデータベクタをクリアした後でもそれにアクセスできますか？

Question

Hereのコード：

vector<double> samples; 

int main() 
{ 
    samples.resize(100); 
    for(int i=0; i<100; i++) { 
     samples[i]=i/100.0; 
    } 

    samples.clear(); 
    cout << "vector size: " << samples.size() << endl; 
    cout << "... but samples[9]=" << samples[9] << endl; 
} 

て出力する：

vector size: 0 
... but samples[9]=0.09 

ベクトルをクリアした後、私はまだそのデータにアクセスすることができます（サイズは0です）。それは普通ですか？

Referenceによると、要素は「破棄されます」と表示されますが、「デフォルト/空」の値ではないようです。私は、実行時に「範囲外」のエラーメッセージになるだろう他の言語では

...それは、「デフォルト/空」の値を意味するものではありませんようだ

Answer 1

。

はい、それはちょうどUBです。

注std::vector::operator[]は境界チェックを実行しませんが、std::vector::at()は例外であり、ケースの場合はstd::out_of_rangeの例外がスローされます。

Answer 2

C++はJava、C＃またはPythonのような多くのものが、エラーを生成する代わりに未定義の動作として定義されている点で異なります。アレイのアウトオブバウンドアクセスをチェックすることはそのような例です。定義されていない動作のため、this also gives the compiler a great degree of freedom to optimize your code。

具体的なケースでは、std::vector::operator[]経由でアクセスが制限されていることは、未定義の動作です。コンパイラは自由に任意の動作を生成できます。一般的なケースは、メモリ位置へのアクセスを実行し、そこにあるものを返すことです。