为什么优化大型 std::vectors 数组会导致 SegFault？ [关闭]

Question

关闭。 这个问题需要调试细节。 它目前不接受答案。

---

想改善这个问题吗？ 更新问题，使其成为 Stack Overflow的主题。

1 年前关闭。

改进这个问题

注意：我已经通过使用向量向量而不是向量数组解决了这个问题，但我仍然很好奇程序为什么会被 SegFault 崩溃。
在我的程序中，我必须将多种对象类型（在本例中为 2）的网格存储为向量中的浮点数，以便使用 OpenGL 渲染它们。 我决定使用 ifstream 读取它们并将它们存储在 std::vectors 数组中就可以了。 加载顺序如下所示：

int ObjAmount=2;
char* loadloc[ObjAmount];
//loadloc stores the paths of the files that store the meshes
loadloc[0]="IntegralHead.raw":
loadloc[1]="Pearl.raw";
vector <float> model[ObjAmount];
float modelvar;
for(int i=0; i<ObjAmount; i++)
{
      ifstream modelread (loadloc[i]);
      while(modelread>>modelvar)
      model[i].push_back(modelvar);
}

这是传递到缓冲区的方式：

unsigned int VBO2[ObjAmount], VAO2;
glGenVertexArrays(1, &VAO2);
glBindVertexArray(VAO2);
for(int i=0; i<ObjAmount; i++)
{
      glGenBuffers(1, &VBO2[i]);
      glBindBuffer(GL_ARRAY_BUFFER, VBO2[i];
      glBufferData(GL_ARRAY_BUFFER, model[i].size()*sizeof(float), &model[i][0], GL_STATIC_DRAW);
}

该项目工作就好了，当我没有对优化转，但它在功能坠毁通过分段错误从atioglxx.dll在转弯时-O1 ， -O2 ， -O3或者-Os ，到达时glBufferData通话。
知道为什么会发生崩溃吗？

Answer 1

当您不打开优化器时，编译器（大多数编译器）将生成非常幼稚的代码，它们甚至可能将不需要的变量初始化为零。 只是为了提供更好的调试体验。

一旦你打开优化器，编译器就会停止尝试做一些好事，只是为了帮助你调试东西。 它会尽其所能使您的代码在语言规则内快速运行，并且会采取任何可能的捷径，并且会非常积极地利用未定义的行为。

如果您的代码 100% 符合标准，那就没问题了。

如果你的代码违反了语言的任何规则，编译器会咬你并产生垃圾（或者，至少不是你期望的）。 这是100% 允许的。

记住：不需要编译器告诉你，当你打破语言规则。 了解所有规则并遵守它们是您100%的责任。 编译器将假设您没有违反规则并根据该假设生成代码。 如果这个假设不成立； 你会得到任意的垃圾（并且没有警告或错误）。

C++ 极其复杂且难以使用。 不要指望编译器会帮助您诊断不正确的程序。

打开优化器通常是暴露根本损坏代码的有效方法。