由于一个小错别字，我偶然发现了这个结构:
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是有效的，但也完全不可访问。
我得到了一个干净的编译，甚至没有关于不可达代码的警告，但这似乎毫无意义。
编译器应该将此标记为不可访问的代码吗? 这有什么用吗?
当前回答
你得到了与所需的gcc选项-Wswitch-unreachable生成警告相关的答案，这个答案是关于可用性/价值部分的详细说明。
直接引用C11第6.8.4.2章，(我的重点)
开关(expr) ｛ Int I = 4; f(我); 例0: I = 17; /*变为默认代码*/ 默认值: printf (" % d \ n”,我); ｝ 标识符为I的对象存在自动存储 持续时间(在块内)，但从未初始化，因此如果 控制表达式具有非零值，即对printf的调用 函数将访问一个不确定的值。类似地，调用 函数f不能得到。
这是不言自明的。您可以使用它来定义一个局部作用域变量，该变量仅在switch语句作用域内可用。
其他回答
假设您在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 (foo)
{
int i;
case 0:
i = 0;
//....
case 1:
i = 1;
//....
}
标准(N1579 6.8.4.2/7)有以下示例:
在人工程序片段中 开关(expr) ｛ Int I = 4; f(我); 例0: I = 17; /*变为默认代码*/ 默认值: printf (" % d \ n”,我); ｝ 标识符为I的对象存在并具有自动存储持续时间(在块内)，但从不存在 初始化，因此如果控制表达式具有非零值，则对printf函数的调用将 访问一个不确定的值。类似地，无法到达对函数f的调用。
P.S. BTW，样例不是有效的c++代码。在这种情况下(N4140 6.7/3，我的重点):
A program that jumps90 from a point where a variable with automatic storage duration is not in scope to a point where it is in scope is ill-formed unless the variable has scalar type, class type with a trivial default constructor and a trivial destructor, a cv-qualified version of one of these types, or an array of one of the preceding types and is declared without an initializer (8.5). 90) The transfer from the condition of a switch statement to a case label is considered a jump in this respect.
替换int i = 4;用int i;使它成为一个有效的c++。
你得到了与所需的gcc选项-Wswitch-unreachable生成警告相关的答案，这个答案是关于可用性/价值部分的详细说明。
直接引用C11第6.8.4.2章，(我的重点)
开关(expr) ｛ Int I = 4; f(我); 例0: I = 17; /*变为默认代码*/ 默认值: printf (" % d \ n”,我); ｝ 标识符为I的对象存在自动存储 持续时间(在块内)，但从未初始化，因此如果 控制表达式具有非零值，即对printf的调用 函数将访问一个不确定的值。类似地，调用 函数f不能得到。
这是不言自明的。您可以使用它来定义一个局部作用域变量，该变量仅在switch语句作用域内可用。
不仅用于变量声明，还用于高级跳转。你可以很好地利用它，当且仅当你不倾向于面条代码。
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 */
需要注意的是，开关箱是最快的控制流条款之一。所以它对程序员来说必须非常灵活，有时会涉及到这样的情况。
