Delphi数组的使用

在 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)])