new(std::nothrow) int[n] 抛出异常

Question

#include <iostream>
#include <new>

int main()
{
    int n = -1;
    try
    {
        int *p = new(std::nothrow) int[n];
        if(!p)
            std::cout << "new expression returned nullptr\n";
    }
    catch(const std::bad_array_new_length& e)
    {
        std::cout << "new expression threw " << e.what() << std::endl;
    }
}

为什么这段代码会抛出异常？它打印new expression threw std::bad_array_new_length。 根据标准，在这种情况下，新表达式应返回 nullptr。

如果 noptr-new-declarator 中的表达式存在，它是 隐式转换为 std::size_t。如果出现以下情况，则表达式错误：

——表达式是非类类型，它在转换为之前的值 std::size_t 小于零；

[...]

如果表达式错误 转换为 std::size_t 后：

——如果表达式是核心 常量表达式，程序格式错误；

——否则，一个 不调用分配函数；而是

——如果分配 本来会被调用的函数有一个非抛出异常 规范（14.5），新表达式的值为空 所需结果类型的指针值；

——否则， new-expression 通过抛出一个类型的异常来终止 将匹配 std::bad_array_new_length 类型的处理程序 (14.4) (17.6.3.2)。

使用 gcc 9.2 编译

Answer 1

我怀疑这是 libstdc++ 中的一个错误；使用 clang 和 libc++ 运行此代码会打印“新表达式返回 nullptr”