为什么 C++11 允许 GC？ [关闭]

C++11 允许其实现执行（某些）垃圾收集实用程序。为什么标准会允许这样做？我一直有这样的印象：在 C++ 中，你不需要为不使用的东西付费。对我来说，（隐含的）GC 感觉它破坏了这种意识形态。此外，通过智能指针在 C++ 中编写和使用显式垃圾收集实用程序并不困难。

其次，GC会让一些原本有效的程序变得无效。示例包括指针屏蔽和相关的低级指针“黑客”。

int * nums = new int[10];
nums += 2;
*nums = 777; // nothing points to the new'ed int[10] at this point
// oh no! nums could have gotten collected!!! (so lets assume it was)
*nums = 666; // crash (or memory corruption (or something else that's bad))

C++11 标准并不要求 GC 存在，但在未来的版本中可能会存在。

它不会强加于你——只有当你要求它时它才会在那里。它不会收集您的普通指针，也不会收集当前的智能指针。所以，它仍然是“不使用 - 不付费”。它只会对您明确要求的指针起作用，因此您的示例仍然会像现在一样工作。

See Sutter’s Mill：垃圾收集概要和 C++ http://herbsutter.com/2011/10/25/garbage-collection-synopsis-and-c/

引用计数 (#1) 通常是最好的，并且它是 C++ 的默认值 GC 的形式。但也有理由（而不是相反）想要懒惰 C++ 中的标记-清除 (#2) 垃圾回收来处理 ref 计数无法处理，包括潜在周期的情况 不可避免的（在某些情况下，某些对象可能自然地被共享， 但随后可能会互相引用）和无锁 ABA 问题。

萨特所说的“引用计数”指的是std::shared_ptr和类似的事情。