String 中的秘密

//String 的指针地址及实际的内存地址

var

str: string;

pstr: PString;

pc: PChar;

begin

{在没有给 str 赋值以前, 既然声明了, 就有了指针地址(@str):}

ShowMessage(IntToStr(Integer(@str))); {1244652; 这是在栈中的 str 的指针地址}

{但现在还没有分配真正储存字符串内存}

ShowMessage(IntToStr(Integer(str))); {0; 0 就是 null}

str := ‘Delphi‘;

{一旦赋值后...}

ShowMessage(IntToStr(Integer(@str))); {1244652; 这是在栈中的 str 的指针地址}

ShowMessage(IntToStr(Integer(str))); {4580800; 这是在堆中的 str 的实际地址}

{通过指针地址获取字符串, 其中的 pstr 是前面定义的字符串指针}

pstr := @str;

ShowMessage(pstr^); {Delphi}

{通过实际地址获取字符串, 其中的 pc 是前面定义的字符指针}

pc := PChar(Integer(str));

ShowMessage(pc);   {Delphi}

end;

--------------------------------------------------------------------------------

一个字符串(AnsiString 或 String, 譬如是 "Form1" )在内存中是这样储存的:

黄色区域是真正存字符串的位置, 前面说的字符串所在的内存地址, 就是本例中的 "F" 所在的位置;

蓝色的四个字节储存一个 Integer 值, 表示字符串的长度;

最后红色的一个字节储存一个空字符(#0), 表示字符串的结束, 同时也是为了和 Windows 的 null 结束的字符串兼容;

绿色的四个字节也是一个 Integer 值, 表示该字符串被引用的次数(也就是有几个字符串的指针指向它).

还是看例子吧:

--------------------------------------------------------------------------------

var

str,s1,s2: string;

pint: PInteger;

begin

str := Self.Text; {把窗体标题给它吧; 现在 str 指向了窗体标题所在的内存位置}

s1 := str;       {给 s1 赋值}

s2 := str;       {给 s2 赋值; 现在窗体标题已经有了 str、s1、s2 三个引用}

{str、s1、s2 的指针肯定不一样; 但现在指向内存的同一个位置, 测试:}

ShowMessage(IntToStr(Integer(str))); {15190384}

ShowMessage(IntToStr(Integer(s1))); {15190384}

ShowMessage(IntToStr(Integer(s2))); {15190384}

{向左偏移 4 个字节就是字符串长度的位置, 读出它来(肯定是5):}

pint := PInteger(Integer(str) - 4);

ShowMessage(IntToStr(pint^));     {5}

{向左偏移 8 个字节就是字符串的引用计数, 读出它来(肯定是3):}

pint := PInteger(Integer(str) - 8);

ShowMessage(IntToStr(pint^));     {3}

end;

--------------------------------------------------------------------------------

当某段字符串内存的引用计数为 0 时, Delphi 就会自动释放它; 这也是字符串不需要手动释放的原因.

我在测试时发现: 所有常量和非全局的变量的引用计数一直是 "-1".

--------------------------------------------------------------------------------