Wie werden Objekte in der x86-Assembly gespeichert und darauf zugegriffen?

Objektspeicherung in Assembly (x86) verstehen

In x86-Assembly werden Objekte als zusammenhängende Speicherblöcke gespeichert. Sie sind nicht zwangsläufig mit Klassen verbunden, wie es in höheren Sprachen der Fall ist; Stattdessen handelt es sich lediglich um Byteabschnitte, die vom Programm manipuliert werden können.

Struktur- und Klassenspeicherung

Strukturen und Klassen werden identisch gespeichert, mit der Ausnahme, dass Klassen mit Bei virtuellen Mitgliedern wird als erstes Element eine implizite „vtable“ hinzugefügt. Diese vtable enthält Zeiger auf die Implementierung jeder virtuellen Funktion und ermöglicht so eine dynamische Bindung.

Member-Funktionszugriff

Der Zugriff auf Member-Funktionen erfolgt über einen impliziten „this“-Zeiger als erstes Argument an die Funktion übergeben. Dieser Zeiger zeigt auf das Objekt, auf dessen Mitglieder zugegriffen wird.

Versand virtueller Funktionen

Wenn eine virtuelle Funktion aufgerufen wird, überprüft der Compiler die Vtable des Objekts, um die korrekte Funktion zu ermitteln Funktionsimplementierung. Dieses dynamische Verhalten ermöglicht polymorphes Verhalten, bei dem verschiedene abgeleitete Klassen virtuelle Basisklassenfunktionen überschreiben können.

Registeroptimierung

Der Compiler kann sich dafür entscheiden, die Speicherzuweisung für Strukturen zu optimieren , insbesondere für kleine Strukturen oder lokale Variablen. Es kann die Mitglieder der Struktur in CPU-Registern halten, sodass kein Speicherzugriff erforderlich ist.

Beispiel

Betrachten Sie den folgenden Code:

struct foo {
  int m_a;
  int m_b;

  void inc_a() { m_a++; }

  void inc_b() { m_b++; }
};

Der Assembler-Code für die inc_b-Funktion wäre:

foo::inc_b():
    mov eax, DWORD PTR [rdi+4]      # eax = this->m_b
    lea edx, [rax+1]                # edx = eax+1
    mov DWORD PTR [rdi+4], edx      # this->m_b = edx
    ret

In diesem Code wird der implizite „this“-Zeiger im RDI-Register übergeben und die Werte werden wie festgelegt im Abstand von 4 Bytes im Objekt gespeichert vom Compiler.

Das obige ist der detaillierte Inhalt vonWie werden Objekte in der x86-Assembly gespeichert und darauf zugegriffen?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!