switch 语句里代码有什么限制吗？_switch最多能放多少代码-CSDN博客

本文解析了C语言中switch语句的使用限制，重点解释了Declaration与Statement的区别，并通过实例说明如何正确地在switch-case中使用函数指针声明。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

转载自知乎https://www.zhihu.com/question/35761871

问题：

switch 语句里代码有什么限制吗？

#include <stdio.h>
int main()
{
  int x = 0;
  void (*f1)(void);
  switch(x)
  {
    case 1:
      void (*f2)(void);//注释掉就不报错了
      break;
  }
}

在swith里使用了函数指针定义，然而编译器报出如下错，不知何故。

test3.c:9:7: error: expected expression
      void (*f2)(void);
      ^
1 error generated.

回答：

作者：蓝色
链接：https://www.zhihu.com/question/35761871/answer/64373890
来源：知乎
著作权归作者所有。商业转载请联系作者获得授权，非商业转载请注明出处。

这个问题的话，需要解释清楚的话，需要明白Declaration，Statement和Block三个概念。

而这里简单的解释，在C中，Declaration不同于Statement，而你的函数指针声明即是Declaration。而 i = 3;这样的赋值语句就是属于Statement。而一个Block可以允许一系列的Declaration与Statement在一起，其中一个compound statement就是一个Block，这也为Block与Statement建立了更深的联系。

根据C11标准，switch语句的case与default语句限定格式如下：

case constant-expression : statement
default : statement

我们可以发现限制了case与default后面的为statement，而非declaration。所以，你这里进行函数指针声明是不对的。

上文提到了Block，即 {}，C11定义的格式如下：

compound-statement:
           {  block-item-list (opt) }

block-item-list:
           block-item
           block-item-list block-item

block-item:
           declaration
           statement

所以，可以发现，我们可以把声明与语句放在一个Block里面，变成compound-statement，那么这样就符合statement的要求了，所以你的问题解决方案很简单：

#include <stdio.h>
int main()
{
  int x = 0;
  void (*f1)(void);
  switch(x)
  {
    case 1:
       { 
          void (*f2)(void);//注释掉就不报错了
       } 
      break;
  }
}

这也是为什么加Block可以解决的原因。

当然，这只限定于C，若是C++，你这个代码不加Block也是可以通过的。

而这深层次的原因，自然也是因为C和C++的一些概念不同造成的。

在C++中，Declaration叫做Declaration-Statement，而在C++11标准6.3节也特别注明了：
A compound statement defines a block scope (3.3). [Note: A declaration is a statement (6.7). —end

所以，这也是为什么你的例子不修改，放在C++编译器也可以编译通过的原因。

另外：在自己写代码时发现，case后面必须使用常量即constant-expression，不可以使用变量。