刚刚在 Eclipse 2021-09 上尝试了 JDK17,但它失败了java.lang.VerifyError
,这本身并没有多大帮助。我将它追踪到一个 switch 语句,该语句得到一个从一个Map
或另一个泛型类型中提取的值。如果我在 switch 语句中使用局部变量,一切都会按预期工作。
测试代码:
import java.util.HashMap;
import java.util.Map;
public class SwitchFail {
public static void main(String[] args) {
//doesnt work
Map<Integer, String> stringMap = new HashMap<>();
stringMap.put(1, "Test");
switch(stringMap.get(1)) {
}
//works
String plainString = "Test";
switch(plainString) {
}
}
}
这会引发以下错误:
Error: Unable to initialize main class SwitchFail
Caused by: java.lang.VerifyError: Bad type on operand stack
Exception Details:
Location:
SwitchFail.main([Ljava/lang/String;)V @33: invokevirtual
Reason:
Type 'java/lang/Object' (current frame, stack[0]) is not assignable to 'java/lang/String'
Current Frame:
bci: @33
flags: { }
locals: { '[Ljava/lang/String;', 'java/util/HashMap', 'java/lang/Object' }
stack: { 'java/lang/Object' }
Bytecode:
0000000: bb00 1059 b700 124c 2b04 b800 1312 19b9
0000010: 001b 0300 572b 04b8 0013 b900 2102 0059
0000020: 4db6 0025 57b1
还没有在 11 和 17 之间尝试另一个 JDK。交换机在这些版本之间获得了一些新功能,所以可能就是这样。也许这是 Eclipse JDT 或我的本地 JDK 中的问题,因此任何尝试在另一个配置或 IDE 上重现此错误都会很棒。尝试在 macOS 上使用 OpenJDK(内部版本 17+35-2724)。
编辑: 也发生在
List<String> stringList = Arrays.asList("Test");
switch(stringList.get(0)) {}
很可能是新 JDT for Java 17 或我的本地安装的问题。