IntelliJ检查工具警告静态变量引用子类：为何易引发死锁？

如果你在IntelliJ开发时碰到了「在静态变量中引用子类并非良好实践，可能引发死锁」的警告，这可不是IDE在乱报错——它在帮你避开一个隐藏的JVM多线程陷阱。

什么时候会触发这个警告？ #

这个检查会专门揪出那些在静态初始化器或静态字段中直接引用自身子类的类。简单说就是：父类的静态代码块、静态成员变量里，直接用到了它自己的子类，就会触发这条警告。

为什么这种写法会导致死锁？ #

问题根源在JVM的类加载机制上，多线程环境下很容易踩雷：
当线程A尝试加载父类，而父类的静态初始化逻辑（比如给静态字段赋值）需要先加载子类；与此同时，线程B正在加载子类，而子类继承自父类，必须等父类加载完成才能完成自身初始化。这时候两个线程会互相等待对方完成类加载，直接造成JVM级别的死锁，整个应用都会卡住，很难排查。

举个实际的例子 #

看下面这段代码，就是典型的触发场景：

public class Parent {
    // 静态字段直接引用子类，触发警告
    private static final Child CHILD_INSTANCE = new Child();

    static {
        System.out.println("Parent 类初始化");
    }

    public static class Child extends Parent {
        static {
            System.out.println("Child 类初始化");
        }
    }
}

在多线程环境中，如果线程1去访问Parent.CHILD_INSTANCE，线程2去访问Child的静态成员，就会触发死锁：线程1等Child加载完成，线程2等Parent加载完成，双方僵持不下。

内容的提问来源于stack exchange，提问作者Hanna Khalil