Инициализация пустого вектора int по умолчанию?

Question

[Имя]

Есть такой код:

vector<int> vec;
vector[2] = 12;

Почему он валидный? Ведь мы не указали размер, он же должен быть по умолчанию быть абсолютно пустым?

Comments

[Евгений Шатунов]

Герман , какие флаги компиляции ты использовал для сборки? На основании чего именно ты делаешь вывод что код, как ты выражаешься, "валидный"? Что ты понимаешь под словом: "валидный"?

Answer 1

[Армянское Радио]

Код компилируется, но из этого не следует, что он валидный.
В данном случае, тут UB и программа будет вести себя непредсказуемо.

Comments

[Евгений Шатунов]

Армянское Радио , будет очень познавательно если помимо указания на неопределенное поведение также будут приведены и пояснения со ссылками, почему именно в данном случае поведение неопределено.
Тема неопределенного поведения является довольно обширной и конкретная конструкция может одновременно попадать под несколько условий неопределенного поведения.

Answer 2

[vanyamba-electronics]

Он просто скомпилировался как

vector<int> vec;
int& tmp = vec.operator [] (2);
operator = (tmp, 12);

Так что всё валидно.

Comments

[Евгений Шатунов]

vanyamba-electronics , а у тебя есть доказательство того что твой пример асимптотичен коду автора?
Было бы очень интересно увидеть доказательство.

[Денис Загаевский]

что это вообще значит?

[Mercury13]

Int& tmp = …

[vanyamba-electronics]

Mercury13, точно, исправил