c++ - operator new 失败时的构造函数调用

Question

我正在尝试实现一种技术来测试 http://www.codeproject.com/Articles/6108/Simulating-Memory-Allocation-Failure-for-Unit-Test 中描述的失败运算符 new .

这是正在测试的示例代码:

VArray* arr = new VArray(1U, 3U, true);

我可以让 new 返回 NULL 而不是分配内存。在这种情况下，程序应该继续到下一行(应该测试 arr == NULL)，这正是它在 MSVC 中所做的。

但是VArray的构造函数在GCC的new失败后仍然会被调用。由于 this 是 NULL，因此它会在第一次分配给属性时产生 SIGSEGV。根据 C++03 标准，这似乎是错误的行为:https://stackoverflow.com/a/11514528/711006

我的运算符 new 和 delete 的实现如下。

unsigned int OperatorPlainNewFailsAfter = UINT_MAX;

void* operator new(const size_t _size) throw()
{
  void* result;
  if(OperatorPlainNewFailsAfter == 0U)
  {
    result = NULL;
  }
  else
  {
    result = malloc(_size);
    OperatorPlainNewFailsAfter--;
  }
  return result;
}

void operator delete(void* _memory) throw()
{
  free(_memory);
}

我错过了什么？

Answer 1

C++ 标准要求分配函数(例如基本的 operator new)失败时抛出 std::bad_alloc 异常(如果失败)。不允许返回空指针。当您确实返回空指针时，您有未定义的行为，是的，一个可能的结果是调用构造函数。