编程语言引入垃圾回收（Garbage Collection, GC）机制的核心目的是为了自动化内存管理，从而解放程序员，让他们能够专注于编写程序逻辑，而不是手动管理内存的分配和释放。
为什么要有GC
主要原因和解决的问题包括：
- 防止内存泄漏： 在C/C++等需要手动内存管理的语言中，如果程序员忘记释放不再使用的内存，就会导致内存泄漏，程序运行时间越长，消耗的内存越多，最终可能导致程序崩溃。GC机制会自动识别并回收这些“垃圾”对象。
- 避免野指针/悬空指针： 当一块内存被手动释放后，如果程序仍然试图访问它，就会导致不可预测的行为甚至程序崩溃（野指针）。GC系统确保只有在确定没有任何引用指向某块内存时才进行回收，从而避免了这类安全隐患。
- 提高开发效率： 手动管理内存是一项复杂且容易出错的任务，尤其是在大型复杂系统中。自动化GC极大地减轻了开发者的负担，提高了开发效率和代码的健壮性。
- 提升内存安全： 垃圾回收是一种自动内存管理形式，是许多现代编程语言（如 Java, Python, JavaScript, Go）实现内存安全的关键部分，减少了因内存管理错误导致的安全漏洞。
例如KFC中每一个桌子都代表一个一块内存空间,顾客代表一段程序。顾客点餐并找到了桌子吃汉堡，此时桌子被占用(系统分出去了一段内存),吃完后顾客离去(程序执行完)。顾客离去时,C/C++要求顾客自己将桌面打扫干净，当顾客拒绝清理或忘记清理时，后面的顾客发现没有桌子可以吃饭了(无法分配内存)。于是KFC关门了(程序崩溃了)。
JAVA的做法是：总有服务生(垃圾收集器线程)在不停的打扫卫生。当发现顾客离去时, 自动的收拾桌子(发现并回收内存)。
各语言GC对比
| 语言 | 是否有GC | 主要机制 | 核心特点 |
|---|---|---|---|
| Java | 是 | 追踪式（分代、并行、并发） | 高度复杂和可调优，注重吞吐量和低延迟。 |
| Go | 是 | 追踪式（并发、非分代） | 追求极致的低延迟和快速启动，无分代设计 |
| Python | 是 | 引用计数 + 标记-清除 | 混合策略，解决循环引用问题 |
| Rust | 无 | 无 GC（RAII/所有权系统） | 通过编译期规则保证内存安全，零运行时开销 |
Rust 为何不需要 GC？
- 每块内存都有唯一的所有者
- 当所有者离开作用域时，内存会自动释放
- 编译器在编译期检查是否有非法访问、悬空引用等
所以，虽然没有垃圾回收器在运行时扫描内存，Rust 仍然能确保内存安全。
GC的代价是什么？为什么不是所有语言都用？
GC（垃圾回收）的代价：用“运行时成本 + 不确定性”，换“安全性 + 开发效率”。
(1). 不可预测的暂停（Stop-The-World）
某些 GC 阶段会暂停应用线程
对硬实时系统不友好
(2). 额外内存开销
对象头
标记位
GC 元数据
(3). 启动慢、内存占用高（你前面问过 Java 容器问题）
JVM 启动
堆预留
GC 线程
这就是为什么：
- C / C++ 仍用于内核、驱动
- Rust 选择无 GC + 所有权模型
- Java 在容器 / Serverless 场景下有劣势
垃圾回收机制通过牺牲一定的运行时性能（GC过程本身需要时间和计算资源），换取了更高的编程效率、更安全的代码和更稳定的程序运行。
参考资料
HotSpot Virtual Machine Garbage Collection Tuning Guide
杨晓峰 - Java常见的垃圾收集器有哪些？
C++ 为什么不加入垃圾回收机制
– end –