内存池通过预分配大块内存并管理固定大小对象的分配与释放，显著提升性能。它避免频繁系统调用，减少碎片，适用于高频创建销毁对象场景。示例中为Particle类定制内存池，使用空闲列表维护可用内存块，new时从链表取指针并placement new构造，delete时仅调用析构并将内存返链表，极大加速分配过程。代码展示了一个模板化固定大小内存池，核心包含allocate/deallocate方法及按需扩展机制，有效优化特定类型对象的内存操作效率。
C++内存池，说白了，就是我们自己动手管理一块内存，而不是每次都去找操作系统或者标准库。它的核心价值在于绕开频繁的系统调用和复杂的通用内存管理算法，从而显著提升特定场景下的内存分配与释放效率，并有效缓解内存碎片化问题。
说实话，每次写C++，尤其是在性能敏感的模块里，new和delete的开销总是让人心头一紧。标准库的分配器固然强大，但它为了通用性，牺牲了部分极致的效率。内存池，就是我们为特定对象量身定制的“专属停车场”。
最常见的做法，是为一种固定大小的对象类型预先分配一大块内存。我们把这块大内存切分成无数个相同大小的小块，然后用一个“空闲列表”（Free List）来管理这些小块。当需要一个对象时，就从空闲列表里“领”一块出来；对象销毁时，再把这块内存“还”回去，重新放回空闲列表。这个过程，比起操作系统层面那套复杂的页表、锁和各种平衡树算法，简直是光速。
举个例子，假设我们有一个Particle类，在游戏或者仿真场景里会频繁创建和销毁成千上万个。如果每次都new Particle，那性能瓶颈几乎是板上钉钉。这时候，一个Particle专属的内存池就能大显身手。它预先分配好能容纳几千上万个Particle的内存，每次new操作，实际上只是从一个链表里取出一个指针，然后用placement new在那个地址上构造对象。delete时，也只是把指针还回链表，然后显式调用析构函数。
立即学习“C++免费学习笔记（深入）”；
#include <iostream>
#include <vector>
#include <cstddef> // For std::max_align_t
// 简化示例：一个固定大小的内存池
// 不包含线程安全、多块内存管理、对齐细节的完整处理，仅展示核心思想
template <typename T, size_t BlockSize = 1024>
class FixedSizeMemoryPool {
private:
// 空闲列表节点，实际存储的是下一个空闲块的指针
union Node {
Node* next;
// 确保Node的大小至少能容纳T，并且满足T的对齐要求
// 这里的char数组是为了确保union的大小和对齐，实际内存由_memoryBlock管理
alignas(alignof(T)) char data[sizeof(T)];
};
std::vector<char*> _memoryBlocks; // 管理所有分配的大块内存
Node* _freeList; // 指向空闲列表的头部
void allocateNewBlock() {
// 计算一个大块能容纳多少个T类型的对象
// 确保每个T对象都能正确对齐
size_t numElementsInBlock = BlockSize / sizeof(T);
if (numElementsInBlock == 0) numElementsInBlock = 1; // 至少能放一个
char* newBlock = new char[numElementsInBlock * sizeof(T)];
_memoryBlocks.push_back(newBlock);
// 初始化新分配的块，并添加到空闲列表
for (size_t i = 0; i < numElementsInBlock; ++i) {
Node* current = reinterpret_cast<Node*>(newBlock + i * sizeof(T));
current->next = _freeList;
_freeList = current;
}
}
public:
FixedSizeMemoryPool() : _freeList(nullptr) {
// 初始时不分配，按需分配第一个块
}
~FixedSizeMemoryPool() {
for (char* block : _memoryBlocks) {
delete[] block;
}
}
void* allocate() {
if (!_freeList) {
// 如果空闲列表为空，分配一个新的大块
allocateNewBlock();
}
Node* result = _freeList;
_freeList = _freeList->next;
return result;
}
void deallocate(void* ptr) {
if (!ptr) return;
Node* node = reinterpret_cast<Node*>(ptr);
node->next = _freeList;
_freeList = node;
}
};
// 示例类，重载其new 
