bugprone-unhandled-exception-at-new

查找对 new 的调用,其中缺少对 std::bad_alloc 的异常处理程序。

new 的调用可能会抛出类型为 std::bad_alloc 的异常,这些异常应该被处理。或者,可以使用 new 的非抛出形式。该检查验证异常是在调用 new 的函数中处理的。

如果使用非抛出版本或允许异常从函数传播出去,则不会生成警告。

如果异常处理程序捕获 std::bad_allocstd::exception 异常类型,或者所有异常(catch-all),则会检查异常处理程序。该检查假设任何用户定义的 operator new 都是 noexcept,或者可能抛出类型为 std::bad_alloc(或从中派生的异常)的异常。其他异常类类型不予考虑。

int *f() noexcept {
  int *p = new int[1000]; // warning: missing exception handler for allocation failure at 'new'
  // ...
  return p;
}
int *f1() { // not 'noexcept'
  int *p = new int[1000]; // no warning: exception can be handled outside
                          // of this function
  // ...
  return p;
}

int *f2() noexcept {
  try {
    int *p = new int[1000]; // no warning: exception is handled
    // ...
    return p;
  } catch (std::bad_alloc &) {
    // ...
  }
  // ...
}

int *f3() noexcept {
  int *p = new (std::nothrow) int[1000]; // no warning: "nothrow" is used
  // ...
  return p;
}