は直接のstdに割り当てる::ベクトルを確保した後、エラーをスローしませんが、ベクトルのサイズ

Question

はの問題を可視化を支援するヘルパークラスを作成してみましょう増加しない：

class C 
{ 
int ID = 0; 

public: 
C(const int newID) 
{ 
    ID = newID; 
} 

int getID() 
{ 
    return ID; 
} 
}; 

あなたは空std::vector<C>、その後、予備を作成すると

：ベクトルのインデックス4に

std::vector<C> pack; 
pack.reserve(10); 
printf("pack has %i\n", pack.size()); //will print '0' 

今、あなたがCの新しいインスタンスを割り当てます。それは10個の要素を保持します私は二つのことがここで奇妙なことがわかっ0

：

1）が代入は、コンパイラ（Visual Studioの2015年、リリースモード）も、リリースモードでエラーをスロー作るべきではないのですか？

2）実際には要素が位置4に格納されているため、ベクトルのサイズがゼロではなく1であるべきではありませんか？

Answer 1

未定義の動作は未定義です。これをオブジェクトのベクトルにすると、予想外の動作がよりはっきりと分かります。

#include <iostream> 
#include <vector> 

struct Foo { 
    int data_ = 3; 
}; 

int main() { 
    std::vector<Foo> foos; 
    foos.reserve(10); 
    std::cout << foos[4].data_; // This probably doesn't output 3. 
} 

ここで、実際にオブジェクトを割り当てていないため、コンストラクタが実行されていないことがわかります。

もう1つの例では、ベクトルが実際に割り当てを開始していないスペースを使用しているため、ベクトルがバッキングメモリを再割り当てする必要がある場合、書き込んだ値はコピーされません。

#include <iostream> 
#include <vector> 

int main() { 
    std::vector<int> foos; 
    foos.reserve(10); 
    foos[4] = 100; 
    foos.reserve(10000000); 
    std::cout << foos[4]; // Probably doesn't print 100. 
} 

Answer 2

ショート答え：

1）operator[]はあなたが合格した位置を確認するために想定されていないので、例外をスローする理由はありません。デバッグモードではそうするかもしれませんが、リリースではそうはしません（それ以外の場合はパフォーマンスが低下します）。リリースモードでは、コンパイラはあなたが提供するコードがエラー耐性であることを信頼し、コードを速くするためにすべてを行います。

指定された位置posの要素への参照を返します。 いいえ 境界チェックが実行されます。あなたは単にあなたがまだ所有していないメモリをアクセス

http://en.cppreference.com/w/cpp/container/vector/operator_at

）（ reserveは、あなたがそれを行うものは、未定義の動作です） resizeではありません。しかし、あなたは vectorに要素を追加したことは一度もなく、バッファーを変更することさえ考えていません。 @Billが示すように、 vectorはあなたのローカル変更をコピーせずにそのバッファを変更することができます。

編集： また、vector::at機能を使用すると、境界チェックのために例外が発生する可能性があります。

ある：pack.at(4) = C(57);は例外

例をスロー：の

https://ideone.com/sXnPzT