Ojbect Pascal动态数组浅说

Moodsky

初用Delphi中的动态数组时，有些迷惑.

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) do
    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修饰形参，也一样可以修改形参的值来改变实参的值。

参考：1. Borland(R) softeware corporation: Delphi Help
      2. Steve Teixeira and Xavier Pacheco: Delphi 6 Deverloper's Guide

[ 本帖最后由 Moodsky 于 2007-2-8 10:11 编辑 ]