Ich hatte schon immer den Eindruck, dass Objekte in Delphi tatsächlich Verweise auf Speicherorte sind, die wiederum, wie ich mir vorgestellt habe, als Zeigervariablen gespeichert wurden.
Nun möchte ich einen TValue von einem Objekt machen. Bedenken Sie Folgendes:
%Vor% wo val: TValue . Dies wird nicht funktionieren. Tatsächlich führt die nachfolgende Verwendung von val zu einer Zugriffsverletzung. Wenn wir jedoch den address-of-Operator verwenden, wie folgt:
alles ist gut. Für mich war das unerwartet, da ich dachte, dass AObject (unter der Haube) tatsächlich ein Zeiger ist. Bin ich falsch oder ist das eine Eigenart mit der TValue.Make Methode? Könnte jemand bitte mich aufklären?
Normalerweise spielt das keine Rolle, weil der Compiler weiß, wann dereferenziert werden soll und wann nicht.
Im Fall von TValue.Make nimmt die Funktion einen Zeiger.
Make(O... angeben, wird der Compiler den Verweis auf einen Zeiger (der auf den Stapel verweist) hart werfen. Make(@O... angeben, wird der Compiler zuerst deneferenzieren und dann einen Zeiger auf den Speicherort auf dem Heap erstellen. Sie müssen also dem Compiler in diesem Fall einen Hinweis geben, da er nicht weiß, welche Art von Pointer das TValue.Make erwartet.
Das ABuffer-Argument, das Sie an TValue.Make übergeben, ist der Zeiger auf den Wert, den Sie in TValue speichern möchten. Es spielt keine Rolle, ob der Typ selbst ein Zeigertyp ist oder nicht. Sie müssen also den Verweis auf AObject übergeben, auch wenn AObject selbst auch ein Zeiger ist.
In dem von Ihnen geposteten Beispiel würde ich lieber den TValue.From & lt; T & gt; Methode:
%Vor%Wenn die Typinfo bei compiletime nicht bekannt ist, müssen Sie TValue.Make verwenden - andernfalls TValue.From & lt; T & gt; ist einfacher zu benutzen.
In Ihrem Beispiel ist AObject eine Referenz auf ein Objekt, nicht das Objekt selbst. Auf diese Weise deklarieren Sie den Objektverweis in Delphi im Gegensatz zu einer anderen Sprache, in der Sie dem Objekt explizit Referenz oder Zeiger hinzufügen müssen.
Also sollte AObject oder @AObject in Ihrem Fall genauso funktionieren, aber da TValue.Make() im ersten Parameter einen Zeiger auf einen Puffer verwendet, sollten Sie% angeben. co_de% oder Addr(AObject) für die Funktion.