資料結構
網路
關係型資料庫管理系統
作業系統
Java
MS Excel
iOS
HTML
CSS
Android
Python
C 程式設計
C++
C#
MongoDB
MySQL
Javascript
PHP
物理學
化學
生物學
數學
英語
經濟學
心理學
社會學
時尚研究
法律研究Java 中的 java.lang.VerifyError 錯誤是如何發生的以及如何解決？
java.lang.VerifyError 是一個由 JVM（Java 虛擬機器）產生的執行時錯誤。在執行時，會進行一個驗證過程來檢查載入的 .class 檔案的有效性，如果 .class 檔案違反了任何約束，則 JVM 會丟擲 java.lang.VerifyError 錯誤。此錯誤存在於 Java 1.0 及更高版本中。
java.lang.LinkageError 擴充套件了 Java.lang.VerifyError，指的是程式連結過程中出現問題。
輸出中的 java.lang.VerifyError 將類似於以下形式：
Exception in thread "main" java.lang.VerifyError: (class: com/example/Way2Class, method: myMethod signature: ()V) Incompatible argument to function at com.example.MyClass.main(MyClass.java:10)
此輸出包含導致錯誤的類的名稱 (Way2class)、類路徑 (com/example/Way2Class)、錯誤所在的行號 (10)、方法名稱 (myMethod) 和錯誤訊息 (Exception in thread "main" java.lang.VerifyError)。
此錯誤可能由於多種原因導致，如下所示：
版本不匹配：需要注意的是，如果使用與執行程式碼所使用的 Java 編譯器不同的 Java 編譯器版本編譯了類檔案，則可能會導致 VerifyError 錯誤。
示例
public class VerifyErrorVersionExample {
public static void main(String[] args) {
System.out.println("Hello, program!");
}
}
如果使用 Java 9 編譯此特定程式，並在較早的版本（如 Java 8）上執行，則輸出將顯示以下錯誤說明：
輸出
Exception in thread "main" java.lang.VerifyError: Bad type on operand stack
Exception Details:
Location:
VerifyErrorVersionExample.main([Ljava/lang/String;)V @2: invokestatic
Reason:
Type 'java/lang/invoke/StringConcatFactory' (current frame, stack[0]) is not assignable to 'java/lang/invoke/MethodHandle'
Current Frame:
bci: @2
flags: { }
locals: { '[Ljava/lang/String;' }
stack: { 'java/lang/invoke/StringConcatFactory' }
Bytecode:
0x0000000: getstatic #2 // Field java/lang/System.out:Ljava/io/PrintStream;
0x0000003: ldc #3 // String Hello, world!
0x0000005: invokestatic #4 // Method java/lang/invoke/StringConcatFactory.makeConcatWithConstants:(Ljava/lang/invoke/MethodHandles$Lookup;Ljava/lang/String;Ljava/lang/invoke/MethodType;Ljava/lang/String;[Ljava/lang/Object;)Ljava/lang/invoke/MethodHandle;
0x000000a: ldc #5 // String
0x000000c: iconst_1
0x000000d: anewarray #6 // class java/lang/Object
0x0000010: dup
0x0000011: iconst_0
0x0000012: ldc #7 // String !!!
0x0000014: aastore
0x0000015: invokevirtual #8 // Method java/lang/invoke/MethodHandle.invokeExact:([Ljava/lang/Object;)Ljava/lang/Object;
0x000001a: checkcast #9 // class java/lang/String
0x000001d: invokevirtual #10 // Method java/io/PrintStream.println:(Ljava/lang/String;)V
0x0000020: return
位元組碼損壞：如果對類檔案的位元組碼進行了修改或損壞，則可能會出現錯誤。
示例
public class VerifyErrorBytecodeExample {
public static void main(String[] args) {
int a = 10;
int b = 20;
int c = a + b;
System.out.println("The sum of " + a + " and " + b + " is " + c);
}
}
輸出
Exception in thread "main" java.lang.VerifyError: (class: VerifyErrorBytecodeExample, method: main signature: ([Ljava/lang/String;)V) Illegal target of jump or branch
at java.lang.Class.getDeclaredMethods0(Native Method)
at java.lang.Class.privateGetDeclaredMethods(Class.java:2701)
at java.lang.Class.getDeclaredMethod(Class.java:2128)
at java.io.ObjectStreamClass.getPrivateMethod(ObjectStreamClass.java:1743)
at java.io.ObjectStreamClass.access$1700(ObjectStreamClass.java:72)
at java.io.ObjectStreamClass$2.run(ObjectStreamClass.java:513)
at java.io.ObjectStreamClass$2.run(ObjectStreamClass.java:492)
at java.security.AccessController.doPrivileged(Native Method)
at java.io.ObjectStreamClass.<init>(ObjectStreamClass.java:492)
at java.io.ObjectStreamClass.lookup(ObjectStreamClass.java:389)
at java.io.ObjectOutputStream.writeObject0(ObjectOutputStream.java:1134)
at java.io.ObjectOutputStream.writeObject(ObjectOutputStream.java:348)
at VerifyErrorBytecodeExample.main(VerifyErrorBytecodeExample.java:6)
類檔案不一致：如果類檔案違反了 Java 虛擬機器規範中規定的某些約束。
示例
public class VerifyErrorExample {
public static void main(String[] args) {
Animal animal = new Cat();
animal.speak();
}
}
interface Animal {
void speak();
}
class Dog implements Animal {
public void speak() {
System.out.println("Woof!");
}
}
class Cat extends Dog {
public void speak() {
System.out.println("Meow!");
}
}
此程式定義了一個“Animal”介面以及兩個實現它的具體類：Dog 和 Cat。Cat 擴充套件了 Dog 並覆蓋了它的 speak 方法。在 main 方法中，我們建立了一個 Cat 例項並呼叫了它的 speak 方法。
假設我們選擇從當前類路徑中移除 Dog 類，然後重新編譯並執行程式，將會顯示 java.lang.VerifyError 錯誤。此錯誤將包含如下錯誤訊息：
輸出
Exception in thread "main" java.lang.VerifyError: Bad type on operand stack
Exception Details:
Location:
VerifyErrorExample.main([Ljava/lang/String;)V @2: invokevirtual
Reason:
Type 'Cat' (current frame, stack[0]) is not assignable to 'Dog'
Current Frame:
bci: @2
flags: { }
locals: { '[Ljava/lang/String;' }
stack: { 'Cat' }
Bytecode:
0000000: new #2 // class Cat
0000003: dup
0000004: invokespecial #3 // Method Cat."":()V
0000007: astore_1
0000008: aload_1
0000009: invokevirtual #4 // Method Animal.speak:()V
000000c: return
結論
總之，遇到 java.lang.VerifyError 錯誤可能源於各種原因，從位元組碼變化到安全計算實踐中根深蒂固的限制，再到程式碼庫中包含的不一致的相互依賴的 Java 元件版本，以及執行時庫相容性問題等。避免此問題的關鍵方法是確保所有使用的庫都與您的系統和其他依賴庫在執行時相容。遵守這些要求將確保符合 Java 的位元組碼規範，避免出現問題程式碼實踐，例如不遵守安全協議或提交類檔案中不一致的程式碼，這可能會導致後續錯誤。無論何時遇到 java.lang.VerifyError 錯誤，都必須仔細檢查相關的錯誤訊息以及可以獲取的任何堆疊跟蹤，以便確定導致問題的具體問題並採取必要的糾正措施。
501 次瀏覽
