c++ - 使用/RTC1 编译时有时会抑制警告 C4701

Question

这段代码(注意注释行):

#include <malloc.h>

#pragma warning(error: 4701)

int main(){
    char buffer[1024];
    //buffer[0] = 0;

    void *p;
    int size = 1;
    if (size < 2)
        p = malloc(size);
    free(p); // C4701
    return 0;
}

给出以下警告(如预期的那样):

f:\d\warning.cpp(13) : error C4701: potentially uninitialized local variable 'p' used

但是，当我取消注释 main() 中的赋值时，不再给出警告。我正在使用 /RTC1 命令行选项进行编译以启用 run-time error checks :

cl.exe /RTC1 warning.cpp

我尝试了 Visual C++ 2013 和 2015 的最新 64 位编译器版本。两者都产生相同的行为。

问题是:这是一个编译器错误，还是对此有解释？ Microsoft 的文档提到/RTC1 可能会在给出 C4701 的地方给出运行时错误，但它没有说明警告被抑制。

编辑: 令人费解的部分是警告仅在 buffer[0] = 0; 不在注释中时才会消失。

Answer 1

在很多情况下，有些东西不是最优的，可能有错误，甚至是未定义的，而编译器很难检测到这一点。因此，您不应依赖警告(和/或由编译器检测触发​​的运行时错误)来告诉您完整的真相。

要知道编译器可能会在你做傻事时发出警告。它还可能生成代码，当你做一些愚蠢的事情时，它会在运行时爆炸。永远不要依赖它。它无法检测所有内容，您必须自己了解规则。