符号引用验证检查的是类、字段、方法在常量池中的符号引用是否与目标类的实际结构一致，具体包括：类是否存在且可访问、字段名和类型是否匹配、方法签名（名称+参数+返回值）是否正确。如果验证失败，会抛出 java.lang.incompatibleclasschangeerror 或 java.lang.nosuchmethoderror 等异常。
符号引用与直接引用的区别是什么
符号引用以一组符号描述所引用的目标，而直接引用是指向目标的内存指针或相对偏移量。符号引用验证发生在类加载的“解析”阶段之前，确保符号能正确转换为直接引用。
public class SymbolRefExample { public static void main(String[] args) { try { // 尝试调用一个不存在的方法 Class> clazz = Class.forName("com.example.NonExistent"); System.out.println("Loaded successfully"); } catch (ClassNotFoundException e) { System.out.println("Class not found: " + e.getMessage()); } catch (IncompatibleClassChangeError e) { System.out.println("Symbol resolution failed: " + e.getMessage()); } } }
预期结果：由于 com.example.NonExistent 类不存在，抛出 ClassNotFoundException。若类存在但方法签名不匹配，则会在解析时抛出 IncompatibleClassChangeError。
符号引用验证的具体步骤有哪些
符号引用验证主要检查三类内容：类本身的合法性、字段的合法性、方法的合法性。这些检查确保 JVM 在运行时能正确定位到目标元素。
public class FieldRefExample { public static void main(String[] args) { try { Class> clazz = Class.forName("com.example.MyClass"); Field field = clazz.getField("nonExistentField"); System.out.println("Field found: " + field.getName()); } catch (NoSuchFieldException e) { System.out.println("Field not found: " + e.getMessage()); } catch (ClassNotFoundException e) { System.out.println("Class not found: " + e.getMessage()); } } }
预期结果：如果 MyClass 中不存在 nonExistentField，将抛出 NoSuchFieldException。这属于符号引用验证的一部分，确保字段名和可见性正确。
符号引用验证失败时会抛出什么异常
符号引用验证失败时，JVM 会根据具体错误类型抛出不同的异常。例如，类不存在时抛出 ClassNotFoundException，方法签名不匹配时抛出 IncompatibleClassChangeError 或 NoSuchMethodError。这些异常通常在类加载或方法调用时触发。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
