关于最后的重演

Question

我在Precise Rethrow的文档中读到，http://www.theserverside.com/tutorial/OCPJP-Use-more-precise-rethrow-in-exceptions-Objective-Java-7

基本上，您可以在您的方法的throws子句中列出特定的异常，即使它们不是由捕获块显式处理的，如果：

try块实际上在某个时间点抛出该特定异常。

特定的异常在任何时候都没有被前面的捕获块处理

在方法签名的throws子句中命名的异常必须位于至少一个异常的类层次结构上，该异常正由一个捕获块（子类型或超类型）处理和重新抛出

class OpenException extends Exception {}

class CloseException extends Exception {}

public class PRethrow
{
    public static void main(String args[]) throws OpenException, CloseException, java.io.IOException
    {
        boolean flag = true;
        try
        {
            if (flag)
            {
                throw new OpenException();
            }
            else
            {
                throw new CloseException();
            }
        }
        catch (Exception e)
        {
            System.out.println(e.getMessage());
            throw e;
        }
    } 
}

第一个条件中明确提到，如果try块在某个时间点实际抛出特定异常，则可以在throws子句中列出特定异常

在我的代码中，try块从不抛出java.io.IOExc0019，但仍然在抛出子句中包含它不会产生错误。




Answer 1

我认为你误解了这篇文章所阐述的情况。文章说，在Java 7中，如果throws子句声明了一个实际上由try块抛出的异常，即OpenException和CloseException，那么在throws子句中不声明异常是可以的。从某种意义上说，Java 7的编译器现在足够聪明，知道只有try块才能抛出OpenException和CloseException。因此，它不再要求方法声明抛出异常。

这与IOExc0019无关，也不会改变这样一个事实，即您可以声明要抛出任何异常，而不管异常是否真的可以抛出。throws子句只是方法API的一部分。

本条所述条件的要点如下：

public static void main(String args[]) throws OpenException, CloseException, 
                                              java.io.IOException
{
    boolean flag = true;
    try
    {
        if (flag)
        {
            throw new OpenException();
        }
        else
        {
            throw new CloseException();
        }
    }
    catch (Exception e)
    {
        System.out.println(e.getMessage());
        throw e;       // this causes a compilation error before Java 7
    }
}

在Java7中编译，而不是在Java6中编译。

Answer 2

你提到的引语有误导性：

• 如果在方法体中可能抛出选中的异常，则必须在方法的throws子句中声明该异常

例如，这将编译：

public void m() throws IOException {}