LLVM如何无一例外地使用C++的标准容器?
How can LLVM use C++'s standard containers without exceptions?
根据LLVM Coding Standards、"LLVM does not use [...] exceptions"。然而,LLVM 确实使用了 C++ 的标准容器,例如 std::vector
.
LLVM 怎么可能毫无例外地使用标准容器?它如何处理容器通常 throw
的情况?例如,如果 std::vector::push_back
不能分配内存并且不能 throw std::bad_alloc
会发生什么?
libc++ 实现包含对 _LIBCPP_NO_EXCEPTIONS
的检查,这是从编译器对异常的支持推导出来的。
如果我看一下 vector 的具体实现,它看起来像是断言了条件而不是抛出异常。但是,我无法为 bad_alloc
.
验证这一点
由于没有关于给出 -fno-exceptions
时的行为的文档,我假设应用程序崩溃了。
LLVM 将达到会抛出异常的状态视为立即崩溃。如果使用的实现/编译设置启用异常,则会抛出异常并发现没有捕获处理程序并调用 std::terminate
。如果实现/编译设置禁用异常,则实现必须提供一些替代行为。大多数都会以某种方式立即崩溃。
LLVM 上的开发人员使用这些设置测试他们的代码,并小心避免可能抛出异常的情况。
一种无法直接避免的情况是分配失败。 LLVM 根本不支持分配可能失败且用户必须捕获 bad_alloc
的平台。如果平台在任何时候分配内存失败,LLVM 就会崩溃。
事实证明,当今绝大多数非嵌入式平台都使用某种形式的 overcommit。由于 LLVM 设计的性质,我们没有特别有用的机制来优雅地响应分配内存的失败。因此,它被认为是一个致命且不可恢复的错误,无论我们是否启用异常,我们都将在此时终止进程。
根据LLVM Coding Standards、"LLVM does not use [...] exceptions"。然而,LLVM 确实使用了 C++ 的标准容器,例如 std::vector
.
LLVM 怎么可能毫无例外地使用标准容器?它如何处理容器通常 throw
的情况?例如,如果 std::vector::push_back
不能分配内存并且不能 throw std::bad_alloc
会发生什么?
libc++ 实现包含对 _LIBCPP_NO_EXCEPTIONS
的检查,这是从编译器对异常的支持推导出来的。
如果我看一下 vector 的具体实现,它看起来像是断言了条件而不是抛出异常。但是,我无法为 bad_alloc
.
由于没有关于给出 -fno-exceptions
时的行为的文档,我假设应用程序崩溃了。
LLVM 将达到会抛出异常的状态视为立即崩溃。如果使用的实现/编译设置启用异常,则会抛出异常并发现没有捕获处理程序并调用 std::terminate
。如果实现/编译设置禁用异常,则实现必须提供一些替代行为。大多数都会以某种方式立即崩溃。
LLVM 上的开发人员使用这些设置测试他们的代码,并小心避免可能抛出异常的情况。
一种无法直接避免的情况是分配失败。 LLVM 根本不支持分配可能失败且用户必须捕获 bad_alloc
的平台。如果平台在任何时候分配内存失败,LLVM 就会崩溃。
事实证明,当今绝大多数非嵌入式平台都使用某种形式的 overcommit。由于 LLVM 设计的性质,我们没有特别有用的机制来优雅地响应分配内存的失败。因此,它被认为是一个致命且不可恢复的错误,无论我们是否启用异常,我们都将在此时终止进程。