如果缺少未使用的类，JVM会抛出异常吗？

Question

考虑一下程序：

public class Test {

    public static void main(String[] args) {
        if (Arrays.asList(args).contains("--withFoo")) {
            use(new Foo());
        }
    }

    static void use(Foo foo) {
        // do something with foo
    }
}

如果程序不带参数启动，则运行时类路径中是否需要Foo？

研究

报告链接错误时，Java语言规范相当模糊：

该规范为实现链接活动（以及由于递归，加载）的发生时间提供了实现上的灵活性，前提是尊重Java编程语言的语义，并且在初始化类或接口之前已对其进行了完全验证和准备，并且在链接过程中检测到的错误被抛出到程序中某个位置，在该位置程序执行了一些可能需要链接到错误所涉及的类或接口的操作。

我的测试表明，仅在我实际使用时抛出LinkageErrors Foo：

$ rm Foo.class

$ java Test

$ java Test --withFoo

Exception in thread "main" java.lang.NoClassDefFoundError: Foo
        at Test.main(Test.java:11)
Caused by: java.lang.ClassNotFoundException: Foo
        at java.net.URLClassLoader$1.run(Unknown Source)
        at java.net.URLClassLoader$1.run(Unknown Source)
        at java.security.AccessController.doPrivileged(Native Method)
        at java.net.URLClassLoader.findClass(Unknown Source)
        at java.lang.ClassLoader.loadClass(Unknown Source)
        at sun.misc.Launcher$AppClassLoader.loadClass(Unknown Source)
        at java.lang.ClassLoader.loadClass(Unknown Source)
        ... 1 more

可以依靠这种行为吗？还是有主流的JVM链接未使用的代码？如果是这样，我如何隔离未使用的代码，以便仅在需要时才进行链接？

Answer 1

您只需对测试代码进行少量更改即可回答该问题。

将类型层次结构更改为

class Bar {}
class Foo extends Bar {}

和程序

public class Test {
    public static void main(String[] args) {
        if (Arrays.asList(args).contains("--withFoo")) {
            use(new Foo());
        }
    }
    static void use(Bar foo) {
        // don't need actual code
    }
}

现在，Foo即使没有输入main方法（使用HotSpot），该程序也会因错误（如果不存在）而失败。原因是验证者需要定义Foo来检查将其传递给期望的方法Bar是否有效。

如果类型完全匹配或目标类型为java.lang.Object，则HotSpot会采用捷径，而不是加载类型，其中分配始终有效。这就是为什么您的原始代码不在时不会提早抛出的原因Foo。

最重要的是，抛出错误的确切时间点取决于实现，例如，可能取决于实际的验证程序实现。正如您已经提到的，所保证的全部是，尝试执行需要链接的动作将引发先前检测到的链接错误。但是，您的程序很可能从未尝试过。