返回空值而不是抛出异常，并在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。

否则就是个人喜好的问题了。

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

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

如果没有找到它是一个异常事件(即在正常情况下它应该在那里)，那么就扔掉它。否则，返回一个“notfound”值(可以为空，但不一定)，或者甚至让方法返回一个布尔值来表示found/notfound，并为实际对象返回一个out参数。

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

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

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

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

is_present(key)
find(key) throws Exception

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