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

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

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

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

is_present(key)
find(key) throws Exception

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

这取决于你是否希望找到这个物体。如果你遵循学校的思想，认为exceptions应该用来表示某事，那么，嗯，呃，exceptions已经发生了:

对象发现;返回对象 没有找到对象;抛出异常

否则，返回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。调用该方法的代码应该决定是抛出异常还是尝试其他操作。

“其他”选项可以是让find方法接受一个带有默认对象的附加参数，如果无法找到所寻找的对象，将返回该默认对象。

否则，我只返回null，除非它确实是一个例外的情况，当对象没有找到。

我只是想概括一下之前提到的选项，并添加一些新的选项:

返回null 抛出异常 使用空对象模式 为您的方法提供一个布尔参数，以便调用者可以选择是否希望您抛出异常 提供一个额外的参数，以便调用者可以设置一个值，如果没有找到值，则返回该值

或者你可以把这些选项结合起来:

提供getter的多个重载版本，以便调用者可以决定采用哪种方式。在大多数情况下，只有第一个有搜索算法的实现，其他的只是围绕着第一个:

Object findObjectOrNull(String key);
Object findObjectOrThrow(String key) throws SomeException;
Object findObjectOrCreate(String key, SomeClass dataNeededToCreateNewObject);
Object findObjectOrDefault(String key, Object defaultReturnValue);

即使您选择只提供一个实现，您也可能希望使用这样的命名约定来阐明您的契约，并且它有助于您决定添加其他实现。

你不应该过度使用它，但它可能是有帮助的，特别是当你编写一个helper类时，你将在数百个不同的应用程序中使用许多不同的错误处理约定。