#include
class GCObject {
public:
bool marked;
GCObject() : marked(false) {}
virtual ~GCObject() = default;
virtual void markChildren() {} // 子类重写以标记引用的子对象
};
// 全局对象池和根集
std::set> all_objects;
std::vector> roots;
void gc_mark() {
for (auto* obj : roots) {
if (obj && !obj->marked) {
obj->marked = true;
obj->markChildren();
}
}
}
void gc_sweep() {
auto it = all_objects.begin();
while (it != all_objects.end()) {
GCObject obj = it;
if (!obj->marked) {
it = all_objects.erase(it);
delete obj; // 实际回收
} else {
obj->marked = false; // 重置标记供下次使用
++it;
}
}
}
void garbage_collect() {
std::cout << "开始垃圾回收...\n";
gc_mark();
gc_sweep();
std::cout << "垃圾回收完成。\n";
}
// 示例：一个持有其他对象引用的类
class ListObject : public GCObject {
public:
std::vector elements;
void markChildren() override {
for (auto* elem : elements) {
if (elem && !elem->marked) {
elem->marked = true;
elem->markChildren();
}
}
}
void add(GCObject* obj) {
elements.push_back(obj);
}};
// 辅助函数：注册新对象
template
T new_object() {
T obj = new T();
all_objects.insert(obj);
return obj;
}
// 添加根指针
void push_root(GCObject* obj) {
roots.push_back(obj);
}
void pop_root() {
if (!roots.empty()) roots.pop_back();
}
使用示例
演示一次简单的垃圾回收过程：
int main() {
// 创建一些对象并加入根
ListObject* root_list = new_object();
push_root(root_list);
// 添加子对象
GCObject* child1 = new_object();
GCObject* child2 = new_object();
root_list->add(child1);
root_list->add(child2);
// 再创建一个不可达对象
GCObject* unreachable = new_object();
std::cout << "总对象数: " << all_objects.size() << "\n";
// 执行GC
garbage_collect();
std::cout << "GC后剩余对象数: " << all_objects.size() << "\n";
// 清理根
pop_root();
return 0;
}
输出大致为：
总对象数: 4
开始垃圾回收...
垃圾回收完成。
GC后剩余对象数: 3
其中 unreachable 没有被任何根或子对象引用，因此被回收。
注意事项与局限性
-
需要手动管理根集：程序员必须确保活跃指针正确添加到根中。
-
无法处理循环引用以外的问题：本方案仍依赖开发者正确实现
markChildren。
-
性能开销：每次GC需遍历全部对象，不适合高频调用。
-
缺乏类型安全和自动发现引用：C++没有反射机制，无法自动识别成员中的指针。
若要更进一步，可以结合 std::shared_ptr + std::weak_ptr 来避免循环引用，但这属于半自动方式，不是真正意义上的GC。
总结
尽管C++不内置垃圾回收，但通过继承统一基类、维护对象池和根集，可以实现一个基本的标记-
清除回收器。这种技术适合嵌入式脚本引擎、游戏逻辑系统等需要可控内存管理的场景。关键是理解“可达性”概念，并在合适时机触发回收。
基本上就这些，不复杂但容易忽略细节。
新闻资讯
技术学院
清除回收器。这种技术适合嵌入式脚本引擎、游戏逻辑系统等需要可控内存管理的场景。关键是理解“可达性”概念，并在合适时机触发回收。