Orada bir TTypeInfo önce "kimlik işaretçisi" nedir?

Question

Eğer Delphi içersinde yeterince yer değiştirirseniz, derleyici tarafından oluşturulan TTypeInfo kayıtları hakkında garip ve görünüşte belgelenmemiş bir şey bulacaksınız. adres X bir TTypeInfo kayda PTypeInfo noktaları X - 4 de bulacaksınız Eğer önümüzdeki 4 bayt Örneğin X'e bir işaretçi açıklar:

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; 

bu rutin derleyici tarafından üretilen meşru PTypeInfo geçirin, ve aynı adresi iki kez çıkarır. TypInfo.pas'ta biraz dolaştım ama bu "kimlik işaretçisini" ya da ne için var olduğunu belirten bir şey göremiyorum. Bunun neden olduğunu bilen var mı? Bu, Delphi'nin her sürümünde en az D3'ten D2010'a doğru doğru gibi görünüyor.

Answer 1

Çok basit: paketler ve dinamik bağlantı.

BPL'ler DLL'lerdir. DLL'leri yamaları ya da EXE (ya da birden çok işlem arasında salt okunur bellek paylaşımı için büyük bir zarar verecek zarar) karşı DLL bağlanırken tüm kod yerine, yamaları yamaları ile bağlanır. Kodda bir yere TypeInfo(SomeType) ya da bir EXE ya da DLL türünün bir referansına ihtiyaç duyulmasını engellemek için, BPL'ye karşı bağlanırken değiştirilmek yerine, içe aktarma tablosunda bir dolaylılık vardır.

Bu programda bir BPL olarak bağlanıyor karşı statik bağlama farkı görmek kolay: dcc32 test.pas ile derlenmiş benim yerel makinede On

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

, bu çıkışı:

TObject 
x 00401B64 
x^ 00401B68 

Ama ne zaman dcc32 -LUrtl test.pas ile RTL paketi ile derlenmiş, bu çıktılar:

TObject 
x 004051F0 
x^ 40001DA4 

Umarım bu durumu temizler.

Answer 2

belki onun bitişik bellek :) olmak olur bir bağlantılı liste

Answer 3

Eğer TypInfo ünitesinde örneğin IsPublishedProp için bir göz olduğu zaman, edeceğiz oluyor ama ne tamamen Dont'anlamak

PTypeInfo(Instance.ClassInfo) 

Eğer ClassInfo yöntemine bakın, değeri vmt tablosuna ilişkin görünüyor basit işaretçi döndürür::

bir TypeInfo yapısına bir işaretçi olarak örneğinin ClassInfo atmalarını görüyoruz

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

vmtTypeInfo, -72 değerine sahiptir. Bundan önceki 4 bayt, vmtInitTable'dur. vmtTypeInfo DynamicTable vb

vmtInitTable değeri TypeInfo yapısına işaretçi olarak _FinalizeRecord örneğin TObject.CleanupInstance için kullanılan ve geçirilen FieldTable, MethodTable ile takip edilir.

Bu nedenle TypeInfo yapısını işaret eden TypeInfo yapısından önceki dört bayt, tasarım ve vmt yapısının bir kısmı tarafından orada görünmektedir.

Düzenleme Mason haklı olarak yukarıda işaret tam bir kırmızı ringa olduğu gibi

(yorumlar). Cevabı bırakıyorum, böylece başkaları onu kovalamak zorunda kalmayacak.

değişkenler ve adreslerinin üzerinde karışıklığı önlemek için Güncelleştirme, ben şöyle Mason'ın test prosedürü tekrar yazmış:

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; 

ve aşağıdaki bilgilerle diyoruz:

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; 

ilk Üç, Mason'un tarif ettiği sonuçları üretir. Sadece son yazara ait işaretçi değerini göstermek için ekstra bir writeln ekledim. TryRTTIStuff'daki son çağrı, bir gösterici içinde geçerli bir TypeInfo yapısına geçmediğinizde, ilk ve üçüncü writeln'lerin çağrı için aynı değeri alamadığınızı göstermektir.

TypeInfo ile neler olup bittiğine dair bir ipucu yok. Belki de Barry Kelly'ye yeni D2010 RTTI'nin yazarı olduğunu sormalıyız, bu yüzden de eski bir tane hakkında çok şey bilmeli ...