LLVM 如何无一例外地使用 C++ 的标准容器？

How can LLVM use C++'s standard containers without exceptions?

本文关键字：标准 C++ 无一例外 LLVM 更新时间：2023-10-16

根据LLVM编码标准，"LLVM不使用[...]例外"。但是，LLVM确实使用了C++的标准容器，例如std::vector。

LLVM 如何无一例外地使用标准容器？它如何处理容器通常会throw的情况？例如，如果std::vector::push_back无法分配内存并且无法throw std::bad_alloc，会发生什么情况？

LLVM 将达到会引发异常的状态视为立即崩溃。如果使用的实现/编译设置启用异常，则抛出一个展开并找不到 catch 处理程序并调用std::terminate 。如果实现/编译设置禁用异常，则实现必须提供一些替代行为。大多数会以一种或另一种方式立即崩溃。

LLVM 上的开发人员完全使用这些设置测试他们的代码，并小心避免可能引发的情况。

一种无法直接避免的情况是分配失败。LLVM根本不支持分配可能失败且用户必须捕获bad_alloc的平台。如果平台在任何时候无法分配内存，LLVM 将崩溃。

事实证明，当今绝大多数非嵌入式平台都使用某种形式的过度提交。由于LLVM的设计性质，我们没有特别有用的机制来优雅地响应分配内存的失败。因此，它被认为是致命且不可恢复的错误，无论我们是否启用异常，我们都将在那时终止该过程。

libc++实现包含对_LIBCPP_NO_EXCEPTIONS的检查，这是从编译器对异常的支持推导出来的。

如果我看一下 vector 的具体实现，看起来条件被断言而不是抛出异常。但是，我无法为bad_alloc验证这一点。

由于没有关于给出-fno-exceptions时行为的文档，因此我假设应用程序崩溃。