一个好的编译器可以并且将会在跳转表、链式 if/else 或组合之间进行选择。设计不良的编译器可能不会做出这样的选择,甚至可能为开关块生成非常糟糕的代码。但任何像样的编译器都应该为开关块生成有效的代码。时间
这里的主要决策因素是,当数字相距很远时,编译器可能会选择 if/else [并且不是简单地(例如除以 2、4、8、16、256 等)更改为更接近的值],例如
switch(x)
{
case 1:
...
case 4912:
...
case 11211:
...
case 19102:
...
}
需要至少 19102 * 2 字节的跳转表。
另一方面,如果数字很接近,编译器通常会使用跳转表。
即使它是一个if/else
设计类型,它通常会进行“二分搜索” - 如果我们采用上面的例子:
if (x <= 4912)
{
if (x == 1)
{
....
}
else if (x == 4912)
{
....
}
} else {
if (x == 11211)
{
....
}
else if (x == 19102)
{
...
}
}
如果我们有很多情况,这种方法会嵌套得很深,人类可能会在三到四个深度后迷失方向(记住每个如果从范围中间的某个点开始),但它减少了log2(n) 的测试次数,其中 n 是选择数。这肯定比简单的方法有效得多
if (x == first value) ...
else if (x == second value) ...
else if (x == third value) ...
..
else if (x == nth value) ...
else ...
如果将某些值放在 if-else 链的开头,这可能会稍微好一些,但前提是您可以在运行代码之前确定最常见的值。
如果性能对您的案例至关重要,那么您需要对两种替代方案进行基准测试。但我的猜测是,仅将代码编写为开关将使代码更加清晰,同时运行速度至少同样快,甚至更快。