一、什么是堆、栈?
程序需要的内存空间分为 heap(堆) 和 stack(栈),heap 是自由存储区, stack 是自动存储区,使用 heap 需要手动申请、手动释放, stack 是自动申请、自动释放,使用 heap 时, 如果只申请不释放, 就会发生"内存泄露",不需要申请和释放空间的元素, 譬如变量、结构(record)等, 是存与 stack(栈),反之如需要 Create 和 Free 的对象、需要 GetMem 和 FreeMem 的指针等, 则是存于 heap(堆),stack 比 heap 快一点点。
二、内存管理
Delphi自动管理的内存 Delphi中原子变量,如Integer、Boolean、Record、枚举等都是在作用域内编译器自动申请内存,出了作用域自动释放;另外,字符串、Variant、动态数组、接口也是由Delphi自动管理。 这些变量都是在栈中存储的,除了接口。另外,Variant是程序员用函数。
1)Delphi自动管理的内存
Delphi中原子变量,如Integer、Boolean、Record、枚举等都是在作用域内编译器自动申请内存,出了作用域自动释放;另外,字符串、Variant、动态数组、接口也是由Delphi自动管理。
这些变量都是在栈中存储的,除了接口。另外,Variant是程序员用函数手工创建的,例如VarArrayCreate;动态数组也是程序员用函数手工创建的,例如SetLength,但这两种情况都不需要程序员自己释放。
另外,还有一种变量需要注意,是使用Threadvar声明的变量,它的作用域是一个线程。这主要用在编写线程函数时,每一个线程使用一个线程局部存储。
2)程序员手工管理的内存
指针和对象是需要程序员手工申请和释放的内存。指针包括PChar、Pointer(无类型指针)、记录指针、变量指针(指向原子变量)、函数指针(例如回调函数,分为全局函数和对象方法)。使用New函数来申请内存,使用Dispose来释放指针。另外,GetMem、ReallocMem和FreeMem也是一系列申请、释放内存的函数,可以通过GetMemoryManager和SetMemoryManager函数来读取和设置Delphi的三个内存管理函数。
对象包括TObject和IUnknown两颗继承树继承下来的子类对象。必须使用构造方法来构造对象。用构造方法(一般是Create,也可以不是,Delphi的编译器只认constructor的关键字)创建的对象,如果你没有指定拥有者,那么必须自己手动释放,即便是指定了拥有者也需要看实际需要在特定的时刻释放。释放一般使用Free方法(IUnknown则不需要手工释放),更好的方法是使用FreeAndNil(在Sysutils.pas单元),它既释放占用的内存,同时释放指针本身。
这些变量都是在堆中存储的。另外一个需要注意的问题是,TList中的指针都需要程序员自己释放。