为什么在写=而不是==时没有收到警告？

Question

由于以下无效声明，经过数小时的努力，他们终于找到了一个错误：

...
assert( variable = -0.5 );

显然这应该是assert( variable == -0.5 ); ：开发人员错字。

我正在使用Visual Studio 2015进行编译，并且确实在进行“ 0警告编译”。

在没有编译器报告的任何警告的情况下，如何编译这样一个糟糕而危险的语句？ 我们是否可以启用编译器选项来避免这种情况？

编辑 ：甚至bool b = ( variable = -0.5 )不会产生任何编译器警告

Answer 1

仅在使用/W4编译级别时才警告条件表达式中的赋值，请参见this 。

因此，我在此代码上使用在线MSVC编译器（此PC上没有VS 2015）对其进行了测试：

//Microsoft (R) C/C++ Optimizing Compiler Version 19.00.23506 for x86

#include <iostream>
#include <cassert>
int main(){
    int a;
    if (a = 2){
        std::cout << "Hello, world!\n";
    }
    assert(a = 3);
}

而此命令行为： source_file.cpp -o a.exe /EHsc /MD /W4 /IC:\\boost_1_60_0 /link /LIBPATH:C:\\boost_1_60_0\\stage\\lib ，两行都发出了警告：

Warning(s):
source_file.cpp(9) : warning C4706: assignment within conditional expression
source_file.cpp(12) : warning C4706: assignment within conditional expression

---

显然，在某些配置下，QT标头qglobal.h使用QT_WARNING_DISABLE_MSVC(4706)禁用了此警告。

Answer 2

您没有收到警告，因为它是完全合法且使用过的表达方式，例如，

while( (char c = getNextChar()) ) ...

因此，有些人在与const进行比较时，倾向于将const写入lhs：

assert( -0.5 =  variable ); // this is an error
assert( -0.5 == variable ); // this is correct

请注意，当您有两个要比较的非常量时，这不会缩放。 同样，记住这个规则是否更容易记住== vs. =是有争议的。

Answer 3

不幸的事实是，没有通过静态时间分析来避免此类错误的简便方法。 考虑一下：

assert(var = possiblyUnsafeOp());
assert(var.otherOp() == something);

第一行证明，可能UnsafeOp（）返回非null，并且在编写测试时不能称为错误。

Answer 4

您没有警告，因为断言可以测试分配，并且可以正常工作。 正如blobonat所说，更安全的代码是： -0.5 = variable

Answer 5

该模式对于在找到0之前的列表中很有用，因此人们可能会故意写出来，这就是为什么不生成警告的原因。 例如：

while(int a = nextElem()){
  //Do something with a
}

代替：

int a = nextElem();
while(a){
  //Do something with a
  a = nextElem();
}

或仅在函数返回非零（通常表示错误）时才执行某项操作

if(int res = myFunction()){
  //Do something only if non-0
}

在您的情况下，变量被分配了-0.5，并且在将其强制转换为断言期望将其固定为0的int时。您可以通过更改检查的位置来避免这种情况，因为-0.5 = variable无效（但是-0.5 == variable ），因此除非您将两个=符号放在一起，否则它不会编译。

Answer 6

这种行为实际上可以派上用场，如果您想使用assert来评估一些复杂的语句，但必须事先进行一些分配，该怎么办？ 在这种情况下（现在想不出一个有效的示例，但我确实记得以此方式使用过），您可以执行以下操作：

assert(variable = -0.5, (do something with variable));

这显然不能在发行版本中使用，但对于复杂的断言可能会有所帮助。