Einzelnen Beitrag anzeigen

SMO

Registriert seit: 20. Jul 2005
178 Beiträge
 
Delphi XE6 Professional
 
#7

AW: thiscall calling convention

  Alt 16. Aug 2015, 14:04
Ich hatte auch mal damit zu tun und habe es folgendermaßen gelöst:

Delphi-Quellcode:
type
  PCppClass = ^TCppClass;
  PCppClassVtbl = ^TCppClassVtbl;
  TCppClassVtbl = packed record
    // These are actually Microsoft "thiscall" convention functions that pass a C++ object reference
    // in the ecx register. Delphi doesn't support this calling convention, but in its default
    // "register" calling convention, it passes the first three parameters in eax, edx, ecx, and
    // the rest on the stack. So, by prepending two integer dummies, we can abuse this to fake
    // a thiscall. However, thiscall passes parameters on the stack from right to left, whereas
    // Delphi register uses left to right. Therefore, the order of the parameters after "This"
    // has to be reversed!
    method0: function (Dummy0, Dummy1: Integer; This: PCppClass; hWin: HWND): Boolean;
    method1: function (Dummy0, Dummy1: Integer; This: PCppClass; Arg2, Arg1: Integer): Boolean;
    method2: function (Dummy0, Dummy1: Integer; This: PCppClass): Boolean;
    method3: function (Dummy0, Dummy1: Integer; This: PCppClass; Arg3: Pointer; Arg2, Arg1: Integer): Boolean;
  end;
  TCppClass = packed record
    Vtbl: PCppClassVtbl;
  end;
Erklärung:
Ich habe eine externe in C++ geschriebene DLL, die in einer Funktion eine C++ Klasse zurückliefert und zwar in Form eines Pointers (PCppClass).
Der Pointer zeigt auf eine Datenstruktur, die ihrerseits an erster Stelle einen Pointer auf die Virtual Method Table (Vtbl) hat.
Die Vtbl ist quasi ein Array mit Prozedur/Funktionszeigern (definiert in TCppClassVtbl), die alle die thiscall Aufrufkonvention haben.

Wie im englischen Kommentar beschrieben ist der Trick folgender:
Delphis normale Aufrufkonvention ist "register", d.h. die ersten 3 Parameter werden wenn möglich in den Registern eax, edx, ecx übergeben, in dieser Reihenfolge. Erst ab dem 4. Parameter wird der Stack benutzt. Dagegen benutzt "thiscall" nur ecx für die Klassen/Objektreferenz ("this" is C++, wie "Self" in Delphi) und den Stack für den Rest.
Wenn man also einen thiscall-Aufruf als register-Aufruf definiert, mit zwei initialen Dummy-Parametern, um eax und edx zu füllen, dann kann man auf diese Weise einen thiscall emulieren.
Ein weiterer Unterschied dabei ist, dass "thiscall" die Parameter von rechts nach links auf den Stack legt (wie bei "stdcall"), "register" allerdings von links nach rechts. Das muss man kompensieren, indem man in jeder Methode der Vtbl die Parameter nach "This" einfach in umgekehrter Reihenfolge deklariert im Vergleich zum C++ Original.

Delphi-Quellcode:
// Aufruf ungefähr so:
var
  P: PCppClass;

P := GetClass();
P^.Vtbl^.method0(0, 0, P, Form1.Handle); // die "^" kann man sich in neueren Delphi-Versionen auch sparen

Geändert von SMO (16. Aug 2015 um 16:42 Uhr)
  Mit Zitat antworten Zitat