Question

我有这个示例代码用于重载operator new和delete

#include <iostream>
#include <cstddef>
#include <new>

#ifdef USE_ZMALLOC
extern "C" {
#include "zmalloc.h"
}
#define m_malloc zmalloc
#define m_free zfree
#else
#ifdef USE_JEMALLOC
#include <jemalloc/jemalloc.h>
#define m_malloc je_malloc
#define m_free je_free
#else
#include "malloc.h"
#define m_malloc std::malloc
#define m_free std::free
#endif
#endif

// C++ requires that operator new return a legitimate pointer
//  even when zero bytes are requested. That's why if (size == 0) size = 1
void* operator new (std::size_t size) throw (std::bad_alloc) {
  using namespace std;
  if (size == 0) { // Handle 0-byte requests by treating them as 1-byte requests
    size = 1;
  }

  while (true) {
    void* mem = m_malloc(size);

    if (mem != nullptr) {
      return mem;
    } 

    new_handler global_handler = set_new_handler(nullptr);
    set_new_handler(global_handler);

    if (global_handler) {
      (*global_handler)();
    } else {
      throw bad_alloc();
    }

  }
}

void* operator new[] (std::size_t size) throw (std::bad_alloc) {
  return operator new(size);
}

void operator delete (void* ptr) throw() {
  if (ptr == nullptr) {
    return;
  }

  m_free(ptr);
}

void operator delete[] (void* ptr) throw() {
  operator delete(ptr);
}

此代码实际上正在运行，一切似乎都是正确的。我的问题是：当使用valgrind时，如果我这样做：

int main() {
  Foo** foo = new Foo*[10];

  std::cout << "# " << zmalloc_used_memory() << "." << std::endl;

  delete foo;  // Using wrong delete operator

  return 0;
}

valgrind并没有抱怨使用错误的操作员删除。如果我使用默认运算符new / delete对，valgrind会警告我操作符删除错误。

1）我的新/删除操作符有问题吗？
2）valgrind不再警告这种错误，这是正常的吗？

THX！

Answer 1

首先，这些不是重载（因为它们具有完全相同的原型）。这些都是替代品。

最有可能的问题是Valgrind并不知道你已经取代了这些全球运营商。如果你在共享库中进行替换，Valgrind将会看到函数和原型，并且能够挂钩它们。但是，如果替换是在您的可执行文件中，您将需要告诉Valgrind。我认为这可以通过检测代码来实现，但这非常困难。更简单的方法是使用Valgrind选项--soname-synonyms = somalloc = NONE。

重载运算符new / new []删除/删除[]全局C ++

1 个答案: