C++中std::shared_ptr不能实现真正垃圾回收，因其仅为引用计数机制，无法处理循环引用，且未实现标记-清除所需的全局可达性分析、对象图遍历与统一回收流程。
为什么 C++ 里不能直接用 std::shared_ptr 就算“实现垃圾回收”？
因为 shared_ptr 是引用计数，不是标记-清除；它无法处理循环引用，也不模拟“全局扫描堆内存→标记存活对象→统一清除未标记区域”这一过程。真要模拟标记-清除，就得自己管理一块堆内存、构造对象图、实现可达性分析——否则只是借了智能指针的壳，没碰核心逻辑。
实操建议：
- 别在
new出来的原始地址上直接套shared_ptr后就宣称“我写了 GC”，这绕过了所有标记逻辑 - 真正模拟需手动维护一个
std::vector<void></void>或自定义ObjectHeader链表，记录所有分配对象的起始地址和大小 - 所有对象必须能被遍历字段（即：要么是固定结构体，要么带类型信息 + 字段偏移表），否则无法递归标记
怎么让普通 C++ 对象支持“被标记”？
得在对象内存布局前端插入元数据，比如一个 bool marked 标志位。但 C++ 没有运行时对象头，所以必须控制分配路径——所有对象都走自定义 allocate()，并在返回地址前写入头信息。
示例关键片段：
立即学习“C++免费学习笔记（深入）”；
struct ObjectHeader {
bool marked;
size_t size;
};
<p>void<em> MyGC::allocate(size_t size) {
void</em> raw = malloc(sizeof(ObjectHeader) + size);
ObjectHeader<em> header = static_cast<ObjectHeader</em>>(raw);
header->marked = false;
header->size = size;
// 把 header 地址存入 roots 或 objects 列表
objects.push_back(header);
return static_cast<char*>(raw) + sizeof(ObjectHeader);
}注意：objects 必须是全局可访问的容器（如静态成员），否则标记阶段找不到待扫描对象；且分配后不能让外部用 delete，否则破坏管理一致性。
标记阶段怎么找到“根对象”并递归遍历？
根对象只能是栈变量、全局变量或寄存器中显式持有的指针。C++ 没有栈帧反射，所以必须人工注册——比如提供 MyGC::addRoot(void*)，由用户在创建对象后立刻调用。
常见错误现象：
- 忘记注册根，导致整个对象图被误清
- 注册了栈上临时变量地址（如
&x），后续函数返回后该地址失效，标记时读越界 - 字段偏移硬编码出错，比如结构体有虚函数表指针，
sizeof(A)不等于字段总和，导致跳过真实指针字段
安全做法：只允许注册指向堆分配对象的指针（即 allocate() 返回值），并在标记时用固定偏移检查每个字段是否落在 objects 管理范围内。
清除阶段为什么不能直接 free() 所有未标记块？
因为 free() 只接受 malloc() 返回的原始地址，而你的对象指针是加了 sizeof(ObjectHeader) 偏移后的地址。直接传进去会崩溃。
正确做法：
- 遍历
objects容器，对每个ObjectHeader*判断!header->marked - 调用
free(header)（不是free(header + 1)） - 从
objects中移除该元素（避免后续重复清除或标记访问已释放内存）
性能影响：清除本身很快，但标记阶段若对象图深或宽，递归容易爆栈；建议改用显式栈（std::stack<void*>）替代递归函数调用。
兼容性提醒：这种模拟只适用于 POD 类型或明确知道字段布局的类；含 std::string、std::vector 的对象不能直接纳入，因为它们内部指针不在你可控字段范围内。
