什么是“身份指针”？在TTypeInfo之前有什么用？

Question

如果您在 Delphi 内部进行了足够多的研究，您会发现一些奇怪的东西，并且显然没有关于编译器生成的 TTypeInfo 记录的记录。如果 PTypeInfo 指向地址 X 处的 TTypeInfo 记录，则在 X - 4 处您会发现接下来的 4 个字节描述了指向 X 的指针。例如：

procedure test(info: PTypeInfo);
var
  addr: cardinal;
  ptr: PPointer;
begin
  addr := cardinal(info);
  writeln('addr: ', addr);
  dec(addr, 4);
  ptr := PPointer(addr);
  addr := cardinal(ptr^);
  writeln('addr: ', addr);
end;

将编译器生成的任何合法 PTypeInfo 传递到此例程，它会输出相同的地址两次。我在 TypInfo.pas 中浏览了一下，但没有看到任何提到这个“身份指针”或它的用途的内容。有谁知道为什么会这样？这似乎在 Delphi 的每个版本中都是如此，至少从 D3 到 D2010。

Answer 1

非常简单：包和动态链接。

BPL 是 DLL。 DLL 是通过被修补的表来链接的，而不是 EXE 或 DLL 中的所有代码都链接到被修补的 DLL（这会对多个进程之间共享只读内存造成很大的损害）。为了防止在代码中某处引用 TypeInfo(SomeType) 或 EXE 或 DLL 的类型信息在链接 BPL 时被修改，而是通过导入表进行间接访问。

在此程序中，很容易看出静态链接与针对 BPL 链接时的差异：

{$apptype console}
uses TypInfo, SysUtils;
type
  TFoo = class(TObject);
var
  x: PPTypeInfo;
begin
  x := GetTypeData(TypeInfo(TFoo))^.ParentInfo;
  Writeln(x^^.Name);
  Writeln(Format('x  %p', [x]));
  Writeln(Format('x^ %p', [x^]));
end.

在我的本地计算机上，使用 dcc32 test.pas 编译，它输出：

TObject
x  00401B64
x^ 00401B68

但是当使用 RTL 包与 编译时， 它会输出： >dcc32 -LUrtl test.pas，它输出：

TObject
x  004051F0
x^ 40001DA4

希望这可以解决问题。

Answer 2

不完全理解发生了什么，但是当您查看 TypInfo 单元中的 IsPublishedProp 时，您会发现它转换了实例作为指向 TypeInfo 结构的指针：

PTypeInfo(Instance.ClassInfo)

当您查看 ClassInfo 方法时，它返回一个简单的指针，其值似乎与 vmt 表相关：

  Result := PPointer(Integer(Self) + vmtTypeInfo)^;

vmtTypeInfo 的值为 -72。 -76 之前的四个字节是 vmtInitTable。 vmtTypeInfo 后面是 FieldTable、MethodTable、DynamicTable 等。vmtInitTable

值用于例如 TObject.CleanupInstance 中，并作为指向 TypeInfo 结构的指针传递给 _FinalizeRecord。

因此，TypeInfo 结构之前指向 TypeInfo 结构的四个字节似乎是设计使然，并且是 vmt 结构的一部分。

编辑

正如梅森正确指出的那样，上述内容完全是转移注意力（参见评论）。我留下答案，这样其他人就不必追究了。

更新
为了避免混淆变量及其地址，我重写了 Mason 的测试过程，如下所示：

procedure test(info: PTypeInfo);
begin
  writeln('value of info       : ', cardinal(info));
  writeln('info - 4            : ', cardinal(info) - 4);
  writeln('value 4 bytes before: ', cardinal(PPointer(cardinal(info)-4)^));
end;

并使用以下信息调用它：

procedure TryRTTIStuff;
begin
  writeln('TPersistent');
  test(TypeInfo(TPersistent));

  writeln('TTypeKind enumeration');
  test(TypeInfo(TTypeKind));

  writeln('Integer');
  test(TypeInfo(Integer));

  writeln('Nonsense');
  test(PTypeInfo($420000));
end;

前三个产生 Mason 描述的结果。我只是添加了一个额外的 writeln 来显示最后一次 writeln 的指针值。 TryRTTIStuff 中的最后一个调用是为了表明，当您不传递指向有效 TypeInfo 结构的指针时，您不会在调用的第一个和第三个 writeln 上获得相同的值。

目前还不知道 TypeInfo 发生了什么。也许我们应该问 Barry Kelly，因为他是新 D2010 RTTI 的作者，所以应该对旧的有很多了解......

Answer 3

也许它是一个恰好位于连续内存中的链表:)