为何C语言if语句后声明变量时必须使用大括号？

先看你遇到的具体情况：

第一个无法编译的代码：

#include <stdio.h>
int main(){
    int i = 10;
    if (i == 10)
        int j = 11;
    return 0;
}

编译时会抛出报错：

fails.c: In function ‘main’:
fails.c:7:3: error: expected expression before ‘int’
int j = 11;
^

而给if分支加上大括号后，代码就能正常编译：

#include <stdio.h>
int main(){
    int i = 10;
    if (i == 10){
        int j = 11;
    }
    return 0;
}

核心原因：C语言的语法规则限制 #

在C语言里，if语句的语法定义是：

if (表达式) 语句

这里的「语句」只有两种合法形式：

• 单个执行语句：比如赋值语句（j = 11;）、函数调用（printf("test");）、空语句（;）这类能产生执行动作的语句。
• 复合语句（代码块）：用{}包裹的一组代码，里面可以包含任意数量的声明、执行语句。

而变量声明（比如int j = 11;）属于声明语句，它并不属于「单个执行语句」的范畴——当if后面没有{}时，编译器会期望紧跟一个能执行的表达式语句，但你写的是声明，所以就会抛出“expected expression before ‘int’”的错误，因为它没看到预期的表达式，反而看到了声明关键字int。

当你加上{}后，就把声明放进了一个复合语句里，而复合语句允许包含声明（哪怕是C99之前的标准，也允许在代码块开头放声明；C99及之后更是允许在代码块中间任意位置放声明），编译器自然就能正常处理了。

简单总结：if后面直接跟变量声明是语法不允许的，必须把声明放进{}包裹的代码块中，让if的分支对应一个合法的复合语句。

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