Inline-ASM: Virtuelle Funktion aufrufen

[DGL-luke]

Hallo,

ich bin hier gerade komplett ohen Assembler-Vorkenntnisse dabei, in einer in Assembler geschriebenen Funktion rumzuschnüffeln.

In der wird folgendermaßen eine virtuelle Funktion gecallt:

Code:

call  dword ptr [ecx].vmtCompare

In [ecx] steht die Instanz eines Nachfahren der Klasse, in der die virtuelle Funktion definiert ist. vmtCompare ist dabei eine Konstante, über die die Funktion komplett gecallt wird.
1. ist das sauber? kann sich das nicht verschieben, so dass die Konstante dann auf einen falschen Bereich zeigt?
2. Wie macht mans sauber?

[JasonDX]

Zitat von DGL-luke:

1. ist das sauber? kann sich das nicht verschieben, so dass die Konstante dann auf einen falschen Bereich zeigt?

Die Konstante vmtCompare ist eine Konstante, die zur Compiletime festgelegt wird. in der Virtual Method Table hinterlegt der Linker die Adressen für die virtuellen Methoden. VmtCompare zeigt auf die Adresse (relativ zum Instanzzeiger), in der die Adresse für die überschriebene Compare(?)-Funktion steht. Der Punkt in der VMT, wo die Adresse von Compare steht, bleibt immer der selbe. Der wird zur Compiletime festgelegt und bleibt dort. Deswegen kann sich das nicht verschieben. (Etwas anders ist es bei Interfaces).

Zitat von DGL-luke:

2. Wie macht mans sauber?

IMO so wie gemacht

greetz
Mike

[DGL-luke]

Aber die Konstante ist doch definiert...

Delphi-Quellcode:

const
  offsetLLink = 4;
  offsetRLink = 8;
  vmtCompare = 12;      // TBalancedTree.Compare, TAVLtreeNode.Compare
  vmtCompareKeys = 16;  // TAVLtree.CompareKeys

[JasonDX]

Hm, dann hab ich Delphi etwas zu viel CompilerMagic zugetraut *g*
Nein, also die Position in der VMT sollte sich trotzdem ned verschieben, solang nicht in der selbigen Klasse weitere virtuelle Methoden hinzugefügt werden. Dass die Konstante hardcodiert dazugeschmissen wird ist vllt nicht die perfekte Methode, aber da ansonsten nur der Compiler weiß, wo die Adresse in der VMT stehen wird wüsste ich jetzt keine bessere Lösung. Es sei denn Delphi bietet tatsächlich ein entsprechendes Feature.

greetz
Mike

[DGL-luke]

Vielleicht weiß es ja jemand da draußen...

[Dax]

Funktioniert es denn damit? Sowas hatte ich noch in Erinnerung...

Delphi-Quellcode:

asm
  call dword ptr TClass[ecx].Compare
end;

[DGL-luke]

So hab ichs selber schon probiert. Dat wirft aber. AV.

[Dax]

Stimmt, das war für statische Funktionen. Für virtuelle gilt dies:

Delphi-Quellcode:

asm
  mov edx, [edx]
  call dword ptr [edx + vmtoffset tcall.function]
end;

[DGL-luke]

danke, werd ich ausprobieren.

EDIT: tut wunderbar.