德尔福"default"旧德尔福版本中具有记录类型的关键字

Question

我在Delphi Detours库中有这段代码，我正在尝试移植它：

type
  TInstruction = record
    Archi: Byte; { CPUX32 or CPUX64 ! }
    AddrMode: Byte; { Address Mode }
    Addr: PByte;
    VirtualAddr: PByte;
    NextInst: PByte; { Pointer to the Next Instruction }
    OpCode: Byte; { OpCode Value }
    OpType: Byte;
    OpKind: Byte;
    OpTable: Byte; { tbOneByte,tbTwoByte,... }
    OperandFlags: Byte;
    Prefixes: Word; { Sets of Prf_xxx }
    ...
  end;
var
  Inst: TInstruction;
begin
  ...
  Inst := default (TInstruction); // <-
  Inst.Archi := CPUX;
  Pvt := PPointer(AIntf)^; // vTable !
  PCode := PPointer(Pvt + Offset)^; // Code Entry !
  Inst.NextInst := PCode;
  ...
end;

"default"关键字有什么作用？我假设像这样：

FillChar(Inst, SizeOf(TInstruction), 0);

我的假设正确吗？

Answer 1

Default()是一个未记录的内部函数，用于支持泛型。Delphi 泛型的设计在很大程度上受到 .net 泛型的启发，阅读 .net 的 analagous 文档可能会受益： https://msdn.microsoft.com/en-GB/library/xwth0h0d.aspx

Default()的目的是允许您默认初始化变量。使用泛型类型时Default()允许您对类型为泛型的变量执行此操作。

如果要复制Default()的行为，请执行以下操作：

Finalize(Inst);
FillChar(Inst, SizeOf(Inst), 0);

如果管理类型，则需要调用Finalize。也就是说，如果类型是托管的，或者包含任何受管理的成员。托管类型包括字符串、动态数组、接口、变体、匿名方法等。

如果类型不包含托管类型，则可以省略对Finalize的调用。不过，包含它并没有什么坏处，因为如果不需要，编译器会消除它。如果可以 100% 确定未为任何托管类型分配值，则也可以省略该调用。

默认初始化意味着以下内容：

• 数值类型为零。
• 枚举类型的序号为零的值。
• 布尔类型的False。
• #0字符类型。
字符串
• 的空字符串。
• Variant的空变体.
• nil类、动态数组、接口和匿名方法。