Wofür steht der "Identity Pointer" vor einer TTypeInfo?

Question

Wenn Sie in den Delphi-Interna genug herumstöbern, werden Sie etwas befremdlich und nicht dokumentiert über TTypeInfo-Datensätze finden, die vom Compiler generiert wurden. Wenn die PTypeInfo Punkte auf einen TTypeInfo Rekord bei der Adresse X, bei X - 4 Sie die nächsten 4 Bytes finden einen Zeiger auf X. Zum Beispiel beschreiben:

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; 

Pass jede legitime PTypeInfo durch den Compiler in diese Routine erzeugt, und es wird die gleiche Adresse zweimal ausgeben. Ich habe in TypInfo.pas ein bisschen herum gestöbert, aber ich sehe nichts, was diesen "Identitätszeiger" erwähnt oder wofür er da ist. Weiß jemand, warum das da ist? Dies scheint in jeder Version von Delphi von mindestens D3 bis D2010 zu gelten.

Answer 1

Es ist sehr einfach: Pakete und dynamische Verknüpfung.

BPLs sind DLLs. DLLs werden durch Tabellen verknüpft, die gepatcht werden, anstatt dass der gesamte Code in der EXE oder der DLL mit der DLL verknüpft wird, die gepatcht wird (was der gemeinsamen Nutzung von Nur-Lese-Speicher zwischen mehreren Prozessen großen Schaden zufügen würde). Um zu verhindern, dass ein Verweis auf TypeInfo(SomeType) irgendwo im Code oder typeinfo einer EXE oder DLL benötigt wird, die bei der Verknüpfung mit der BPL geändert werden, gibt es stattdessen eine Indirektion durch die Importtabelle.

Es ist einfach, den Unterschied zu sehen, wenn im Vergleich zu Verknüpfung mit einem BPL in diesem Programm statisch verknüpfen:

{$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. 

auf meinem lokalen Rechner, mit dcc32 test.pas kompilierte, gibt sie:

TObject 
x 00401B64 
x^ 00401B68 

Aber wenn kompiliert mit dem RTL-Paket mit dcc32 -LUrtl test.pas, gibt es aus:

TObject 
x 004051F0 
x^ 40001DA4 

Hoffentlich klärt es auf.

Answer 2

vielleicht seine eine verknüpfte Liste, die in zusammenhängenden Speicher passiert sein :)

Answer 3

Verstehe nicht ganz, was los ist, aber wenn man einen Blick auf zum Beispiel IsPublishedProp in der TypInfo Einheit haben, werden Sie sehen, dass es den Class der Instanz als Zeiger auf eine Typeinfo Struktur wirft:

PTypeInfo(Instance.ClassInfo) 

Wenn Sie die Class Methode zu buchen, es gibt einen einfachen Zeiger, dessen Wert auf die vmt Tabelle, scheint:

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

vmtTypeInfo hat einen Wert von -72. Vier Bytes davor bei -76 ist vmtInitTable. vmtTypeInfo wird gefolgt von FieldTable, MethodTable, Dynamic usw.

der vmtInitTable Wert verwendet wird zum Beispiel in TObject.CleanupInstance und weitergegeben _FinalizeRecord als der Zeiger auf die Typeinfo-Struktur.

So scheinen die vier Bytes vor der TypeInfo-Struktur, die auf die TypeInfo-Struktur verweist, von Entwurf und Teil der vmt-Struktur zu sein.

bearbeiten

Als Mason zu Recht des Obige ein vollständiges Ablenkungsmanöver darauf hingewiesen (siehe Kommentar). Ich verlasse die Antwort, damit andere sie nicht verfolgen müssen.

aktualisieren Um Verwirrung über Variablen und deren Adressen zu vermeiden, habe ich Mason Testverfahren wie folgt neu gefasst:

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; 

und nennen Sie es mit den folgenden Informationen:

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; 

der ersten drei produzieren die Ergebnisse, die Mason beschreibt. Ich fügte nur einen zusätzlichen writelnn hinzu, um den Zeigerwert für das letzte writeln anzuzeigen. Der letzte Aufruf in TryRTTIStuff soll zeigen, dass Sie, wenn Sie keinen Zeiger auf eine gültige TypeInfo-Struktur übergeben, nicht den gleichen Wert für den ersten und dritten Schreibvorgang für den Aufruf erhalten.

Noch keine Ahnung, was mit der TypeInfo passiert. Vielleicht sollten wir Barry Kelly fragen, da er der Autor des neuen D2010 RTTI ist und daher viel über den alten wissen sollte ...