变量是一种标识符,其值可以在运行时改变。换句话说,变量是内存中某个位置的名称;你可以使用该名称读取或写入内存位置。变量就像是数据的容器,由于变量是类型化的,所以它可以告诉编译器如何解释所保存的数据。
一、变量声明 Declaring Variables:
变量声明的基本语法是 :
var identifierList:type;
其中 identifierList 是以逗号分隔的有效标识符列表,type 是任何有效类型。
例如 ,声明一个 Integer 类型的变量 I。
var I: Integer;
声明了两个 Real 类型的变量 X 和 Y。连续的变量声明不必重复保留字 var
var X, Y: Real;
再比如:
var
X, Y, Z: Double;
I, J, K: Integer;
Digit: 0..9;
Okay: Boolean;
在存储过程或函数中声明的变量有时称为局部变量,而其他变量则称为全局变量。全局变量可以在声明的同时进行初始化,语法如下:
var identifier: type = constantExpression;
其中 constantExpression 是代表 type 类型值的任何常量表达式。因此,声明:
var I: Integer = 7;
等同于声明和语句:
var I: Integer;
...
I := 7;
本地变量不能在其声明中进行初始化。多个变量的声明(如 var X, Y, Z: Real;)不能包含初始化,变量和文件类型变量的声明也不能包含初始化。
如果没有显式地初始化全局变量,编译器会将其初始化为 0。 对象实例数据(字段)也会初始化为 0。局部变量的内容在赋值之前是未定义的。
当你声明一个变量时,你正在分配内存,当变量不再使用时,内存会被自动释放。尤其是,局部变量只存在到程序退出声明变量的函数或存储过程为止。有关变量和内存管理的更多信息,请参阅内存管理。
1.1 绝对地址
您可以创建一个与另一个变量位于同一地址的新变量。为此,请在声明新变量时,在类型名称后加上 absolute 指令,然后再加上现有(先前声明的)变量的名称。例如:
var
Str: string[32];
StrLen: Byte absolute Str;
指定变量 StrLen 应从与 Str 相同的地址开始。由于短字符串的第一个字节包含字符串长度,因此 StrLen 的值就是 Str 的长度。
不能在绝对声明中初始化变量,也不能将绝对声明与其他指令结合使用。
1.2 动态变量
您可以通过调用 GetMem 或 New 过程来创建动态变量。此类变量在堆上分配,不会被自动管理。一旦创建了动态变量,你就有责任释放变量的内存;使用 FreeMem 销毁 GetMem 创建的变量,使用 Dispose 销毁 New 创建的变量。其他对动态变量进行操作的标准例程包括 ReallocMem、AllocMem、Initialize、Finalize、StrAlloc 和 StrDispose。
长字符串、宽字符串、动态数组、变体和接口也是堆分配的动态变量,但它们的内存是自动管理的。
1.3 线程本地变量
线程本地(或线程)变量用于多线程应用程序。线程本地变量与全局变量类似,只是每个执行线程都有自己的变量私有副本,其他线程无法访问。线程本地变量用 threadvar 代替 var 声明:
threadvar X: Integer;
线程变量声明:
- 不能出现在过程或函数中。
- 不能包含初始化。
- 不能指定绝对指令。
通常由编译器管理的动态变量(长字符串、宽字符串、动态数组、变体和接口)可以用 threadvar 声明,但编译器不会自动释放每个执行线程创建的堆分配内存。如果在线程变量中使用了这些数据类型,就必须在线程终止之前,在线程内部处理掉它们的内存。例如:
threadvar S: AnsiString;
S := 'ABCDEFGHIJKLMNOPQRSTUVWXYZ';
...
S := ''; // free the memory used by S
注意:不鼓励使用此类结构。
您可以通过将变量设置为 “未指定 ”(Unassigned)来释放它,也可以通过将接口或动态数组设置为 “nil ”来释放它。