C 中的 switch 语句：变量的情况？

Question

#include <stdio.h>
int main(int argc, char *argv[]){
    char a = 'c';
    switch('c'){
        case a:
            printf("hi\n");
    }
    return 0;
}

对于此错误，上述内容将无法编译：

case label does not reduce to an integer constant

为什么不允许这样做？

Answer 1

明确允许编译器使用高效的二叉树或跳转表来评估 case 语句。

因此，case 语句是编译时常量。

Answer 2

想一想，如果您有以下内容怎么办：

int a = 1, b = 1, c = 1;

switch (a)
{
case b: return 1;
case c: return 2;
}

它会返回什么？

大小写标签必须保持不变，以便编译器可以证明不存在歧义。

Answer 3

switch 语句的想法是，编译器可以生成仅在运行时检查 switch 表达式的代码，并由此推断出要跳转到的位置。

如果 case 标签可能是非常量的表达式，则必须评估所有此类 case 表达式以查看是否有匹配的表达式。因此，它必须计算 n 个表达式，而不是计算一个表达式，其中 n 是该 switch 的 case 标签数量。

switch 的整个想法是以与您相反的方式进行。将变化表达式 a 放入 switch 本身中，并将常量（如 'c'）放入 case 中。

Answer 4

C99 标准是这么说的（C89 标准非常相似）：

§6.8.4.2 switch 语句

约束

¶1 switch 语句的控制表达式应为整数类型。

[...]

¶3 每个 case 标签的表达式应为整数常量表达式，并且不能有两个
同一 switch 语句中的 case 常量表达式应具有相同的值
转换后。 switch 语句中最多可以有一个默认标签。

这就是语言要求：case 标签应为整数常量表达式，并且单个 switch 中的所有 case 都应是唯一的。这就是 C 的设计方式。现在不太可能更改（即使更改不会破坏任何当前有效的代码，甚至不会更改其含义）。