我的问题是关于静态关键字的一个特殊用法。可以使用静态关键字覆盖不属于任何函数的类中的代码块。例如下面的代码编译:

public class Test {
    private static final int a;    
    static {
        a = 5;
        doSomething(a);
    }
    private static int doSomething(int x) {
        return (x+5);
    }
}

如果删除static关键字,它会报错,因为变量a是final。但是,可以同时删除最终关键字和静态关键字并使其编译。

这两方面都让我感到困惑。我怎么能有一个不属于任何方法的代码段呢?如何调用它呢?一般来说,这种用法的目的是什么?或者更好的是,我可以在哪里找到相关的文档?


当前回答

带有静态修饰符的代码块表示类初始化式;如果没有静态修饰符,代码块就是一个实例初始化器。

类初始化器在装入类时(实际上是在解析类时,但这是一个技术术语)按照它们定义的顺序执行(自顶向下,就像简单的变量初始化器一样)。

实例初始化式按照类实例化时定义的顺序执行,即在构造函数代码执行之前,在超级构造函数调用之后。

如果你从int a中删除static,它就变成了一个实例变量,你不能从静态初始化块中访问它。这将导致编译失败,并报错“非静态变量a不能从静态上下文引用”。

如果你也从初始化程序块中删除了static,那么它就变成了实例初始化程序,因此int a在构造时就被初始化了。

其他回答

静态代码块可用于实例化或初始化类变量(相对于对象变量)。因此,将“a”声明为静态意味着所有Test对象只共享一个,并且静态代码块只在Test类第一次加载时初始化“a”一次,无论创建了多少个Test对象。

这直接来自http://www.programcreek.com/2011/10/java-class-instance-initializers/

1. 执行顺序

看看下面的类,你知道哪个先被执行吗?

public class Foo {
 
    //instance variable initializer
    String s = "abc";
 
    //constructor
    public Foo() {
        System.out.println("constructor called");
    }
 
    //static initializer
    static {
        System.out.println("static initializer called");
    }
 
    //instance initializer
    {
        System.out.println("instance initializer called");
    }
 
    public static void main(String[] args) {
        new Foo();
        new Foo();
    }
}

输出:

静态初始化器 实例初始化器调用 构造函数被称为 实例初始化器调用 构造函数被称为

2. Java实例初始化器如何工作?

上面的实例初始化式包含println语句。为了理解它是如何工作的,我们可以把它看作一个变量赋值语句,例如,b = 0。这样更容易理解。

而不是

你可以写成Int b = 0

int b;
b = 0;

因此,实例初始化器和实例变量初始化器几乎是相同的。

3.实例初始化器什么时候有用?

实例初始化式的使用很少,但在以下情况下,它仍然是实例变量初始化式的有用替代:

初始化程序代码必须处理异常 执行无法用实例变量初始化式表示的计算。

当然,这样的代码可以在构造函数中编写。但如果一个类有多个构造函数,则必须在每个构造函数中重复代码。

使用实例初始化式,只需编写一次代码,无论使用什么构造函数创建对象,它都将被执行。(我猜这只是一个概念,并不常用。)

实例初始化器有用的另一种情况是匿名内部类,它根本不能声明任何构造函数。(这是一个放置日志功能的好地方吗?)

感谢Derhein。

还要注意,实现接口[1]的匿名类没有构造函数。因此,在构造时需要实例初始化器来执行任何类型的表达式。

静态块是一个“静态初始化器”。

它在类加载时被自动调用,并且没有其他方法来调用它(甚至通过反射)。

我个人只在编写JNI代码时使用过它:

class JNIGlue {
    static {
        System.loadLibrary("foo");
    }
}

"final"保证变量必须在对象初始化器代码结束之前初始化。同样,“static final”保证变量将在类初始化代码结束时初始化。从初始化代码中省略“static”将使其变成对象初始化代码;因此,您的变量不再满足其保证。

带有静态修饰符的代码块表示类初始化式;如果没有静态修饰符,代码块就是一个实例初始化器。

类初始化器在装入类时(实际上是在解析类时,但这是一个技术术语)按照它们定义的顺序执行(自顶向下,就像简单的变量初始化器一样)。

实例初始化式按照类实例化时定义的顺序执行,即在构造函数代码执行之前,在超级构造函数调用之后。

如果你从int a中删除static,它就变成了一个实例变量,你不能从静态初始化块中访问它。这将导致编译失败,并报错“非静态变量a不能从静态上下文引用”。

如果你也从初始化程序块中删除了static,那么它就变成了实例初始化程序,因此int a在构造时就被初始化了。