Ojbect Pascal动态数组浅说

[入库:2005年8月18日] [更新:2007年3月25日]

本文简介:选择自 firef 的 blog

初用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

本文关键:Ojbect Pascal动态数组浅说
  相关方案
Google
 

本站最佳浏览方式为 分辨率 1024x768 IE 6.0(或更高版本的 IE浏览器)

go top