异常是 C++ 编程中非常常见的一个特性，但是你真的了解异常的内部机制吗？
在 C++ 中，异常可被视为一种值传递机制。当程序中出现错误时，会抛出一个异常对象，在调用栈中查找适当的异常处理程序，然后将异常传递给该处理程序。
异常处理程序可以是一个 catch 语句，该语句包含异常处理程序的代码块。当异常被抛出时，catch 语句会捕获该异常，并处理该异常。每个 catch 语句都可以指定自己可以处理哪些类型的异常，以及如何处理。如果没有找到匹配的 catch 语句，则程序会终止。
但是，程序如何知道哪个 catch 语句应该处理异常呢？这里就需要涉及到 C++ 异常的内部机制了。在抛出异常时，C++ 会创建一个异常对象，并将该对象传递给调用栈中的第一个异常处理程序。这个过程中会构建一个包含异常处理程序信息的异常处理表，这个表由编译器自动创建。
当程序抛出异常时，C++ 运行时会扫描调用栈上的每个 frame，以确定哪些帧包含可用的 catch 语句。这样就可以找到正确的异常处理程序，然后将异常传递给该程序。如果找不到匹配的 catch 语句，程序将终止，并且未处理的异常将被传递到调用者。
值得注意的是，C++ 中的异常是通过跳转来实现的。这意味着，如果没有合适的 catch 语句来处理异常，程序将跳转到最近的 catch 语句，或者跳过整个调用栈，并终止程序。因此，异常处理程序应该处理异常，以保证程序正常执行。
总之，在 C++ 中，异常是一种强大的错误处理机制。了解其内部机制可以帮助我们更好地使用它，并编写更健壮、更可靠的代码。
了解更多有趣的事情：https://blog.ds3783.com/