在数据层代码中，我有时使用以下代码，允许调用者决定“对象未找到”是否意味着发生了错误。

DataType GetObject(DBConnection conn, string id, bool throwOnNotFound) {
    DataType retval = ... // find object in database
    if (retval != null || ! throwOnNotFound) {
        return retval;
    } else {
        throw new NoRowsFoundException("DataType object with id {id} not found in database");
    }
}

DataType GetObject(DBConnection conn, string id) {
    return GetObject(conn, id, true);
} 

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

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

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

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

is_present(key)
find(key) throws Exception

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

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

..., bool verify = true)

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

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

返回空值而不是抛出异常，并在API文档中清楚地记录空返回值的可能性。如果调用代码不遵守API并检查空情况，它很可能会导致某种“空指针异常”:)

在c++中，我可以想到3种不同的方法来设置查找对象的方法。

选择一个

Object *findObject(Key &key);

当找不到对象时返回null。很好很简单。我选这个。下面的替代方法是为那些不讨厌out-params的人准备的。

选项B

void findObject(Key &key, Object &found);

传入一个将接收该对象的变量引用。当找不到对象时，该方法抛出异常。如果不是真的期望找不到对象，那么这种约定可能更适合——因此您可以抛出异常来表示这是一个意外情况。

C选项

bool findObject(Key &key, Object &found);

当找不到对象时，该方法返回false。与选项A相比，这个选项的优点是，您可以在一个明确的步骤中检查错误情况:

if (!findObject(myKey, myObj)) { ...

返回null，异常就是:你的代码所做的不是预期的事情。