|
在 Delphi中，数组类型有静态数组（a : array[0..1024] of integer）、动态数组（var a : array of integer）、指针数组（即指向静态数组的指针）和开放数组（仅用于参数传递）。
静态数组、指针数组有速度快的好处，
动态数组有大小可变的优势，权衡之下就有了折衷的办法，那就是定义的动态数组在必要时转换为指针。
动态数组声明之后，只有下面几个函数可供操作：
1． 设置数组大小，可以任意缩减或增加数组大小
Procedure SetLength(var S ; NewLength : integer);
2． 取出连续元素，复制给另一个数组变量
Function Copy(s;Index,Count : integer) : array ;
3． 取得数组大小及上下限
Function Length(s):integer;
Function High(x):integer;
Function Low(x):integer;
值得注意的是，不加const或var修饰的动态数组会被作为形参传递，而动态数组用const修饰意味着你不能修改数组里的元素。
还有一点是High函数调用了Length 函数，所以我们在获取数组上最好直接用 Length(s) 函数。
动态数组在内存空间中占用4个字节. 动态数组在内存中的分配表如下：
偏移量 内容
-8 32-bit 引用计数
-4 32-bit 数组长度
0..数组长度 * (元素尺寸) - 1 数组元素 元素尺寸=Sizeof(元素类型)
根据上面的分配情况，可以得到如下结果：
如果我们想要清空一个动态数组只需要把“数组长度”和“引用计数”清空即可。”引用上面的一句话就是：“权衡之下就有了折衷的办法，那就是定义的动态数组在必要时转换为指针。”下面是清空动态数组的函数：
procedure DynArraySetZero(var A);
var
P: PLongint; //占用4个字节，正好符合 32 位内存排列
begin
P := PLongint(A); // 指向 A 的地址
Dec(P); //P 地址偏移量是 sizeof(A)，指向了数组长度
P^ := 0; // 长度清空
Dec(P); // 指向引用计数
P^ := 0; //计数清空。
end;
上面的函数就这么简单，而且效率也非常高。
下面让我们再来看看怎样删除动态数组中的元素,函数体如下：
{ A 变量类型 ， elSize = SizeOf(A)，index 开始删除的位置索引 ，Count 删除的数量}
procedure DynArrayDelete(var A; elSize: Longint; index, Count: Integer);
var
len, MaxDelete: Integer;
P : PLongint; //4 个字节的长整形指针
begin
P := PLongint(A);// 取的 A 的地址
if P = nil then
Exit;
{
{下面这句完全等同于 Dec(P) ; len := P^ 因为 Dec(P) = Pchar(P) – 4 同样是移动4 字节的偏移量，只不过后者按字节来移动 }
len := PLongint(PChar(P) - 4)^; // 变量的长度 ，偏移量 -4
if index >= len then //要删除的位置超出范围，退出
Exit;
MaxDelete := len - index; // 最多删除的数量
Count := Min(Count, MaxDelete); // 取得一个较小值
if Count = 0 then // 不要求删除
Exit;
Dec(len, Count);// 移动到要删除的位置
MoveMemory( PChar(P)+index*elSize , PChar(P)+(index + Count)*elSize , (len-index)*elSize); //移动内存
Dec(P); //移出 “数组长度”位置
Dec(P); //移出“引用计数” 位置
//重新再分配调整内存,len 新的长度. Sizeof(Longint) * 2 = 2*Dec(P)
ReallocMem(P, len * elSize + Sizeof(Longint) * 2);
Inc(P); // 指向数组长度
P^ := len; // new length
Inc(P); // 指向数组元素，开始的位置
PLongint(A) := P;
end;
对上面的例子，我们需要注意的是 elSize 参数 ，它必须是 SizeOf(DyArray_Name),表示元素所占用的字节数。
看了上面的例子后，对于动态数组的拷贝，移动也可以自己实现了
其实,Delphi 对许多类型的内存分配都很相似，比如 string 类型，其实它和动态数组是很相似的，我们完全可以把它拿来当成动态数组。实质上 string 是 Pchar 的简易版本。不管怎么说，了解一些内存的分配对我们这些开发人员来说还是有一些好处的。
1、动态数组是指针吗？
动态数组通常会表现出指针功能，先看下面的例子：
procedure DymArrTest();
var
A, B: array of Integer;
begin
SetLength(A, 3);
A[0] := 0;
B := A;
B[0] := 1;
ShowMessage(IntToStr(A[0]));
end;
在以上程序中，A、B数组指向的是相同的地址，所以改变了B[0]，结果A[0]会等于1。
虽然动态数组暗含指针功能，但它的内存管理却是生存期管理类型，无需手工释放。
2、为什么改变形参却没有改变实参的值？
虽然动态数组会表现出指针的功能，在直接用它声明形参，改变形参值时，却是不会改变实参的，看下面的例子：
procedure DymArrParam(Arr: array of Integer);
var
I: Integer;
begin
for I := 0 to Length(Arr) - 1 do
Arr[I] := 2;
end;
procedure TForm1.Button1Click(Sender: TObject);
var
A: array of Integer;
I: Integer;
begin
SetLength(A, 2);
for I := 0 to Length(A)-1 do //此处一定要是length(a)-1 而不能是length(a),原文是错的,运行时总出现莫名其妙的指针类错 误,不得其解,后来在网上查找资料时,猛然发现了这个错误,一试,竟然就是调试中出现的全部错误的根源,真是发人深省啊,有时一个看似很复杂的错误,其实是很简单的一个甚至是不经意的小错误造成的.就是这个-1让我找个一个下午,过总算找到了错误的源头.网上的源程序,如果是自己写出来的倒不容易出错了,直接复制才会出这种错,找起来还真不好找.
A[I] := 1;
DymArrParam(A);//试图把数组中的元素值改变为2
Caption := IntToStr(A[0]) + ',' + IntToStr(A[1]);
end;
可以看到最终并没有把实参数组A元素值变为2。
原因是这种传递方法编译器会在DymArrParam中复制了一个A的副本，而不是像在第1点中所期望的那样改变了A的值，可见动态数组并非就等同指针。
3、如何通过动态数组的形参改变实参值？
1>var
在Delphi中很显然方法的是，在DymArrParam过程中通过var修饰形参，即
procedure DymArrParam(var Arr: array of Integer);
在不想通过形参改变实参值时，可以用const修饰形参,明确表示出不可修改意思，即
procedure DymArrParam(const Arr: array of Integer);
这样做之后，如果对Arr赋值的话，将会编译不通过。
2>type
另一种就是用type重新定义一个类型，
例如:
type
TDymIntArray = array of Integer;//在system单元已经声明了个TBoundArray，用它也可以
然后用于形参声明，如下：
procedure DymArrParam(Arr: TDymIntArray);
调用此函数时用的实参的类型也必须为TDymIntArray。
这样做,不用var修饰形参,也一样可以通过形参改变实参。在这种情况下，即使用const修饰形参，也一样可以修改形参的值来改变实参的值。
4.一个控件数组的实现：
procedure TForm1.BitBtn2Click(Sender: TObject);
var
png:array [1..5] of TPNGObject;
img:array [1..5] of TImage;
i:Integer;
begin
img[1]:=Image1;
img[2]:=Image2;
img[3]:=Image3;
img[4]:=Image4;
img[5]:=Image5;
for i:=1 to 5 do
begin
png[i]:=TPNGObject.Create;
png[i].LoadFromFile('./002.png');
img[i].Picture.Assign(png[1]);
end;
end;
5.将动态数组作为函数或过程的一个参数。
procedure ListView(var myArr : array of string);
var
i :integer;
mytext :string;
begin
setlength(myArr,10);
for i :=3 to 9 do
myarr[i] := inttostr(i);
for i :=0 to 9 do
mytext :=mytext + myarr[i] ;
end;
procedure makeA(name,id:string);
var
Darr :array of string;
i :integer;
begin
setlength(Darr,4);
for i := 0 to 3 do
Darr[i] := inttostr(i);
end;
Listview(Darr);
end;
如上的一段代码在delphi里不能通过语法检查，会在‘setlength(myarr,10)‘处报错。delphi会报告语法错误 --incompatible type。产生这样的错误原因 直接在参数中写 array of string,编译器不会认为它是动态数组，而认为它是静态数组,而静态数组是不能执行setLength操作的。这是历史遗留问题，PASCAL没有动态数组，只有静态数组，为了向过程传递各种长度的静态数组，于是规定静态数组参数类型可以写成 array of integer这样的形式，省去了标界，以便接收不同长度的数组作参数。Delphi支持动态数组，但在过程参数中，array of integer这样的定义形式已经认为是静态数组类型。所以必须以自定义类型的方式来实现动态数组作过程参数。
要想实现上段代码的原本思想，则需要在单元的变量定义部分，自定义一个动态数组的变量类型，如：
type
TDyArr = array of string;
上段代码改为：
procedure ListView(var myArr : TDyArr);
var
i :integer;
mytext :string;
begin
setlength(myArr,10);
for i :=3 to 9 do
myarr[i] := inttostr(i);
for i :=0 to 9 do
mytext :=mytext + myarr[i] ;
end;
procedure makeA(name,id:string);
var
Darr :TDyArr;
i :integer;
begin
setlength(Darr,4);
for i := 0 to 3 do
Darr[i] := inttostr(i);
end;
Listview(Darr);
end;
就不会出现语法错误的报告了。
6.取多维数组的边界
在delphi中数组不以某个固定数为基准，可以用High（）和 Low（）来取其上下边界。
对于二维数组我们可以用以下的方法取其边界：
a ：Array[1..9,2..8] of integer;
1、High（a）
Low(a)
2、High（a[Low(a)] )
Low(a[Low(a)])
|
