[转]Delphi中变体记录及存储方式
DELPHI中记录的存储方式
在DELPHI中，我们用record关键字来表明一个记录，有时候，我们还会看到用packed record来声明的记录，这二者的区别就在于存储方式的不同；在windows中，内存的分配一次是4个字节的，而Packed按字节进行内存的申请和分配，这样速度要慢一些，因为需要额外的时间来进行指针的定位。因此如果不用Packed的话，Delphi将按一次4个字节的方式申请内存，因此如果一个变量没有4个字节宽的话也要占4个字节！这样浪费了一些空间，但提高了效率。
例如一个记录，以,sizeof(okwary)应该得到8。而如果使用packed关键字，那么sizeof(okwary)则得到5。
type okwary= record
age : integer;
sex : shortint;
end;
其中age是integer类型，正好4个字节，而sex是showint类型，占用一个字节，但基于4字节得内存分配方式，这里它也将占用4个字节。
DELPHI中的变体记录
在DELPHI中，观察Tmessage和TTypeData的定义，从关键字record，你一眼就可以看出，它是一个记录类型，但仔细观察，你又会发现在它的定义中出现了case关键字。它代表什么呢？
它代表此记录是变体记录。让我们先去了解一下变体记录。
一个典型的变体记录定义如下：
type recordTypeName = record
fieldList1: type1;
...
fieldListn: typen;
case tag: ordinalType of
constantList1: (variant1);
...
constantListn: (variantn);
end;
其中case到结尾部分定义了多个变体字段。所有变体字段共享一段内存大小又最大变体字段决定。
使用变体记录时要注意：
（1）Long String、WideString、Dynamic Array、Interface的大小都是指针大小， OleVariant其实就是COM SDK中的VARIANT结构，大小是16字节。
但在Object Pascal中它们都需要自动终结化，如果它们出现在variant part中，编译器就无法知道它们是否应该进行终结化――因为不知道当前存储的是哪种类型。
（2）所有变体字段共享一段内存。而共享内存的大小则由最大变体字段决定。
（3）当tag存在时，它也是记录的一个字段。也可以没有tag。
（4）记录的变体部分的条件域必须是有序类型
（5）记录类型中可以含有变体部分，有点象case语句，但没有最后的end，变体部分必需在记录中其他字段的声明之后
事实上Delphi中内存的几乎所有的变体记录都有一个特点(尽管这不是要求的),就是所有变体部份长度部和都是一样的,比如:
TMessage = packed record
Msg: Cardinal;
case Integer of
0: (
WParam: Longint;
LParam: Longint;
Result: Longint);
1: (
WParamLo: Word;
WParamHi: Word;
LParamLo: Word;
LParamHi: Word;
ResultLo: Word;
ResultHi: Word);
end;
WParam,LParam,Result三个字段的长度和是12个字节,而 WParamLo,WParamHi,LParamLo,LParamHi,ResultLo,ResultHi六个字段之和也是12个字符,同时仔细观察,会发现后面六个字段中的每两个字段与前面三个字段中的每一个字段都是对应的.
再看看
TRect = packed record
case Integer of
0: (Left, Top, Right, Bottom: Longint);
1: (TopLeft, BottomRight: TPoint);
end;
是不是也是一样的呢?
变体记录得作用
（1）节约空间。对于那些要根据条件而决定是否存储得类型，完全可以利用变体记录来达到节约空间得效果。例如，一个公司的员工薪水可以是月薪、年薪等方式，那么并没有必要在记录中都分配空间而又用不到。
（2）类型的转换。例如，如果有一个64位的整数类型作为变体的第一个字段，一个32位的整数Integer类型作为另一个变体的第一个字段，那么可以向64字段赋值然后以整数Integer字段读出其前32位
//假如有这样一个员工登记表
type TpersonRec = record
ID: Integer; {员工编号}
case Boolean of {根据分类}
True: (A: Cardinal); {如果是股东, 登记年薪}
False: (B: Word); {如果不是, 登记日薪}
end;
var
personRec: TpersonRec;
begin
{先算一算这个结构的大小:
ID 是 Integer 类型, 应该是 4 字节大小;
A 是 Cardinal 类型, 也应该是 4 字节大小;
B 是 Word 类型, 应该是 2 字节大小;
合计为 10 个字节.
}
{可事实, TpersonRec 只有 8 个字节}
ShowMessage(IntToStr(SizeOf(TpersonRec))); {8}
{
原因是: 字段 A 和 字段 B 公用了一个储存空间;
当然这个储存空间得依着大的, 是 Cardinal 的尺寸 4 个字节.
}
//赋值测试:
personRec.ID := 110;
personRec.A := 100000; {一看就知道是个股东}
//取值:
ShowMessage(IntToStr(personRec.A)); {100000; 这不可能有错, 十万大洋}
//但是:
ShowMessage(IntToStr(personRec.B)); {34464 ?! 难道这是工人的日薪吗?}
{
首先, A 和 B 两个字段占用同一个空间, 给其中一个赋值, 另一个当然也就有值了;
但因为数据类型的容量不同, 它们的值有可能是不一样的.
在很多情况下, 我们可能根本不去理会另一个值, 但如果的确需要呢?
看下一个例子:
}
end;
type
TpersonRec = record
ID: Integer;
case tag: Boolean of {在这里加了一个 tag 变量}
True: (A: Cardinal);
False: (B: Word);
end;
var
personRec: TpersonRec;
begin
{我们可以用 tag 变量来区分, 记录中变体部分的值到底是谁的, 譬如:}
personRec.ID := 110;
personRec.tag := True;
personRec.A := 100000; {股东的的年薪}
personRec.ID := 111;
personRec.tag := False;
personRec.B := 100; {工人的日薪}
end;
//最经典的变体结构莫过于 Delphi 定义的 TMessage 结构了, 两组数据分分合合都是一体, 多么巧妙啊!
TMessage = packed record
Msg: Cardinal;
case Integer of
0: (
WParam: Longint;
LParam: Longint;
Result: Longint);
1: (
WParamLo: Word;
WParamHi: Word;
LParamLo: Word;
LParamHi: Word;
ResultLo: Word;
ResultHi: Word);
end;
