JVM的LookupSwitch和TableSwitch之间的区别？

Question

每个的Jasmin文档：

• 查找开关
• 桌面女巫
• 两者

Answer 1

不同的是

• LookupSwitch使用带有键和标签的表
• TableSwitch只使用带有标签的表。

执行tableswitch时，堆栈顶部的int值直接用作表中的索引，以获取跳转目标并立即执行跳转。整个查找+跳转过程是一个O(1)操作，这意味着它非常快。

switch (inputValue) {
  case 1:  // ...
  case 2:  // ...
  case 3:  // ...
  default: // ...
}

上面的开关非常紧凑，没有数字“孔”。编译器将创建一个tableswitch，如下所示：

 tableswitch 1 3
    OneLabel
    TwoLabel
    ThreeLabel
  default: DefaultLabel

Jasmin页面中的伪代码很好地解释了这一点：

int val = pop();                // pop an int from the stack
if (val < low || val > high) {  // if its less than <low> or greater than <high>,
    pc += default;              // branch to default 
} else {                        // otherwise
    pc += table[val - low];     // branch to entry in table
}

这段代码非常清楚地说明了这样一个tableswitch是如何工作的。val为inputvalue，low为1（开关中的最低case值），high为3（开关中的最高case值）。

switch (inputValue) {
  case 1:  // ...
  case 3:  // ...
  case 4:  // ...
  case 5:  // ...
  default: // ...
}

 tableswitch 1 6
    OneLabel
    FakeTwoLabel
    ThreeLabel
    FourLabel
    FiveLabel
  default: DefaultLabel

  ; <...code left out...>

  FakeTwoLabel:
  DefaultLabel:
    ; default code

switch (inputValue) {
  case 1:    // ...
  case 10:   // ...
  case 100:  // ...
  case 1000: // ...
  default:   // ...
}

这个开关远远不够紧凑，它有比数值多一百倍的孔。人们会称之为稀疏开关。编译器将不得不生成近千个假案例来将这个开关表示为一个表女巫。结果将是一个巨大的表，极大地扩大了类文件的大小。这是不实际的。相反，它将生成一个lookupswitch：

lookupswitch
    1       : Label1
    10      : Label10
    100     : Label100
    1000    : Label1000
    default : DefaultLabel

这个表只有5个条目，而不是一千多个条目。该表有4个实值，O(log4)是2（log在这里是以2为基数，而不是以10为基数，因为计算机是在二进制数字上操作的）。这意味着VM最多进行两次比较，才能找到inputValue的标签，或者得出结论，即该值不在表中，因此必须执行默认值。即使表有100个条目，VM也最多需要7次比较才能找到正确的标签或决定跳转到默认标签（而7次比较要比100次比较少得多，你不觉得吗？）。

所以说这两个指令是可以互换的，或者说这两个指令的原因是有历史原因的，这都是无稽之谈。对于两种不同的情况，有两个指令，一个用于具有紧凑值的开关（用于最大速度），另一个用于具有稀疏值的开关（不是最大速度，但仍然是良好的速度和非常紧凑的表表示，不管数字孔如何）。