Unterschiedliche Ergebnisse TList.Sort 32bit / 64bit CompareItems

[Uwe Raabe]

Zitat von Alex_ITA01:

Was lernen wir daraus? Nicht auf die Hilfe hören

Vermutlich stammt die Hilfe noch von Delphi 1 oder so.

[Stevie]

Mir war so, als ob ich dieses Problem schonmal gesehen habe und jupp, hier isses.

Zitat von Alex_ITA01:

Was lernen wir daraus? Nicht auf die Hilfe hören

Ich seh in der Hilfe keine verschachtelte Routine...

Habs mal reported

[himitsu]

Methoden und diese Inline, sowie die Generischen haben einen "unsichtbaren" ersten Self-Parameter.

Somit stimmt die Signatur dann nicht, im Vergleich mit einer "reinen" Prozedur.
Bei Methoden und Klassenmethoden kann man das mit Static beheben, aber für Untermethoden leider nicht.

[Stevie]

Zitat von himitsu:

Methoden und diese Inline, sowie die Generischen haben einen "unsichtbaren" ersten Self-Parameter.

Somit stimmt die Signatur dann nicht, im Vergleich mit einer "reinen" Prozedur.
Bei Methoden und Klassenmethoden kann man das mit Static beheben, aber für Untermethoden leider nicht.

Ja, sie haben einen unsichtbaren ersten Parameter (unter 32bit nur wenn etwas aus dem äußere Scope referenziert wird, unter 64bit immer).
Dieser hat aber nix mit dem Self-Parameter wie bei Methoden (entweder Referenz zur Instanz oder zu Klasse) zu tun, sondern hier wird die Addresse zum umgebenden Stackframe übergeben.
Darüber wird der Zugriff auf die Variablen außerhalb der Routine realisiert.

Wie David auf die von mir verlinkten Stackoverflow richtig erklärt, gibt es diesen unter Win64 immer, egal ob man auf den umgebenden Scope zugreift oder nicht.
Unter Win32 gibt es diesen nur wenn man auf den umgebenden Scope zugreift - deshalb funktioniert es dort.

Unter Win64 werden die ersten vier Parameter in den Registern rcx, rdx, r8 und r9 übergeben. Also sollten Item1 und Item2 in rcx und rdx sein, da wirds auch durch den Aufruf aus Sort heraus übergeben.
Dadurch, dass die Implementierung aber nested ist, nimmt der Compiler aber an, dass diese in rdx und r8 sind, denn in rcx erwartet er den Stackzeiger, wenn die Routine lokal aufgerufen wird.

Das kann man sehr einfach auch überprüfen, wenn man einfach mal in das FormCreate CompareItems(nil, nil); reinschreibt, dort einen Stoppunkt setzt und sich das Disassembly anschaut:

Delphi-Quellcode:

mov rcx,rbp
xor edx,edx
xor r8,r8
call CompareItems

Wie man sieht, wird rbp (Frame pointer) in rcx übergeben, wie ich zuvor beschrieben habe. Verschiebe ich CompareItems nach außerhalb schauts so aus:

Delphi-Quellcode:

xor ecx,ecx
xor edx,edx
call CompareItems

[himitsu]

Dann hat 64 Bit damit ja noch mehr Vorteile bekommen

* alles mit Stackframes
* es gibt nur noch eine Aufrufkonvention
* und egal was man macht, es ist immer gleich