例外情况与契约式设计有关。

一个对象的接口实际上是两个对象之间的契约，调用方必须满足契约，否则接收方可能会异常失败。有两种可能的契约

1)所有输入的方法都是有效的，在这种情况下，当对象没有找到时必须返回null。

2)只有某些输入是有效的，即导致找到对象的输入。在这种情况下，您必须提供第二个方法，允许调用者确定其输入是否正确。例如

is_present(key)
find(key) throws Exception

当且仅当你提供了第二个契约的两个方法，你被允许抛出异常，但什么都没有发现!

如果您正在使用抛出异常的库或其他类，则应该重新抛出异常。这里有一个例子。Example2.java类似于library，而Example.java使用它的对象。Main.java就是一个处理这个异常的例子。您应该向调用端的用户显示有意义的消息和堆栈跟踪(如果需要)。

Main.java

public class Main {
public static void main(String[] args) {
    Example example = new Example();

    try {
        Example2 obj = example.doExample();

        if(obj == null){
            System.out.println("Hey object is null!");
        }
    } catch (Exception e) {
        System.out.println("Congratulations, you caught the exception!");
        System.out.println("Here is stack trace:");
        e.printStackTrace();
    }
}
}

Example.java

/**
 * Example.java
 * @author Seval
 * @date 10/22/2014
 */
public class Example {
    /**
     * Returns Example2 object
     * If there is no Example2 object, throws exception
     * 
     * @return obj Example2
     * @throws Exception
     */
    public Example2 doExample() throws Exception {
        try {
            // Get the object
            Example2 obj = new Example2();

            return obj;

        } catch (Exception e) {
            // Log the exception and rethrow
            // Log.logException(e);
            throw e;
        }

    }
}

Example2.java

 /**
 * Example2.java
 * @author Seval
 *
 */
public class Example2 {
    /**
     * Constructor of Example2
     * @throws Exception
     */
    public Example2() throws Exception{
        throw new Exception("Please set the \"obj\"");
    }

}

如果对于客户端代码来说，知道已找到和未找到之间的区别很重要，并且这应该是一个例程行为，那么最好返回null。然后客户端代码可以决定要做什么。

在一些函数中，我添加了一个参数:

..., bool verify = true)

True表示抛出，false表示返回错误返回值。这样，任何使用这个函数的人都有两个选项。为了方便那些忘记错误处理的人，默认值应该是true。

例外应该是例外。如果返回null是有效的，则返回null。

我更喜欢只返回null，并依赖于调用者来适当地处理它。(因为没有更好的词)例外是，如果我绝对“确定”这个方法将返回一个对象。在这种情况下，失败是一个例外，应该和应该抛出。