这行代码为什么不对？

whyglinux

C++中，对类型、对象或函数的声明一般出现在一个单独的声明语句中，语句以分号结束。声明表明了一个名字作何解释。

除此之外，C++还对 C 中条件和循环语句内要求的条件(condition)进行了扩充：除了原来的表达式(expression)可作为条件使用之外，在C++中声明也可以作为条件和循环语句中的条件使用，并且对作为条件使用的声明进行了一些限制——只能是对单个对象（数组除外）的声明，即不能是对函数和类型的声明，也不能是声明列表。

具体地说，在下面的语句中 condition 的地方可以使用上面规定的声明。

1. if ( condition )
   
2. switch ( condition )
   
3. while ( condition )
   
4. for ( for-init-statement  condition ; expression )
   

复制代码

即上面的 condition 可以是表达式，也可以是声明（如果是 C 的话就只能是表达式，不能是声明）。

需要注意的是：虽然 do while 也属于循环语句，但是它的循环条件只能是一个表达式，不能是声明：

1. do ... while ( expression );
   

复制代码

对于楼主的问题来说，从上面的介绍可知道 if ( int x = 0 ) 这样的使用在 C++ 中是合法的（当然了，在 C 中是不能这样用的），对对象 x 的声明（带初始化的定义）作为 if 语句的条件使用，其值是 x 转换为 bool 类型之后的值（在这个例子中其结果是 false），对象 x 的作用范围局限在这个 if 语句范围内。

如果是 if ( (int x = 0) != s ) 这样的话，那么 (int x = 0) != s 是 if 的条件，是一个表达式而非声明。就象我在上面指出的那样：C++中的声明除了作为一个单独的语句出现、除了在条件和循环语句的条件中出现外，除此之外在任何其它地方出现声明都是非法的，因为标准没有这样规定。比如出现在表达式 (int x = 0) != s 中的 int x = 0 就是这种情况。

Tony_phoenix

好贴，谢谢！！恍然大悟！