我第一次使用 boost::make_shared 创建共享指针指向的对象。主要是因为我们的代码太慢了，单次分配确实有助于提高性能。
在“硬手动方式”修复了一些内存泄漏之后，我决定通过覆盖所有相关类的新运算符来实现一个简单的内存泄漏检测器，只是为了计算哪些对象在我们的应用程序的特定点仍然存在。我之前已经实现过几次，并且惊讶地发现我的代码不再检测到任何对象。
我认为我所要做的就是覆盖“placement new”而不是“normal” operator new，因为 make_shared 的 boost 网站文档中的以下内容：
“效果：分配适合 T 类型对象的内存，并通过放置 new 表达式 new( pv ) T() 或 new( pv ) T( std::forward(args)...) 在其中构造一个对象。 allocate_shared使用 a 的副本分配内存。如果抛出异常，则无效。”
然而，我的新位置也没有被调用。我编写了一个小测试程序来重现该行为：
#include <iostream>
using namespace std;
#include "boost/shared_ptr.hpp"
#include "boost/make_shared.hpp"
class Test
{
public:
Test() { cout << "Test::Test()" << endl; }
void* operator new (std::size_t size) throw (std::bad_alloc) {
cout << "Test new" << endl;
return malloc(size);
}
void* operator new (std::size_t size, const std::nothrow_t& nothrow_constant) throw() {
cout << "Test non-throwing new" << endl;
return malloc(size);
}
void* operator new (std::size_t size, void* ptr) throw() {
cout << "Test non-throwing placement new" << endl;
return malloc(size);
}
};
void* operator new (std::size_t size) throw (std::bad_alloc) {
cout << "Global new" << endl;
return malloc(size);
}
int main() {
cout << "..." << endl;
boost::shared_ptr<Test> t1(boost::make_shared<Test>());
cout << "..." << endl;
boost::shared_ptr<Test> t2(new Test());
cout << "..." << endl;
return 0;
}
呈现以下输出：
...
Global new
Test::Test()
...
Test new
Test::Test()
Global new
...
我期待在输出的第 3 行出现“测试非投掷新位置”。你认为行为应该是什么？您是否同意根据 make_shared 的文档，它应该调用我的 Test 类的放置 new 运算符？还是我误会了？
我当然可以在本地复制 boosts 实现并添加对放置新操作符的调用。但是，这是否合适，还是会违反放置 new 的预期语义？
提前感谢您的时间和帮助。