由于一个小错别字，我偶然发现了这个结构:
int main(void) {
char foo = 'c';
switch(foo)
{
printf("Cant Touch This\n"); // This line is Unreachable
case 'a': printf("A\n"); break;
case 'b': printf("B\n"); break;
case 'c': printf("C\n"); break;
case 'd': printf("D\n"); break;
}
return 0;
}
看起来switch语句顶部的printf是有效的，但也完全不可访问。
我得到了一个干净的编译，甚至没有关于不可达代码的警告，但这似乎毫无意义。
编译器应该将此标记为不可访问的代码吗? 这有什么用吗?
当前回答
假设您在Linux上使用gcc，如果您使用4.4或更早的版本，它会给您一个警告。
-Wunreachable-code选项在gcc 4.4以后被移除。
其他回答
可以用它实现“循环半”，尽管这可能不是最好的方式:
char password[100];
switch(0) do
{
printf("Invalid password, try again.\n");
default:
read_password(password, sizeof(password));
} while (!is_valid_password(password));
需要注意的是，switch语句中的代码实际上没有结构限制，也没有大小写*:标签放在代码*中的位置。这使得像duff的设备这样的编程技巧成为可能，一个可能的实现看起来像这样:
int n = ...;
int iterations = n/8;
switch(n%8) {
while(iterations--) {
sum += *ptr++;
case 7: sum += *ptr++;
case 6: sum += *ptr++;
case 5: sum += *ptr++;
case 4: sum += *ptr++;
case 3: sum += *ptr++;
case 2: sum += *ptr++;
case 1: sum += *ptr++;
case 0: ;
}
}
你看，switch(n%8){和case 7:标签之间的代码绝对是可达的…
正如supercat在评论中指出的那样:自C99以来，goto和label(无论是否为case *: label)都不能出现在包含VLA声明的声明范围内。因此，说格*:标签的放置没有结构上的限制是不正确的。然而，达夫的设备早于C99标准，而且它并不依赖于VLA标准。然而，由于这个原因，我不得不在我的第一句话中插入一个“virtually”。
不仅用于变量声明，还用于高级跳转。你可以很好地利用它，当且仅当你不倾向于面条代码。
int main()
{
int i = 1;
switch(i)
{
nocase:
printf("no case\n");
case 0: printf("0\n"); break;
case 1: printf("1\n"); goto nocase;
}
return 0;
}
打印
1
no case
0 /* Notice how "0" prints even though i = 1 */
需要注意的是，开关箱是最快的控制流条款之一。所以它对程序员来说必须非常灵活，有时会涉及到这样的情况。
这有什么用吗?
是的。如果你在第一个标签之前放一个声明而不是语句，这是完全有意义的:
switch (a) {
int i;
case 0:
i = f(); g(); h(i);
break;
case 1:
i = g(); f(); h(i);
break;
}
声明和语句的规则在一般情况下对于块是共享的，所以同样的规则也允许那里的语句。
值得一提的是，如果第一个语句是一个循环结构，case标签可能会出现在循环体中:
switch (i) {
for (;;) {
f();
case 1:
g();
case 2:
if (h()) break;
}
}
如果有更可读的方式，请不要编写这样的代码，但这是完全有效的，而且f()调用是可达的。
你得到了与所需的gcc选项-Wswitch-unreachable生成警告相关的答案，这个答案是关于可用性/价值部分的详细说明。
直接引用C11第6.8.4.2章，(我的重点)
开关(expr) ｛ Int I = 4; f(我); 例0: I = 17; /*变为默认代码*/ 默认值: printf (" % d \ n”,我); ｝ 标识符为I的对象存在自动存储 持续时间(在块内)，但从未初始化，因此如果 控制表达式具有非零值，即对printf的调用 函数将访问一个不确定的值。类似地，调用 函数f不能得到。
这是不言自明的。您可以使用它来定义一个局部作用域变量，该变量仅在switch语句作用域内可用。
