3

这是一些简单的代码：

class B {final static int x = C.x;}
class C {final static int x = B.x;}
class A {
    static {
        System.out.println("A static{}");
        new Thread() { public void run() { new B(); }}.start();
        new Thread() { public void run() { new C(); }}.start();
    }
    public static void main(String[] args) {
        System.out.println("A main");
        System.out.println("B.x: " + B.x);
        System.out.println("C.x: " + C.x);
    }
}

B.x并且C.x是相互定义的。我认为这不应该编译，但确实如此。

当我尝试运行它时，它在 main 中冻结：

$ javac *.java && java A
A static{}
A main

为什么？

然而，它在 gcj 中运行良好：

$ gcj --main=A -o a *.java && ./a
A static{}
A main
B.x: 0
C.x: 0

为什么？

另外，如果我摆脱线程，

class B {final static int x = C.x;}
class C {final static int x = B.x;}
class A {
    static {
        System.out.println("A static{}");
        new B(); 
        new C(); 
    }
    public static void main(String[] args) {
        System.out.println("A main");
        System.out.println("B.x: " + B.x);
        System.out.println("C.x: " + C.x);
    }
}

它在 java 和 gcj 中都可以正常工作：

$ javac *.java && java A
A static{}
A main
B.x: 0
C.x: 0
$ gcj --main=A -o a *.java && ./a
A static{}
A main
B.x: 0
C.x: 0

并且所有变量都设置为0。为什么？static final由于变量是并且从未分配到任何地方，这不应该编译失败吗？

4

1 回答 1

2

您正在创建一个死锁条件，这可能是也可能不是问题，具体取决于您启动线程的速度。

当您第一次使用一个类时，它会初始化该类并调用静态块。它以线程安全的方式执行此操作，并且在完成之前没有其他线程可以访问该类。

你有两个线程，在死锁的情况下，一个有 B 类并且想要 C 类，另一个有 C 类并且想要 B 类。

由于这非常快，一个线程可以在另一个线程开始之前运行完成，在这种情况下，不会发生死锁。

由于变量是静态最终的并且从未在任何地方分配，这不应该编译失败吗？

您已经分配了该值，但是您在初始化时访问该值，这就是您看到默认值 0 的原因。

于 2013-07-31T20:58:23.343 回答