C与C++if语句语法差异：if(1) int a=2;编译差异原因解析

if (1) int a = 2;

这段代码可以在C++环境下正常编译，在C环境下会直接报语法错误，和大家熟知的if (expr) statement规则并不矛盾，核心差异来自两种语言对语法边界的定义不同：

为什么C语言环境下编译失败？ #

根本原因是C的语法规则里，声明和语句是完全平行的两类语法结构，不存在包含关系。
大部分人只记得if的通用规则是if (expr) statement，但没注意C标准里对statement的范围界定：int a = 2;这种变量定义属于声明，根本不在C定义的合法语句范围内，直接放在if后面自然不符合语法要求。
要在C里写等价逻辑，必须给变量定义套一层大括号，写成复合语句（也就是代码块）：

if (1) { int a = 2; }

复合语句属于C认可的合法语句，而代码块内部本来就允许写声明，这种写法就可以正常编译。哪怕是C99之后放开了“块内声明必须写在最开头”的限制，单条声明依然不算合法语句，所以这个写法到最新的C标准里还是编译不通过。

两种语言为什么会有这个语法差异？ #

本质是设计出发点不同：

• C从诞生起就是贴近硬件的系统级语言，变量本质就是一块内存的别名，声明的作用是告诉编译器要预留多少内存、怎么解释这块内存，本身不属于“执行动作”的范畴，所以语法上一直把声明和可执行语句划得很开。
• C早期设计时就引入了类、构造函数、析构函数这些特性，变量不再是单纯的内存标记——对象的初始化、销毁本身就是需要跟着执行流走的动作。所以C直接把声明纳入了语句的范畴（即声明语句），允许声明出现在任何能写语句的位置。只有这么设计，才能实现我们熟悉的作用域规则：比如if分支里声明的变量只在这个分支存活、循环里声明的变量每轮迭代都会重新构造销毁。

后来C99参考C++加了for循环初始化位置写变量声明的特性（就是for(int i=0; i<10; i++)这种写法），但为了不破坏原有C语法的兼容性，只给for循环开了特殊的语法后门，没有全局放开“声明可以当语句用”的规则，才会出现现在这种看起来和通用认知不符的差异。

内容的提问来源于stack exchange，提问作者Tom Hickson