GCC中枚举开关的控制流分析不足

Question

在以下C++代码中:

typedef enum { a, b, c } Test;

int foo(Test test) {
    switch (test) {
        case a: return 0;
        case b: return 1;
        case c: return 0;
    }
}

编译时发出警告-Wall,表示控件到达非void函数的结尾.为什么？

---

编辑

一般说来test示例中的变量可以包含任何值都是正确的.

foo(12354) 不编译:

> test.cpp:15:14: error: invalid conversion from ‘int’ to ‘Test’
> test.cpp:15:14: error:   initializing argument 1 of ‘int foo(Test)’

因为12354是不是一个有效的Test值(虽然它确实会是明文有效Ç,但它不是在C++中).

你肯定可以显式地将任意整数常量强制转换为枚举类型,但是不是认为是未定义的行为吗？

Answer 1

问题是类型的变量Test可以具有编译器提供的类型所允许的任何值.因此,如果它确定它是一个32位无符号整数,则允许该范围内的任何值.所以,如果比如你打电话foo(123456),你的switch语句不会捕捉任何价值,有没有return你之后switch.

default在您的交换机中添加一个案例或添加一些错误处理代码.

Answer 2

无法保证变量test将包含有效的枚举，因此实际上您有可能到达非 void 函数的末尾，例如，如果您的调用代码如下所示：

Test test = Test(3);
foo(test);