我想知道，如果我使用-fno-exceptions 选项来禁用异常处理来编译我的程序，new T 还会抛出bad_alloc 吗？
或者编译器（GCC 和 clang 支持该选项）是否会将 new T 的使用隐式转换为 new (nothrow) T？
【问题讨论】：
bad_alloc 的代码？
new 和delete，我猜。
按照我的理解，operator new 是由 libstdc++ 定义的。如果您现在使用-fno-exceptions 编译您自己的代码，您将无法捕获任何异常，但您仍将链接到会引发异常的普通版本的 libstdc++。
所以是的，new T 会抛出异常，即使是 -fno-exception。
但是，如果您也使用 -fno-exception 编译 libstdc++，事情就会变得不同。现在，new T 不能抛出异常，但是，如果我读到 the libstdc++ manual right，它将改为调用 abort()。
看来，如果您希望 new T 在失败时返回 NULL，唯一的方法是明确指定 nothrow...
【讨论】：
cat bad_alloc.cpp 的情况。
我无法对 -fno-exceptions 的所有好处给出明确的答案，只是在 32 位 linux 机器上的观察结果，gcc 4.5.1 - bad_alloc 在有和没有-fno-exceptions的情况下都会抛出
[21:38:35 1 ~/tmp] $ cat bad_alloc.cpp
int main()
{
char* c = new char[4000000000U];
}
[21:38:58 1 ~/tmp] $ g++ bad_alloc.cpp
[21:39:06 1 ~/tmp] $ ./a.out
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Aborted
[21:39:07 1 ~/tmp] $ g++ -fno-exceptions bad_alloc.cpp
[21:39:16 1 ~/tmp] $ ./a.out
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Aborted
【讨论】：
-fno-exceptions 重新构建 C++ 标准库以获得完全期望的结果吗？
这不是一个确定的答案，但GCC Manual（请参阅“不做”部分）有这个：
在详细说明库支持之前 对于
-fno-exceptions，首先是通过 注意这个标志时丢失的东西 被使用：它将打破异常 试图通过编译的代码 与-fno-exceptions是否 该代码有任何尝试或捕获 结构体。如果你可能有一些 抛出的代码，你不应该使用-fno-exceptions.
按照我的阅读方式，您可能必须明确要求new 的 nothrow 版本是完全安全的。
【讨论】：
在许多异常处理系统中，如果例程“foo”调用“bar”，而后者又调用“moo”，并且“moo”抛出异常，则该异常可以干净地返回“foo”的唯一方法是“bar”是否有处理异常的代码。即使“bar”会让异常传播而不被捕获，它通常也必须确保其局部变量在允许执行离开范围之前被正确销毁。这将需要在“bar”中添加额外的代码；在大多数系统中，即使没有抛出异常，也必须执行其中一些代码。
顺便说一句，在某些 ARM 处理器（例如 Cortex M3 或在 ARM 模式下运行的 Arm7）上，如果调用者也将在 ARM 模式下运行，则可以通过使用“正常”子程序返回到 LR+4（超出正常返回地址的四个字节）并有一个异常退出到 LR（这将是一个 4 字节的分支指令）。不过，这种行为与 ARM 上的正常做法相反，而且这种设计不能很好地移植到 Cortex M0。
【讨论】：
new 转换为new (nothrow)？ ;-p