标准的回答是，异常是不正常的，应该在特殊情况下使用。

其中一个对我来说很重要的原因是，当我在维护或调试的软件中读取try-catch控制结构时，我试图找出为什么最初的编码器使用异常处理而不是if-else结构。我希望能找到一个好的答案。

请记住，您不仅为计算机编写代码，还为其他编码员编写代码。有一个与异常处理程序相关联的语义，您不能仅仅因为机器不介意就将其丢弃。

异常基本上是非本地的goto语句，具有后者的所有结果。在流控制中使用异常违反了最小惊奇原则，使程序难以阅读(请记住，程序首先是为程序员编写的)。

而且，这不是编译器供应商所期望的。他们希望很少抛出异常，并且他们通常让抛出代码非常低效。抛出异常是。net中最昂贵的操作之一。

然而，一些语言(尤其是Python)使用异常作为流控制结构。例如，如果没有其他项，迭代器将引发StopIteration异常。即使是标准的语言结构(比如for)也依赖于此。

以下是我在博客中描述的最佳实践:

抛出异常以说明软件中的意外情况。 使用返回值进行输入验证。 如果您知道如何处理库抛出的异常，请在尽可能低的级别捕获它们。 如果出现意外异常，请完全放弃当前操作。不要假装你知道如何对付他们。

但是你并不总是知道在你调用的方法中发生了什么。您将无法确切地知道异常抛出的位置。不需要更详细地检查异常对象....

一个美学原因是:

“尝试”总是伴随着“成功”，而“如果”并不一定伴随着“其他”。

if (PerformCheckSucceeded())
   DoSomething();

使用try/catch，它变得更加冗长。

try
{
   PerformCheckSucceeded();
   DoSomething();
}
catch
{
}

6行代码太多了。

Josh Bloch在《Effective Java》中广泛地讨论了这个主题。他的建议很有启发性，也适用于。net(细节除外)。

特别地，例外应用于特殊情况。原因主要与可用性有关。对于一个给定的方法，要最大限度地使用，它的输入和输出条件应该受到最大限度的约束。

例如，第二种方法比第一种方法更容易使用:

/**
 * Adds two positive numbers.
 *
 * @param addend1 greater than zero
 * @param addend2 greater than zero
 * @throws AdditionException if addend1 or addend2 is less than or equal to zero
 */
int addPositiveNumbers(int addend1, int addend2) throws AdditionException{
  if( addend1 <= 0 ){
     throw new AdditionException("addend1 is <= 0");
  }
  else if( addend2 <= 0 ){
     throw new AdditionException("addend2 is <= 0");
  }
  return addend1 + addend2;
}

/**
 * Adds two positive numbers.
 *
 * @param addend1 greater than zero
 * @param addend2 greater than zero
 */
public int addPositiveNumbers(int addend1, int addend2) {
  if( addend1 <= 0 ){
     throw new IllegalArgumentException("addend1 is <= 0");
  }
  else if( addend2 <= 0 ){
     throw new IllegalArgumentException("addend2 is <= 0");
  }
  return addend1 + addend2;
}

无论哪种情况，都需要检查以确保调用者正确地使用了您的API。但在第二种情况下，您需要它(隐式地)。如果用户没有读取javadoc，软异常仍然会被抛出，但是:

你不需要记录它。 你不需要测试它(取决于你的攻击性有多强 单元测试策略是)。 您不需要调用者处理三个用例。

最基本的一点是，异常不应该用作返回代码，很大程度上是因为你不仅让你的API变得复杂了，还让调用者的API变得复杂了。

当然，做正确的事情是有代价的。代价是每个人都需要理解他们需要阅读和遵循文档。希望是这样。