C++中的自动存储、静态存储、动态存储(内存泄漏)
根据用于分配内存的方法, C++有3种管理数据内存的方式: 自动存储、 静态存储和动态存储( 有时也叫作自由存储空间或堆) 。 在存在时间的长短方面, 以这3种方式分配的数据对象各不相同。
一、自动存储
在函数内部定义的常规变量使用自动存储空间, 被称为自动变量( automatic variable),它们在所属的函数被调用时自动产生, 在该函数结束时消亡。
自动变量是一个局部变量, 其作用域为包含它的代码块。 代码块是被包含在花括号中的一段代码。如果在其中的某个代码块定义了一个变量, 则该变量仅在程序执行该代码块中的代码时存在。自动变量通常存储在栈中。 这意味着执行代码块时, 其中的变量将依次加入到栈中,而在离开代码块时,将按相反的顺序释放这些变量,这被称为后进先出( LIFO)。因此,在程序执行过程中,栈将不断地增大和缩小。
二、静态存储
静态存储是整个程序执行期间都存在的存储方式。 使变量成为静态的方式有两种:
1)在函数外面定义它(栈中);
2)在声明变量时使用关键字static 。
自动存储和静态存储的关键在于: 这些方法严格地限制了变量的寿命。 变量可能存在于程序的整个生命周期( 静态变量),也可能只是在特定函数被执行时存在( 自动变量)。
三、动态存储
new和delete运算符提供了一种比自动变量和静态变量更灵活的方法。 它们管理了一个内存池, 这在C++中称为自由存储空间( free store) 或堆( heap)。该内存池同用于静态变量和自动变量的内存是分开的。new和delete能够在一个函数中分配内存,而在另一个函数中释放它。因此,数据的生命周期不完全受程序或函数的生存时间控制。与使用常规变量相比,使用new和delete使如何使用内存有更大的控制权。然而,内存管理也更复杂了。在栈中,自动添加和删除机制使得占用的内存总是连续的,但new和delete的相互影响可能导致占用的自由存储区不连续(或导致内存泄漏),这使得跟踪新分配内存的位置更困难。
动态存储中的内存泄漏:
如果使用new运算符在自由存储空间( 或堆)上创建变量后,没有调用delete,则即使包含指针的内存由于作用域规则和对象生命周期的原因而被释放,但在自由存储空间上动态分配的变量或结构也将继续存在。 因为指向这些内存的指针无效故而无法访问自由存储空间中的结构, 进而导致内存泄漏。 被泄漏的内存将在程序的整个生命周期内都不可使用;这些内存被分配出去,但无法收回。极端情况会致使应用程序可用的内存被耗尽, 出现内存耗尽错误,导致程序崩溃。 另外,内存泄漏还会给一些操作系统或在相同的内存空间中运行的应用程序带来负面影响,导致程序崩溃。
要避免内存泄漏,应养成搭配使用new和delete运算符,在自由存储空间上动态分配内存,使用完后便释放它。
-------------------------------------------------
参考
C++Primer 第六版