迹忆客 专注技术分享

在本文中，我们将了解 Java 中的 java.lang.VerifyError。

理解 Java 中的 java.lang.VerifyError

java.lang.VerifyError 是 Java 虚拟机 (JVM) 在字节码验证过程中发生的错误。 当 JVM 检测到类或方法的字节码无效或违反某些约束时，将抛出此错误。

出现 java.lang.VerifyError 的原因有多种：

1. 不兼容的类版本：如果类是使用与尝试运行该类的 JVM 版本不同的 Java 编译器版本编译的，则可能会发生 VerifyError。 如果一个类是用较新版本的 Java 构建的，但随后在较旧的 JVM 上运行，就会发生这种情况。
2. 不兼容的库版本：如果一个类所依赖的库的版本与编译该类的版本不同，则会发生 VerifyError。
3. 非法使用操作码：如果类或方法以非法或不受支持的方式使用操作码，则可能会发生 VerifyError。
4. 类文件格式无效：如果类文件已损坏或格式错误，则会发生 VerifyError。
5. final 关键字的无效使用：如果 final 变量在初始化后被分配了一个新值，则可能会发生 VerifyError。
6. 当不同的类加载器加载类时，使用反射更改类中私有字段/方法的可访问性。

要修复此错误，我们需要找到并更正问题的原因。 这可能涉及使用兼容版本的 Java 编译器重新编译类、更新库版本或删除任何非法使用操作码。

如果错误是由于使用反射引起的，我们可以通过不更改由不同类加载器加载的类的私有字段/方法的可访问性来避免它。

通常，了解所使用的 Java 编译器和库的版本并使用不同版本的 JVM 测试代码以确保兼容性是一种很好的做法。 此外，重要的是要使类文件和库保持最新并处于良好状态，以避免出现 java.lang.VerifyError 之类的错误。

值得注意的是，java.lang.VerifyError 是运行时错误，它不同于 java.lang.VerificationError ，是编译时错误。

Java 中的 java.lang.VerifyError 示例

让我们看一个例子来更好地理解它。

示例一

创建两个Java 文件 A.java 和 B.java。

A.java文件：

public class A
{
    public A()
    {
        System.out.println("Instance of A is created");
    }

}

B.java 文件:

public class B extends A {
    public B() {
        super();
        System.out.println("Instance of B is created");
    }

    public static void main(String[] args){
         B obj = new B();
    }
}

现在我们编译文件：

$ javac A.java
$ javac B.java

两个文件都可以正确编译，没有任何错误。

但是，如果我们把A类的定义改成final，然后只重新编译A类，然后执行B类的main方法，就会出现如下错误：

Exception in thread "main" java.lang.VerifyError: Cannot inherit from final class
    at java.lang.ClassLoader.defineClass1(Native Method)
    at java.lang.ClassLoader.defineClass(ClassLoader.java:760)
     ......
     ......

发生此错误是因为我们更改了类 A 的定义，但类 B 是使用类 A 的旧版本执行的。

例子二

创建三个 Java 文件，A.java、B.java 和 C.java。 B类继承A类，C类包含main方法。

A.java文件：

public class A {
    public A() {
        System.out.println("Class A instance is created");
    }

    public void print() {
        System.out.println("A::print()");
    }
}

B.java 文件:

public class B extends A {
    public B() {
        super();
        System.out.println("Class B instance is created");
    }

    public void print() {
        System.out.println("B::print()");
        }
}

C.java 文件:

public class C {
    public static void _print_(A obj) {
        obj.print();
    }

    public static void main(String[] args) {
        B b = new B();
        C._print_(b);
    }
}

我们分别编译Java文件，然后执行C.java。

$ javac A.java
$ javac B.java
$ javac C.java
$ java C

执行结果为：

Class A instance is created
Class B instance is created
B::print()

现在，如果我们改变类 B 的定义而不是扩展类 A，然后重新编译 B.java 然后执行类 C，我们会得到以下错误：

Exception in thread "main" java.lang.VerifyError: Bad type on operand stack
Exception Details:
  ....
  ....

这里再次出现错误，因为我们更改了类 B 的定义，但是类 C 是使用旧版本的类 B 执行的。