Java解惑 -- 读书笔记 -- 异常迷题

public class Car { private static Class engineClass = ...; private Engine engine = (Engine)enginClass.newInstance(); public Car(){ }}应该改写为//Fixed - instance initializers don’t throw checked exceptionspublic class Car { private static Class engineClass = ...; private Engine engine = newEngine; private static Engine newEngine() { try { return (Engine)engineClass.newInstance(); } catch (IllegalAccessException e) { throw new AssertionError(e); } catch (InstantiationException e) { throw new AssertionError(e); } } public Car(){ }} 36 --  关于try..finally

public class Indecisive { public static void main(String[] args) { System.out.println(decision()); } static boolean decision() { try { return true; } finally { return false; } } }

finally语句块总是在控制权离开try语句块时执行的

 

 

 

37.非常不可思议

import java.io.IOException;public class Arcane1 { public static void main(String[] args) { try { System.out.println("Hello world"); } catch(IOException e) { System.out.println("I've never seen println fail!"); } }}/************************************************解答:语言规范中描述道：如果一个catch子句要捕获一个类型为E的被检查异常，而其相对应的try子句不能抛出E的某种子类型的异常，那么这就是一个编译期错误[JLS 11.2.3]。************************************************/public class Arcane2 { public static void main(String[] args) { try { // If you have nothing nice to say, say nothing } catch(Exception e) { System.out.println("This can't happen"); } }}/************************************************解答:捕获Exception或Throwble的catch子句是合法的，不管与其相对应的try子句的内容为何。尽管Arcane2是一个合法的程序，但是catch子句的内容永远的不会被执行，这个程序什么都不会打印************************************************/interface Type1 { void f() throws CloneNotSupportedException;}interface Type2 { void f() throws InterruptedException;}interface Type3 extends Type1, Type2 {}public class Arcane3 implements Type3 { public void f() { System.out.println("Hello world"); } public static void main(String[] args) { Type3 t3 = new Arcane3(); t3.f(); }}/************************************************解答:一个方法可以抛出的被检查异常集合是它所适用的所有类型声明要抛出的被检查异常集合的交集，而不是合集************************************************/

 

38.对静态常量的延迟初始化(这个问题我也遇到过,茅塞顿开,- -)

 public class UnwelcomeGuest { public static final long GUEST_USER_ID = -1; private static final long USER_ID; static { try { USER_ID = getUserIdFromEnvironment(); } catch (IdUnavailableException e) { USER_ID = GUEST_USER_ID; System.out.println("Logging in as guest"); } } private static long getUserIdFromEnvironment() throws IdUnavailableException { throw new IdUnavailableException(); } public static void main(String[] args) { System.out.println("User ID: " + USER_ID); }}class IdUnavailableException extends Exception { }

结果解析:USER_ID域是一个空final（blank final），它是一个在声明中没有进行初始化操作的final域[JLS 4.12.4]。在程序中，一个空final域只有在它是明确未赋过值的地方才可以被赋值。规范长篇大论，对此术语提供了一个准确的但保守的定义[JLS 16]。因为它是保守的，所以编译器必须拒绝某些可以证明是安全的程序。这个谜题就展示了这样的一个程序。

 

扩展提示:要确定一个程序是否可以不止一次地对一个空final进行赋值是一个很困难的问题

 

解决方案:

public class UnwelcomeGuest { public static final long GUEST_USER_ID = -1; private static final long USER_ID = getUserIdOrGuest; private static long getUserIdOrGuest { try { return getUserIdFromEnvironment(); } catch (IdUnavailableException e) { System.out.println("Logging in as guest"); return GUEST_USER_ID; } } ...// The rest of the program is unchanged}

 

 

39.finally不执行的情况

 

try{

    System.exit(0);

}finally{

}

 

40.抛出异常的对象构造

public class Reluctant { private Reluctant internalInstance = new Reluctant(); public Reluctant() throws Exception { throw new Exception("I'm not coming out"); } public static void main(String[] args) { try { Reluctant b = new Reluctant(); System.out.println("Surprise!"); } catch (Exception ex) { System.out.println("I told you so"); } }

结果是什么？

当你调用一个构造器时，实例变量的初始化操作将先于构造器的程序体而运行[JLS 12.5]。

与大多数抛出StackOverflowError异常的程序一样，本程序也包含了一个无限递归