这个错误本质上是C语言的语法规则限制导致的，咱们一步步拆解清楚：

1. 为什么直接写case 4: int res = 1;会报错？ #

C标准明确规定：跳转标签（比如case、goto的标签）必须紧跟在一个「语句（statement）」之前，而变量声明（哪怕带初始化）属于「声明（declaration）」范畴，并不被视为「语句」。

你写的代码里，case 4: 后面直接跟着int res = 1;——这是一个带初始化的变量声明，不是合法语句，编译器就会抛出你看到的错误：a label can only be part of a statement and a declaration is not a statement，直白翻译就是“标签只能依附在语句上，声明不算语句”。

2. 为什么加个分号case 4:;就能解决？ #

分号;在C语言里代表空语句（null statement），它是一个完全合法的语句。当你写成case 4:;时，case标签就绑定在了这个空语句上，完美满足了“标签必须跟在语句前”的语法要求。

接下来的int res = 1;就变成了当前代码块（main的switch块）内、空语句之后的正常声明——C99及以后的标准允许在代码块的任意位置声明变量（只要在使用前），编译器自然就接受了这段代码。

补充：更规范的替代写法 #

其实除了加空语句，更推荐把case分支的代码用大括号包裹成复合语句：

#include<stdio.h>
void main() {
    int a = 4;
    switch (a) {
        case 4: {
            int res = 1;
            printf("%d",res);
            break;
        }
    }
}

这种写法不仅解决了语法问题，还能把变量res的作用域限制在当前case分支内，避免后续case分支意外访问到这个变量，代码的可读性和安全性都会更好。

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