Effective C++ 规则50：了解 new 和 delete 的合理替换时机

1、背景

在 C++ 中，new 和 delete 是动态分配内存的核心操作符。然而，直接使用它们有时会增加程序的复杂性，甚至导致内存泄漏和其他问题。因此，了解何时替换 new 和 delete 并选择更适合的内存管理策略，是编写高效、健壮 C++ 程序的关键。直接使用 new 和 delete 存在以下潜在问题：

内存泄漏：如果忘记调用 delete 释放内存，就会导致内存泄漏。
异常安全性：在异常发生时，可能导致内存无法正确释放。
复杂性：手动管理内存使代码变得更难维护和阅读。
性能问题：默认的全局 new 和 delete 可能不适合特定场景，例如需要高效的内存池。
无法跟踪分配：默认 new 和 delete 无法提供关于内存分配的额外信息（如分配大小或位置）。

2、替换 new 和 delete 的常用方法

2.1 、使用智能指针代替原始指针

现代 C++ 提供了智能指针（std::unique_ptr 和 std::shared_ptr），它们能够自动管理内存，避免手动调用 delete。

#include <memory>
#include <iostream>class Widget {
public:Widget() { std::cout << "Widget constructed" << std::endl; }~Widget() { std::cout << "Widget destroyed" << std::endl; }
};int main() {std::unique_ptr<Widget> w = std::make_unique<Widget>();// 无需手动调用 deletereturn 0;
}

这样做可以避免内存泄漏，提供异常安全性

2.2、定制全局 new 和 delete

在某些场景中，需要替换全局 new 和 delete 以提供自定义的内存分配行为。

#include <cstdlib>
#include <iostream>void* operator new(size_t size) {std::cout << "Custom new: Allocating " << size << " bytes" << std::endl;return std::malloc(size);
}void operator delete(void* ptr) noexcept {std::cout << "Custom delete: Freeing memory" << std::endl;std::free(ptr);
}int main() {int* p = new int;delete p;return 0;
}

优点，可以跟踪内存分配和释放，可优化内存分配以满足特定需求。

2.3、为特定类重载 new 和 delete

对于某些类，可以提供自定义的 new 和 delete，以优化其内存管理。

#include <iostream>
#include <cstdlib>class Widget {
public:static void* operator new(size_t size) {std::cout << "Widget custom new: Allocating " << size << " bytes" << std::endl;return std::malloc(size);}static void operator delete(void* ptr) noexcept {std::cout << "Widget custom delete: Freeing memory" << std::endl;std::free(ptr);}
};int main() {Widget* w = new Widget;delete w;return 0;
}

优点，针对特定类优化内存分配，可实现类级别的内存跟踪和调试。

2.4、使用内存池

在需要频繁分配和释放小对象的场景下，使用内存池可以显著提升性能。

#include <vector>
#include <iostream>class MemoryPool {
public:MemoryPool(size_t objectSize, size_t poolSize): m_objectSize(objectSize), m_poolSize(poolSize) {m_pool.reserve(m_poolSize);for (size_t i = 0; i < m_poolSize; ++i) {m_pool.push_back(std::malloc(m_objectSize));}}~MemoryPool() {for (void* ptr : m_pool) {std::free(ptr);}}void* allocate() {if (m_pool.empty()) {return std::malloc(m_objectSize);} else {void* ptr = m_pool.back();m_pool.pop_back();return ptr;}}void deallocate(void* ptr) {m_pool.push_back(ptr);}private:size_t m_objectSize;size_t m_poolSize;std::vector<void*> m_pool;
};int main() {MemoryPool pool(sizeof(int), 10);int* p = static_cast<int*>(pool.allocate());pool.deallocate(p);return 0;
}