Speculations on arenas and non-trivial destructors
7 months ago
- #Memory Management
- #C++
- #Arena Allocator
- 文章讨论了C++中结合区域分配器（arena allocator）使用析构函数的情况，指出析构函数不会增加区域使用的复杂性。
- 通过一个小改动，即可让资源管理对象（如文件句柄、套接字、线程）安全地置于区域中，同时保持异常安全性。
- 文章介绍了一种改进的区域分配器，新增指针成员用于追踪析构函数，仅为非平凡析构函数对象带来极小的开销。
- 作者强调，尽管这些方法在理论上是可靠的，但尚未在真实C++应用场景中测试，并承认了C++的复杂性。
- 代码示例展示了如何通过析构函数链表（Dtor）实现对象按实例化逆序销毁的管理机制。
- 更新后的分配函数（alloc）会检查是否为平凡析构函数，并通过Dtor链表注册非平凡对象以完成清理。
- 文章最后演示了如何用改进后的分配器管理区域内的资源管理对象数组（如TcpSocket），确保正确释放资源。
- 区域的使用接口保持不变，使得新的析构函数管理功能可以无缝集成。