c - C switch 语句中的意外(和未处理)值

Question

给定这段代码:

typedef enum {
    Test0 = 0,
    Test1 = 1,
    Test3 = 3
} TestEnum;

如果发生这种情况会怎样？

TestEnum a = 2;

switch(a) {
    case Test0: println("0"); break;
    case Test1: println("1"); break;
    case Test3: println("3"); break;
}

我试图在我的 switch 中不使用 default 情况，这样当我不处理我的枚举中的任何新值时编译器会告诉我(枚举变化相当频繁并且是由外部图书馆提供)。

处理我的方法被赋予垃圾的最佳方法是什么？我可以只让 switch 处理这个值，还是会产生意想不到的后果？

---

很多评论/回答都说没有发生任何事情，因为它没有被处理，这是 (a) 好消息，但 (b) 有点违背编译器实现开关的方式。

我了解到编译器不只是一个一个地检查每个选项，他们使用函数指针的查找表来实现一个开关。这样我们就不必对每个 case 执行 else-if 直到找到匹配的那个。

鉴于上面的开关，编译器将创建 3 个看起来像这样的函数。 . .

address     code

    1       a = 2
    2       locations = [100, 200, 0, 300] // Compiler makes this lookup for us
    3       goto locations[a] // This single line is our switch :)
    4       carry on with the rest of the app 

  100       println("1")
  101       goto 4
  200       println("2")
  201       goto 4
  300       println("3")
  301       goto 4

好的，所以我的简化伪代码很糟糕，但你明白了 - 这种查找方法允许 C 开关是 1 条指令，无论选项的数量如何。

所以，我的问题是 - 如果您传入的值不在该查找数组(位置)中，会发生什么情况。我可以理解 locations[2] 是 0 所以它知道在运行时不要去那里但是如果我传入 4 - 或者 -1?

Answer 1

开关与任何情况都不匹配。它不会进入主体。

解决您的编辑问题。您确定正在编译开关的想法吗？我用 GCC 和 -02 编译了这个函数

    typedef enum {
        Test0 = 0,
        Test1 = 1,
        Test3 = 3
    } TestEnum;

    void myfunc(TestEnum a)
    {

    switch(a) {
        case Test0: println("0"); break;
        case Test1: println("1"); break;
        case Test3: println("3"); break;
    }

    return;
    }

程序集是这样的:

    .file   "myfunc.c"
    .section    .rodata.str1.1,"aMS",@progbits,1
.LC0:
    .string "0"
.LC1:
    .string "1"
.LC2:
    .string "3"
    .text
    .p2align 4,,15
    .globl  myfunc
    .type   myfunc, @function
myfunc:
.LFB0:
    .cfi_startproc
    cmpl    $1, %edi
    je  .L3
    jb  .L4
    cmpl    $3, %edi
    jne .L8
    movl    $.LC2, %edi
    xorl    %eax, %eax
    jmp println
    .p2align 4,,10
    .p2align 3
.L8:
    rep ret
    .p2align 4,,10
    .p2align 3
.L4:
    movl    $.LC0, %edi
    xorl    %eax, %eax
    jmp println
    .p2align 4,,10
    .p2align 3
.L3:
    movl    $.LC1, %edi
    xorl    %eax, %eax
    jmp println
    .cfi_endproc
.LFE0:
    .size   myfunc, .-myfunc
    .ident  "GCC: (GNU) 4.8.2 20140206 (prerelease)"
    .section    .note.GNU-stack,"",@progbits

你可以看到它在做比较和跳转。没有您怀疑的间接分支。