Delphi中那些容易混淆的基础

@、^、Addr、Pointer

Delphi(Pascal)中有几个特殊的符号,如@、^等,弄清楚这些符号的运行,首先要明白Delphi指针的一些基础知识:指针,是一个无符号整数(unsigned int),它是一个以当前系统寻址范围为取值范围的整数。指针对应着一个数据在内存中的地址,得到了指针就可以自由地修改该数据。指针的指针就是用来存放指针所在的内存地址的。
明白了指针的基本含义,就容易理解它们之间 的区别了:

  • @XX:取变量、函数或过程XX的地址(获取指针);
  • Addr(XX):和@的作用类似,唯一的不同在于如果编译选项{$T-}没有打开,@返回的是一个通用的指针,如果编译选项打开了,@返回的是XX对应的指针,但Addr却不受此编译选项的约束。
  • ^:当它出现在类型定义的前面时如 ^typename 表示指向这种类型的指针; 当它出现在指针变量后边时 如 point^ 返回指针指向的变量的值;
  • Pointer:无类型指针(对应PChar、PInteger等则为“有类型指针”)。

通过这段代码则更容易区分它们:

var
X, Y: Integer;  // X and Y 整数类型
P: ^Integer;  // P 指向整数类型的指针
begin
X := 11;  // 给 X 赋值
P := @X;  // 把 x的地址赋给p
Y := P^;  // 取出p所指向的数值赋给y
end;

第二行定义了两个变量X,Y。 第三行声明了P是指向整数类型的指针;意味着P能够指向X或者Y的地址。第五行赋给X值,第六行把X的地址赋给P。最后通过P指向的变量赋值给Y。此时,X和Y有相同的值。

Char、Byte

  • Char是一个字符,必须赋以字符如‘A’等;
  • Byte是无符号整数,数值范围0~255。

虽然字符实质上也是整数,但与C不同,Delphi中将他们划为两种不同的类型,各自遵从不同的运算。比如运算符+对于Byte是整数加法,对于Char则是字符连接成串。
他们可以相互转化:Ord(‘A’)得到字符对应的整数,Chr(65)得到整数对应的字符。
同理,就很好区分array of Byte和array of Char了。

Move、CopyMemory

Move字面意思上是“移动”的意思,其实不然,在Delphi中Move更像是Copy:它可以复制一段内存片段到另外一段内存空间中。如下代码:

var
  source, dest : string;
begin
  // Set up our starting string
  source := '123456789';
  dest   := '---------';

  // Copy a substring from source into the middle of dest
  Move(source[5], dest[3], 4);

  // Show the source and destination strings
  ShowMessage('Source = '+source);
  ShowMessage('Dest   = '+dest);
end;
//结果------------------
//Source = 123456789
//Dest   = --5678---

而CopyMemory则可以在Delphi的源码中看出端倪:

procedure CopyMemory(Destination: Pointer; Source: Pointer; Length: DWORD);
begin
  Move(Source^, Destination^, Length);
end;

可以看出,CopyMemory其实也是调用了Move方法,但参数变了,CopyMemory参数是指针。当然,从源码还可以发现MoveMemory和CopyMemory是一模一样的功能。
CopyMemory一般的使用方法为:

var
  buf1,buf2: array[0..9] of AnsiChar;
begin
  buf1 := '0123456789';
  buf2 := 'abcdefghij';
  CopyMemory(@buf2[2], @buf1[4], 5);
  ShowMessage(buf1); {0123456789}
  ShowMessage(buf2); {ab45678hij}
end;

GetMem和FreeMem、GetMemory和FreeMemory、New和Dispose、StrAlloc和StrDispose、AllocMem

Delphi中的内存申请和释放方法比较多,但有一点儿需要牢记的是上述方法建议配对使用。
GetMem和FreeMem与GetMemory和FreeMemory在Delphi的源码中可以看到是被调用和调用的关系,FreeMemory会判断指针是否为空:

function GetMemory(Size: Integer): Pointer; cdecl;
begin
  Result := MemoryManager.GetMem(Size);
end;

function FreeMemory(P: Pointer): Integer; cdecl;
begin
  if P = nil then
    Result := 0
  else
    Result := MemoryManager.FreeMem(P);
end;

因此,建议用GetMemory和FreeMemory代替GetMem和FreeMem。
New和Dispose是用来管理变体类型内存分配,如变体结构体:

TRecord = record
Text: string;
Value: Integer;
end;
PRecord = ^TRecord;

如果用GetMem和FreeMem、GetMemory和FreeMemory来释放,会造成Text的内存没有释放,造成内存泄漏。如果用Dispose来释放指针,要加上定义信息,否则造成内存泄漏,正确写法Dispose(PRecord(Point))。另外需要注意的一点是:Delphi设计的Dispose释放内存时,只是标记这部分内存可以再用来被New等函数分配,并不是把从系统申请到的内存归还给操作系统,只在程序结束时,才全部释放给操作系统,因此并不能在资源管理器中看到Dispose的“显著效果”。
一般使用方法如下:

Type
 PMyRec = ^TMyRec;
 TMyRec = record
  FName: string;
  LName: string;
 end;
var
 MyRecPtr: PMyRec;
 TreeViewIndex: LongInt;
begin
 New(MyRecPtr);
 MyRecPtr^.FName := Edit1.Text;
 MyRecPtr^.LName := Edit2.Text;
 {其他处理}
 Dispose(MyRecPtr);
end;

StrAlloc和StrDispose这个函数也是一对,他们分配PChar加一个Cardinal长度,因此一定要用StrDispose释放,否则容易造成4字节的内存泄漏。StrAlloc分配的指针可以使用StrBufSize来获得大小。
AllocMem和GetMem的区别在于AllocMem在申请内存后会初始化这段内存(把内存全部初始化为#0),同样和FreeMem配对使用。

转载请注明:梧桐树下 » Delphi中那些容易混淆的基础

与本文相关文章

发表我的评论

取消评论
表情 插代码

Hi,您需要填写昵称和邮箱!

  • 必填项
  • 必填项