java涉及父子类的异常

java中的异常涉及到父子类的问题，可以归纳为一句话：子类的构造函数抛出的异常必须包含父类的异常，子类的方法可以选择抛出“范围小于等于”父类的异常或不抛出异常。

1. 为什么构造函数必须抛出包含父类的异常？

在《thingking in java》中有这么一段话：

异常限制：当覆盖方法时，只能抛出在基类方法的异常说明中列出的那些异常

异常限制对构造器不起作用，你会发现StormyInning的构造器可以抛出任何异常，而不必理会基类构造函数所抛出的异常。然而因为必须构造函数必须以这样或那样的方式被调用，子类构造函数的异常说明必须包含基类构造器的异常说明

这段话起初一开比较绕，但是嘻嘻看一遍就会明白：

首先，异常说明只针对覆盖方法，而构造函数明显不在这个范围，所以子类构造函数可以抛出任何异常，而不用顾及父类构造函数所抛出的异常。但是在new 一个子类对象的时候，父类构造函数一定会被调用，所以子类构造函数调用的对应的父类构造函数所抛出的异常就必须考虑在内，此时又因为“子类构造函数无法捕获父类构造函数所抛出的异常(后面会提)”，所以子类构造函数必须抛出这个异常。

class SomeException extends Exception{}

class TheOtherException extends Exception{}

class BaseC
{
	public BaseC()throws SomeException{}

	public BaseC(int a)throws TheOtherException{}
}

class SubC extends BaseC
{
	public SubC() throws SomeException //如果不抛出异常就会报错
	{
		super(); //由于调用的基类的默认构造函数, 所以要抛出SomeException
	  //super(37) ; //如果将super()替换成这里,就必须抛出TheOtherException
	}

}

2. 为什么子类构造函数无法捕获父类构造函数所抛出的异常？

因为子类如果想要捕获父类抛出的异常，就必须显示地调用super() ; 或者super(xxx...); 然而super()和this()这些都有一个特性, 就是必须将他们放在第一行, 这与try{}catch{}相矛盾, 所以无法捕获

3. 当子类继承的父类和接口存在相同的方法名时，这时的处理方式就必须遵循异常限制。

class SomeException extends Exception{}

class TheOtherException extends Exception{}

interface InterF
{
	public void function()throws TheOtherException;
}
class BaseC
{
	public void function()throws SomeException{}
}

class SubC extends BaseC implements InterF
{
	//此时只能选择不抛出异常
	public void function(){}

	//报错:Exception SomeException is not compatible with throws clause in InterF.function()
	//	public void function()throws SomeException{} ;
	//报错:Exception TheOtherException is not compatible with throws clause in BaseC.function()
	//  public void function()throws TheOtherException{} ;
}

4. 为什么子类只能抛出在基类方法的异常说明中列出的那些异常？

　　因为子类存在向上转化成父类的可能性，如果允许子类随意抛出异常的话，那么向上转化成父类时，该方法的接口(姑且这么叫吧)会变成父类的方法类型，此时问题来了，子类会抛出异常，而父类却无法对该异常做出处理，所以为保证对象的可替换型，强制要求“只能抛出在基类方法的异常说明中列出的那些异常”。

　　这里所说的“那些异常”还包括这些异常的子异常！

5. 这一点不知道算不算，也许是我比较愚钝吧，我在看的时候想了好久才明白过来，姑且记下来吧。

class SomeException extends Exception{}

class BaseC
{
	public void function()throws SomeException{}//如果这里抛出的异常是一个运行时异常子类就可以不对其进行异常处理
}

class SubC extends BaseC
{
//这两个function()所进行的super.function()的都属于正常的函数调用,不属于异常处理的范围, 但是这个函数本身要符合异常处理的规范!
/*
	public void function()throws SomeException
	{
		super.function();
	}
*/
	public void function()
	{
		try
		{
			super.function() ;
		}
		catch(SomeException e)
		{
			e.printStackTrace();
		}
	}
}

　　

//thinking in java笔记，如果有不对的地方，还望指正^_^