13

当我尝试在实例初始化(不是类初始化)块中抛出异常时,我收到错误:

initializer must be able to complete normally

为什么尽管 Java 自己做却不允许呢?

下面的示例创建四个类。由于 ArithmeticException ,类A在实例化期间失败。这可以使用catch. 同样B失败并出现 NullPointerException。但是当我尝试自己抛出 NullPointerException 时C,程序无法编译。当我尝试定义我自己的 RuntimeException 时,我得到了同样的错误D。所以:

我怎样才能像 Java 本身那样做呢?

// -*- compile-command: "javac expr.java && java expr"; -*-

class expr
{
    class A
    {
        int y;
        {{ y = 0 / 0; }}
    }

    class B
    {
        Integer x = null;
        int y;
        {{ y = x.intValue(); }}
    }

    class C
    {
        {{ throw new NullPointerException(); }}
    }

    class Rex extends RuntimeException {}

    class D
    {
        {{ throw new Rex(); }}
    }

    void run ()
    {
        try { A a = new A(); }
        catch (Exception e) { System.out.println (e); }

        try { B b = new B(); }
        catch (Exception e) { System.out.println (e); }

        try { C c = new C(); }
        catch (Exception e) { System.out.println (e); }

        try { D d = new D(); }
        catch (Exception e) { System.out.println (e); }
    }

    public static void main (String argv[])
    {
        expr e = new expr();
        e.run();
    }
}
4

7 回答 7

19

初始化程序必须能够正常完成

意味着必须有一个不抛出异常的可能的代码路径。您的示例无条件抛出,因此被拒绝。在其他示例中,静态分析还不足以确定它们在所有情况下也都抛出。

例如,

public class StaticThrow {
    static int foo = 0;
    {{ if (Math.sin(3) < 0.5) { throw new ArithmeticException("Heya"); } else { foo = 3; } }}
    public static void main(String[] args) {
        StaticThrow t = new StaticThrow();
        System.out.println(StaticThrow.foo);
    }
}

编译,并在运行时抛出

Exception in thread "main" java.lang.ArithmeticException: Heya
        at StaticThrow.<init>(StaticThrow.java:3)
        at StaticThrow.main(StaticThrow.java:5)
于 2012-11-23T16:33:46.363 回答
5

Java 被设计为具有最少的功能,并且只有在有充分理由这样做时才会增加复杂性。Java 不问;为什么不呢,它问;我真的需要支持吗?(即使那样有时也不会;)

初始化程序块的代码必须插入到每个构造函数中,具有编译器知道无法正常完成的块,编译器发现难以为其生成代码。

可以使编译器编译此代码,但它不太可能有任何用处。


在这种特定情况下它对您没有帮助,但知道这一点很有用......

必须声明已检查的异常,并且无法在静态或实例初始化程序块中声明已检查的异常。

相反,您可以捕获并处理或包装已检查的异常。(或使用技巧,重新抛出它)

于 2012-11-23T16:32:59.933 回答
3

您实际上可以在初始化块中抛出异常,但如果您的异常是已检查的,则必须使用“throws”关键字标记所有构造函数。

如果你的异常总是被抛出,你会得到一个编译错误,但这样的事情是完全合法的:

类Foo {

{{
    if(1 == 1) {
        throw new Exception();
    }
}}

public Foo() throws Exception {

}

}

希望这可以澄清一些事情。

于 2012-11-23T16:49:15.137 回答
2
{ throw new Rex(); }

这意味着实例将永远不会被正确初始化。应该有一些条件可以正确初始化实例。例如

{ if(true) { throw new Rex(); } } //It doesn't complain here

如果抛出的异常是检查异常,则必须将其添加到构造函数的throws子句中。例如

public class MyObject {
    { 
        //...
            throw new Exception();
        //...
    }

    public MyObject() throws Exception {

    }
}
于 2012-11-23T16:41:42.657 回答
1

来自http://www.artima.com/designtechniques/initializationP.html

实例初始化程序中的代码可能不会返回。除了匿名内部类的情况外,只有在类中每个构造函数的 throws 子句中显式声明了已检查的异常时,实例初始化程序才能抛出已检查的异常。另一方面,匿名内部类中的实例初始化器可以抛出任何异常。

于 2012-11-23T16:57:24.467 回答
1

Java 语言规范 (Java SE 7)的第 8.6 节对此进行了介绍。

如果实例初始化程序无法正常完成(第 14.21 节),则为编译时错误。

14.21 定义了不可达的含义。特别注意

如果 S 之前的语句可以正常完成,则非空块中不是 switch 块的所有其他语句 S 都是可访问的。

break、continue、return 或 throw 语句无法正常完成。

更复杂的分析是可能的(并且仍然会产生警告),但这些是一组易于理解、始终如一地实施并且不会特别限制语言未来发展的规则。

那么为什么我们要拒绝带有(肯定)无法访问语句的程序呢?因为它们几乎肯定代表错误(在完成的代码中)。(if语句的行为特别支持狡猾的条件编译。)

没有任何无法访问的语句,那么为什么实例初始化程序必须能够正常完成(不是构造函数支持不可实例化类的要求)?因为这需要 Java 不做的非本地分析,以保持相当简单,并且可能会删除一条语句,或者只是在维护期间重新排列代码顺序。

可能值得注意的是,一些观点认为 Java 被这种相对简单的分析以及定义分配规则过于复杂。

于 2012-11-24T12:41:21.610 回答
0

这将导致其余的语句显然无法访问,Java 试图禁止这些语句。

于 2012-11-23T18:45:11.007 回答