c++ - 在传递给库函数之前检查值更好，还是捕获抛出的异常更好？

Question

假设我正在使用一个库，该库的函数 to_int 接受一个字符串参数。如果字符串是数字的字符表示，则此函数返回一个 int，例如 "23" 将返回 23。如果字符串不是数字，它会抛出一个 std::runtime_error。会不会更好:

if(is_all_digits(str))
    x = to_int(str);
else
    output("not an int, idiot. Try again");

或者

try 
{
    x = to_int(str);
}
catch(...)
{
    output("not an int, idiot. Try again");
}

Answer 1

有几种不同的错误处理技术，每种都有优点和缺点。

让我们考虑一个函数 getAllElements()，它获取一个包含一些元素的容器。

现在这可能会产生错误(数据库连接或其他)。您现在可以选择

Errorcode getAllElements(std::vector<...> & cont);

或

std::vector<...> getAllElements(); //throws exceptions

这通常是一种一般性的设计问题，取决于具体情况。出于多种原因，我更喜欢有异常(exception)的那个。我可以直接分配而不需要预先确定的容器

auto elements = getAllElements();

接下来是您将在哪里处理错误？如果你在堆栈中像上面的 5 个函数一样处理它们，你必须每次检查错误代码并将它交给下一个函数。异常会自动传播，直到有人捕获并能够处理它。

---

异常虽然有一些缺点。它们导致更大的二进制文件，并且在抛出异常时速度更慢。因此在游戏开发中通常不会使用异常(请听这个以获取更多信息:http://cppcast.com/2016/10/guy-davidson/ 他们讨论了为什么不使用异常。不过我目前没有时间戳。)

在特殊情况下也应该使用异常(exception)。您无法立即处理的错误，必须在更高的地方处理。

---

因此，如果您不需要高性能/小型二进制文件，我建议在有用的地方使用异常。它们可以减少键入的代码(例如检查返回码)，从而减少引入错误的地方。

这也是 CppCon 2016 中关于错误处理机制的一个很好的讨论: CppCon 2016: Patrice Roy “The Exception Situation"