Разница в поведении (GCC и Visual C++)

Question

Рассмотрим следующий код.

#include <stdio.h> 
#include <vector> 
#include <iostream> 

struct XYZ { int X,Y,Z; }; 
std::vector<XYZ> A; 

int rec(int idx) 
{ 

    int i = A.size(); 
    A.push_back(XYZ()); 
    if (idx >= 5) 
    return i; 

    A[i].X = rec(idx+1); 

    return i; 
} 

int main(){ 
    A.clear(); 
    rec(0); 
    puts("FINISH!"); 

} 

Я не мог понять причину, почему код дает ошибку сегментации на Linux (IDE используется: Code::Blocks), тогда как на Windows (IDE используется: Visual C++) он не.

Когда я использовал Valgrind, чтобы проверить, что на самом деле проблема, я получил this output.

Я получил Invalid write of size 4 в четырех разных местах. Тогда почему не произошел сбой кода, когда я использовал Visual C++?

Я что-то упустил?

Answer 1

Рекурсивный вызов rec() может изменять вектор, когда вы назначаете ему значение.

Что произойдет, если вы замените

A[i].X = rec(idx+1); 

с

int tmp = rec(idx+1); 
A[i].X = tmp; 

?

Кроме того, только суммировать полезные комментарии: порядок оценки операнда = операции не определен и поскольку вектор не выделяется заранее, несколько изменения размера может произойти во время рекурсивного вызова rec(), таким образом, недействительности любого итератора до значений в вектор.

Answer 2

Вы используете int i = A.size()

И тогда вы индексацию-структуру в виде массива, но используя значение размера. Вам нужно уменьшить его на 1, например. A[i-1].X = rec(idx+1);

Ah my error - Я не принимал во внимание вектор push_back.

Answer 3

Я получаю «* ошибка для объекта 0x300180: некорректная контрольная сумма для освобожденного объекта - объект, вероятно, был изменен после освобождения. *« когда я запускаю этот код.

Насколько я помню, A[i].X = rec(idx+1) имеет три точки последовательности. Когда оператор [] вызывается на A, когда rec вызывается и в конце. Но порядок первых двух не определен. Итак, если g ++ сначала вычисляет A[i], а затем вызывает rec(idx+1), тогда, когда rec возвращает ссылку, возвращаемую A[i], может быть признана недействительной перераспределением внутренней памяти вектора. В VC++ он может сначала оценивать rec(idx+1), поэтому все вызовы push_back выполняются спереди, что означает, что вызовы A[i] относятся к правильному блоку памяти. В качестве альтернативы, он может делать то же самое, и вы просто не выполняете segfault ... это одна из проблем неопределенного поведения.

Изменение std::vector<XYZ> A; до std::vector<XYZ> A(10); зарезервирует достаточно места на 10 элементов. Это предотвращает вашу конкретную реализацию rec от необходимости перераспределения и исправляет ошибку на моем конце.