具有非抛出异常规范的分配函数

Question

3.7.4.1 [basic.stc.dynamic.allocation] / 3有以下句子：

  

如果使用非投掷声明分配函数   异常规范（15.4）无法分配存储，它应该   返回一个空指针。

由于§3.7.4/ 2（见下文）中显示的两个分配函数没有异常规范，我不确切地知道这句话试图传达的内容。

  

void* operator new(std::size_t);
  void* operator new[](std::size_t);

AFAICT，如果我用全局范围内的 exception-specification 替换operator new，则代码将无法编译。