在 C++ 中引入 gc 后的对象初始化
这篇讲的是在 C++ 世界里引入垃圾回收机制后，一个容易被忽视但至关重要的挑战：对象初始化。 我们知道，C++ 对象的创建分为两步：内存分配与构造函数调用。构造函数是对象安全可用的保证。然而，传统的垃圾回收器并不理解这种语义。它可能会在对象刚被分配、但构造函数还未执行完（甚至刚开始）时，就错误地回收这块内存。这会导致出现“半初始化”的对象，程序访问其成员变量时便会引发难以排查的错误。 文章作者从这个痛点出发，深入探讨了不同 GC 实现与 C++ 对象模型交互时可能产生的具体风险。核心方案上，作者倾向于一种“延迟回收”或“构造函数保护”策略：在对象构造完成之前，禁止垃圾回收器将其标记为可回收。这确保了从构造函数开始到结束，对象所使用的内存都是安全且私有的。 这种设计需要在 GC 的安全性与 C++ 原生对象生命周期管理的完整性之间做出精巧的平衡。作者的分析表明，通过明确区分“分配”与“初始化”阶段并施加相应约束，可以在享受自动内存管理便利的同时，不破坏 C++ 对程序员确定性的承诺，为系统级编程中融合 GC 提供了可靠的思路。