Was ist ein synthetischer Zeiger?

Question

Ich debugging einige C++ - Code in GDB und ich fand heraus, dass einige Aufrufe einen sogenannten "synthetischen Zeiger" verwenden. Das Herumgucken ergab kein sinnvolles Ergebnis. Wenn Sie hier auf SO suchen, beziehen sich die meisten Fragen mit "synthetisch" in ihrem Titel auf ein Java-Feature (auch wenn sie mir vorwerfen, dass "synthetisch" in diesem Zusammenhang "etwas künstlich vom Compiler erzeugtes" bedeuten könnte).

Eg, schauen Sie sich diese Backtrace, nahm von einem Betrieb, in dem Konstruktor von MyClass ausgeführt, über ein Klassenmitglied m genannt (dieser Code ist mit -O2 zusammengestellt):

#0 MyClass (arg=..., this=<synthetic pointer>) at somefile.h:144 
144  m->lock(); 
gdb$ print this 
$1 = (MyClass * const) <synthetic pointer> 
gdb$ print *this 
$2 = <optimized out> 

Der Stack-Trace oben gibt eindeutig an, dass this ein Zeiger auf ein Objekt ist, das optimiert wurde, aber wie ist es möglich, dass eine Methode (dh ihr Konstruktor) darauf aufgerufen wurde? Meine wilde Vermutung ist, dass, selbst wenn das eingeschlossene Objekt (m) im Code aktiv verwendet wird, einige Optimierungen den Compiler entscheiden lassen, dass das umschließende Objekt (this) nicht wirklich notwendig ist. Da der Methodenaufruf m->lock(), der nicht optimiert werden kann, irgendwo ausgegeben werden muss, erzeugt der Compiler ein "gefälschtes" (synthetisches?) Objekt, das nirgendwo im Speicher liegt, nur um es zu wickeln m.

Ich habe keine starke Compiler-Erfahrung, also weiß ich nicht, ob diese Schlussfolgerung wirklich Sinn macht. Könnte jemand bitte etwas Licht dazu bringen?

Vielen Dank.

Answer 1

Ein Compiler kann feststellen, ob this tatsächlich dereferenziert ist (d. H. Mit den spezifischen CPU-Details, nicht mit den allgemeinen C++ - Regeln). Wenn eine Methode this nicht wirklich dereferenziert, muss keine physische Repräsentation verfügbar sein.

[bearbeiten] In den Kommentaren erwähnt jww einen anderen Fall. Ein Singleton hat nur eine Kopie, daher kann ein intelligenter Compiler seine Member als Globals behandeln. Das heißt, die Adresse singleton->foo ist nur die Konstante &singleton + offset(foo). Als Ergebnis dieser Optimierung müssen die Singleton-Methoden die Adresse this nicht wirklich dereferenzieren, um Zugriff auf die Singleton-Mitglieder zu erhalten, so dass sie erneut optimiert werden können.