【java解惑】java构造器的那些事儿

如下所示代码：

public class Example040 {
	private Example040 e40 = new Example040();

	public Example040() throws Exception {
		throw new Exception("这里是exception，不是error");
	}
	public void output() {
		System.out.println("a new class");
	}
	public static void main(String[] args) throws Exception {
		Example040 example040 = new Example040();
		example040.output();
	}
}

代码分析：

运行上述代码，抛出了 StackOverflowError 异常。与大多数抛出 StackOverflowError 异常的程序一样， 本程序也包含了一个无限递归。当你调用一个构造器时，实例变量的初始化操作将先于构造器的程序体而运行。在上述代码中， e40变量的初始化操作递归调用了构造器，而该构造器通过再次调用构造器而初始化该变量自己的e40域，如此无限递归下去。这些递归调用在构造器程序体获得执行机会之前就会抛出 StackOverflowError 异常，因为 StackOverflowError是 Error 的子类型而不是 Exception 的子类型，所以 catch 子句无法捕获它。给e40加上static修饰后，栈溢出异常就会消失了。

对上述代码进行如下改造，加入两个新的变量，新的变量初始化时会产生异常：

public class Example040 {
	// private Example040 e40 = new Example040();
	private static Example040 e40 = new Example040();
	private static Class internal = e40.new InternalClazz().getClass();
	private InternalClazz clazz = (InternalClazz) internal.newInstance();

	public Example040() /* throws Exception */{
		// throw new Exception("这里是exception，不是error");
	}

	public void output() {
		System.out.println("a new class");
	}

	class InternalClazz {
		public InternalClazz() {
		}
	}

	public static void main(String[] args) throws Exception {
		Example040 example040 = new Example040();
		example040.output();
	}
}

上述程序将不能正确编译，原因是：构造器必须声明其实例初始化操作会抛出的所有被检查异常。尽管其构造器没有任何程序体，但是它将抛出两个被检查异常，InstantiationException 和IllegalAccessException。它们是 Class.newInstance抛出的，该方法是在初始化 clazz域的时候被调用的。

上述程序的一种改进方案如下所示，创建一个私有的、 静态的助手方法，它负责计算域的初始值，并恰当地处理异常：

private InternalClazz clazz = newClazz();

	private static InternalClazz newClazz() {
		try {
			return (InternalClazz) internal.newInstance();
		} catch (InstantiationException | IllegalAccessException e) {
			e.printStackTrace();
		}
		return null;
	}

总之， 实例初始化操作是先于构造器的程序体而运行的。 实例初始化操作抛出的任何异常都会传播给构造器。如果初始化操作抛出的是被检查异常，那么构造器必须声明也会抛出这些异常，但是应该避免这样做，因为它会造成混乱。最后，对于我们所设计的类，如果其实例包含同样属于这个类的其他实例，那么对这种无限递归要格外当心。

源代码地址https://github.com/rocwinger/java-disabuse