为什么以下代码不会在MSVC中生成警告

Question

我有一段代码可以总结如下;

void MyFunc()
{
   int x;
'
'
   x;  
'
'
}

我原本以为只是引用一个变量，无论如何都不修改它或者无论如何都要使用它的值应该产生一个警告。 在VS2003中它既不会，也不需要lint来拾取它。

我意识到它不会影响执行，但由于它是一段什么都不做的代码，程序员无疑打算做某事，为什么它没有被标记？

同样，你会期望x = x是警告吗？

编辑：修改过的问题，因为这构成了警告的良好候选者，但不是错误。 回复表明，其他编译器可以更好地处理这个问题。 稍后会试用VS2008并发布结果。

Answer 1

此类代码可能出现在模板类中，用于元编程目的。 例如，可能是某种检查是否可以从当前上下文访问x 。 是的，它不会影响 执行结果，但确实会影响 编译结果; 这可能有助于像 SFINAE这样的技术。

看来，编译也无济于事。 函数体不计入为函数调用选择适当的模板。 要检查类范围内的可访问性，必须using运算符作为依赖名称; 这using运算符本身是一个可访问性检查。

所以，代码x; 真的没有效果。

Answer 2

除非你将表达式转换为void，否则你会发出警告

void MyFunc()
{
   int x;

   (void)x;  

}

你设定了什么警告级别？

Answer 3

您需要使用更好的编译器:-)使用-Wall和-pedantic标志编译，GCC C ++编译器给出以下代码：

int main() {
    int x = 0;
    x;
}

产生这种诊断：

ma.cpp:3: warning: statement has no effect

Answer 4

单变量语句（例如x; ）和自赋值（例如x = x ）都是C ++中的有效代码，因此编译器不能将它们标记为错误，但是一个好的编译器当然可以给出一个警告他们没有任何影响，可能是程序员的错误。 例如，编译器g ++为x提供警告“语句无效” ; 。