14、编程中的 `switch` 语句与循环结构详解

编程中的 switch 语句与循环结构详解

1. switch 语句的实现机制

switch 语句是编程中常用的多分支选择结构，不同编译器对其实现方式有所不同。

1.1 双表实现方式

存在两个表：第一个表（ $LN10@f ）是索引表，第二个表（ $LN11@f ）是代码块指针数组。输入值作为索引表的索引，得到第二个表的索引，进而跳转到相应代码块。例如：

17
jmp
DWORD PTR __imp__printf
18
$LN4@f:
19
mov
DWORD PTR _a$[esp-4], OFFSET $SG2800 ; '3, 4, 5'
20
jmp
DWORD PTR __imp__printf
...

索引表元素为 8 位，使得整体更紧凑，相比单表指针数组更经济。

1.2 GCC 实现方式

GCC 使用单表指针数组实现 switch 语句。

1.3 ARM64 优化 GCC 4.9.1 实现方式

当输入值为 0 时无触发代码，GCC 使跳转表从 1 开始，以更紧凑。它能将所有偏移量编码为 8 位字节，利用 ARM64 指令大小为 4 字节及偏移量接近的特点，跳转表由单字节组成。示例代码如下：