为什么如果（0），switch（0）不会产生警告？

Question

鉴于此代码：

#include <stdio.h>

int main( int argc, char** argv )
{
    switch (0) { 
        case 1: printf("1"); 
        case 2: printf("2"); 
        default:
            printf("default");
            break; 
    }
    return 0;
}

我希望编译器会告诉我一些条件表达式是常量的 （ switch (0)而VS2012发出if(0) ）或无法访问的代码的警告）（ case 1 ， case 2 ）。

但是，无论是在ideone还是在Visual Studio 2012上，还是在最近的GCC上我都没有收到类似的东西。

为什么即使是体面的编译器也不会在这里抱怨？

Answer 1

我刚刚在CLANG上尝试了它，并启用了延长警告并收到以下警告：

参考（奇怪的是）只有交换机中永远不会执行的两行中的第一行：

   case 1: printf("1"); 

Answer 2

从C 2011标准 ：

5.1.1.3诊断

1如果预处理转换单元或转换单元包含违反任何语法规则或约束的情况，则符合要求的实现应生成至少一条诊断消息（以实现定义的方式标识），即使该行为也明确指定为未定义或实现-defined。 在其他情况下不需要产生诊断消息。 ^9）

---

^{9）意图是实施应确定每次违规的性质，并在可能的情况下进行本地化。 当然，只要仍然正确地翻译了有效的程序，实现就可以自由地产生任意数量的诊断。 它也可能成功翻译无效程序。}

强调补充说。

因此，如果在一个采用恒定表达的诊断是必需的switch或if控制表达式是一个约束违反...

6.8.4.1 if语句

约束

1 if语句的控制表达式应具有标量类型。
...
6.8.4.2 switch语句

约束

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

2如果switch语句在具有可变修改类型的标识符范围内具有关联的case或default标签，则整个switch语句应在该标识符的范围内。 ^154）

3每个case标签的表达式应为整型常量表达式，并且同一switch语句中的两个case常量表达式在转换后不应具有相同的值。 switch语句中最多可能有一个default标签。 （任何封闭的switch语句都可以有一个default标签或case常量表达式，其值可以在封闭的switch语句中复制case常量表达式。）

---

^{154）也就是说，声明要么在switch语句之前，要么跟在与包含声明的块中的switch相关联的最后一个case或default标签之后。}

......它不是。

这基本上是一个执行质量问题; 实现可能会在if或switch语句中发出使用常量表达式的诊断，但它不必。 if( 0 )和switch( 0 )可能会使我们大多数人感到愚蠢，但实施不需要对它们发出任何诊断。

Answer 3

我只是尝试过clang -Weverything ：它抱怨argc和argv没有被使用，但是对于switch(0)保持沉默，就像gcc一样。

虽然编译器不必强制发出诊断，但如果错误是拼写错误，警告可能会有所帮助。 试试这个例子：

int test(int l) {
    switch (1) {
    case 0: return 0;
    case 1: return 1;
    default: return -1;
}

您应该在两个项目上提交错误。

编辑： clang似乎最近解决了这个问题，不像ryyker在他的回答中所表明的-Wunreachable-code无法-Wunreachable-code并不会在我的笔记本电脑上抱怨。 我可能有一个旧版本。

Answer 4

要在Visual Studio 2013中获取警告，您需要：

1. 右键单击项目 - >属性
2. C / C ++一节中将警告级别设置为ALL

该警告仅适用于if语句，因为该开关是一个块。