使用o2标志进行编译会使程序抛出访问冲突

问题描述

| 我知道这可能是一生中一次的问题，但是我坚持了下来，我想不出任何可能的问题来解决这个问题，我已经用c ++编写了一个代码（大约500使用Visual Studio在单独的类和文件中的两行）进行编译，而我在不使用优化标志（/ od）的情况下进行编译可以正常工作，但是当我尝试使用发布配置（/ o2进行优化的标志）对其进行编译时，该程序会导致访问冲突并崩溃。经过一些调试后，我发现成员函数之一内部的值正在更改为“ 0”，但我看不到指针在调用堆栈中直接使用了指针，因为指针发生了变化，任何人都可以提出任何建议以使这种情况发生在仅当启用优化时？ 不知道这是否对您有帮助，但是当我使用优化进行编译时，我可以看到在我的第一个函数调用ѭ1的末尾添加了一个程序集指令。不管它是什么，这就是指针更改的地方。 我在尝试使用反汇编程序进行调试时发现的一些新东西，该函数中有13条

push

指令，只有10条

pop

指令引起了问题（问题是由just4ѭ指令之前的最后一个弹出指令引起的），可以吗？ （我也在计算调用的函数中的所有push，pop指令。）     

解决方法

在优化和不优化下看到不同行为的原因是您的代码（无意间）依赖于未定义的行为。如果编译器以一种方式对数据进行布局，则恰好起作用，而如果编译器以不同的方式对数据进行布局，则中断。 换句话说，您有一个错误。 它可能在您已经测试过的代码中，或者可能在您使用该代码的方式中。无论如何，正如@Nim在评论中所说，请检查您分配和释放内存的位置。检查您的课程是否遵循三个规则。确认您的某处没有缓冲区溢出。也许也尝试使用其他编译器进行编译。使用静态分析工具（MSVC具有/ analyze，Clang具有--analyze。在Linux上，Valgrind可能是一个不错的选择）。 但是不要假设这是一个编译器错误。当然会发生这些错误，但是它们通常不是此类错误的来源。在几乎每种情况下，它都是开发人员自己代码中的潜在错误。仅仅因为它不会每次都触发，每个编译器标志并不意味着它不存在，或者是编译器的错。     ,因为您说this指针突然改变了值，所以我相信这与堆损坏有关。另一方面，由于您说这与优化代码无关，因此也可能与堆栈有关。优化器所做的一件事是，它删除了堆栈中从未访问过的未使用变量。 实际上，这意味着在不以优化模式进行编译时，堆栈上会存在更多变量，从而使内存布局有所不同，并在某种意义上为堆栈增加了内存空间，这可能会对如何软件会对例如堆栈溢出做出反应。 如果存在从未使用过的局部变量，则程序不会在意是否破坏了从未使用过的局部变量的内存。只有当您破坏了实际使用的内存时，才成为问题。 您可以告诉编译器使用不同的警告级别（如果我没有记错的话，为四个警告级别）。如果使用最高的警告，警告将被视为编译器错误，这将终止编译过程。这样，您可以注意到在优化代码时将删除的局部变量，并使您更接近实际问题。开始在代码的这些区域中搜索。 我还建议您删除代码并进行测试，只是为了排除有问题的代码位于何处，并逐步找出问题所在。如果您没有任何信息，则必须从头开始（程序的主循环），并尝试隔离并排除工作正常的代码部分。 \“如果我注释掉此函数调用，则它不会崩溃\”可能会给您一个提示:)