行为差异(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来检查实际问题是什么时,我得到了这个输出.

我到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(),从而使向量中的值的任何迭代器无效.