new和malloc在资源受限设备上易出问题，因其引发堆碎片、非重入性及不可预测执行时间，导致malloc返回nullptr、中断冲突与实时性破坏。
为什么 new 和 malloc 在资源受限设备上会出问题
在 MCU、传感器节点或裸机嵌入式环境里，malloc 带来的堆碎片不是“迟早出问题”，而是“第一次多线程/中断重入就崩”。典型表现是：运行几天后 malloc 突然返回 nullptr，但总内存明明还有空闲——因为剩余空间被切成无法满足任意块大小的碎段。标准库堆管理器（如 dlmalloc 或 newlib 的 heap）不维护块大小对齐，也不做合并延迟控制，根本没法应对小对象高频分配/释放场景。
Fixed Block Allocator 的核心思路是：提前划好一批等长内存块，只允许按固定尺寸分配，彻底绕过首次适配、最佳适配这些决策逻辑。没有合并、没有分割、没有元数据指针链表——自然没有碎片。
怎么手写一个线程安全、无 new 依赖的固定块内存池
关键约束必须守住：不调用任何动态内存函数，所有内存来自静态数组或栈；每个块头部不存指针（避免额外开销和破坏对齐）；支持中断安全（即原子性获取/归还）。
- 用
std::array<uint8_t n block_size></uint8_t>静态分配原始内存，BLOCK_SIZE要包含对齐填充（例如alignof(std::max_align_t)向上取整） - 用单个
std::atomic<uint16_t></uint16_t>记录空闲块索引（0 表示满），实现 lock-free 分配：CAS 循环尝试更新索引，失败则重试 - 归还时直接写回索引，不检查是否重复归还（由使用者保证，否则行为未定义）
- 禁止在构造函数里调用
allocate()，否则静态初始化顺序可能导致未定义行为
示例节选：
template<size_t block_size size_t block_count>
class FixedBlockPool {
alignas(BLOCK_SIZE) std::array<uint8_t block_count block_size> storage_;
std::atomic<uint16_t> free_head_{0};
<p>public:
void<em> allocate() {
uint16_t old = free<em>head</em>.load();
do {
if (old >= BLOCK_COUNT) return nullptr;
uint16_t next = </em>reinterpret_cast<uint16>t*>(&storage[old <em> BLOCK_SIZE]);
} while (!free<em>head</em>.compare_exchange<em>weak(old, next));
return &storage</em>[old </em> BLOCK_SIZE];
}
};</uint16></p></uint16_t></uint8_t></size_t>
std::pmr::pool_resource 能不能直接用？
不能直接用。虽然 C++17 引入了 std::pmr::pool_resource，但它底层仍依赖 upstream_resource()（默认是 std::pmr::new_delete_resource()），也就是还是走 new。即使你传入自定义上游资源，pool_resource 内部仍会动态申请大块内存再切分，并维护自由链表——这在 RAM 小于 64KB 的设备上极易因元数据膨胀失效。
更现实的选择是：用 std::pmr::unsynchronized_pool_resource 仅作原型验证，真机部署必须替换为完全静态、零堆依赖的手写版本。别被名字里的 “pool” 欺骗——它不保证无堆。
如何对接 STL 容器并避免隐式堆分配
把 std::vector、std::string 拉进无堆环境，光换 allocator 不够。常见陷阱：
-
std::vector<t mypoolallocator>></t>可行，但必须确保T的构造函数不调用new（比如含std::string成员就不行） -
std::string即使指定 pool allocator，其 small string optimization（SSO）路径仍可能触发堆分配（取决于实现和字符串长度阈值），建议禁用 SSO 或改用std::basic_string_view+ 静态缓冲区 - STL 算法如
std::sort可能临时申请内存（例如 introsort 的递归栈），应改用迭代版或限制最大元素数 - 所有全局对象的构造函数中禁止分配，静态生命周期对象的内存必须在编译期确定大小
真正落地时，往往要搭配自定义容器（如 static_vector、ring_span）和编译期断言（static_assert(std::is_trivially_destructible_v<t>)</t>）来堵死隐式堆路径。
最易被忽略的一点：缓存行对齐和 DMA 兼容性。如果内存池用于网络包或 ADC 缓冲区，BLOCK_SIZE 必须是 32/64 字节对齐，且整个 storage_ 数组需用 __attribute__((aligned(64)))（GCC/Clang）或 [[align(64)]]（C++17）标注，否则某些硬件会触发总线错误。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
