当创建一些变量时，变量有一个确定的生命周期。例如函数中定义的局部变量，当函数退出时变量就不存在了。另外在其他情况下，至少对于编译器来说，这不是那么的明显。例如，某个被函数返回的变量的生命周期，或者被其他变量和对象引用的变量的生命周期，都是很难去判断的。如果没有垃圾回收机制，开发人员需要一直释放一些不再需要的变量的内存。怎么实现？在c中，你需要正确的去释放一个变量的内存如free(str)。
语言的垃圾回收机制（例如：ruby、python、java、javascript、c#和go）可以记录这些不再使用的变量，然后释放他们占用的内存。垃圾回收机制会带来一些性能影响，但是它也能消除很多毁灭性的bug。