Ich bin auf ein Stück Code gestoßen void *p = &&abc;. Welche Bedeutung hat && hier? Ich kenne Rvalue-Referenzen, aber ich denke && in diesem Zusammenhang verwendet wird, ist anders. Was macht && eintragen void *p = &&abc; ?

&& ist die Erweiterung von gcc um die Adresse des Labels zu erhalten, das in der aktuellen Funktion definiert ist.

void *p = &&abc ist im Standard C99 und C++ illegal.

Dies kompiliert mit g++.

So finden Sie es heraus

Das ist die Adresse eines Labels und es ist eine spezifische Funktion GCC.

int main(void) {
    void* startp;
s:
    startp = &&s;
    printf("the assignment above starts at address %p\n", startp);
    return 0;
}

Du hättest es selbst herausfinden können, indem du es getestet hast:

int main(void) {
    void* startp;
    int a;
    startp = &&a;
    printf("startp=%p\n", startp);
    return 0;
}

In diesem Fall sagt GCC:

Fehler: Label ‘a’ verwendet, aber nicht definiert

Unter der Haube – Montage

Sie müssen Assembler beherrschen, um das wirklich zu verstehen, aber ich werde versuchen, Ihnen zu erklären, was eine Adresse eines Labels bedeutet.

Nachdem das Betriebssystem die .exe-Datei von der Festplatte geladen hat, wird eine Komponente des Betriebssystems namens „The Loader“ (Windows hat den „PE Loader“, Linux hat den „ELF Loader“ oder vielleicht sogar andere, wenn sie darin kompiliert sind Kernel), führt es eine “Virtualisierung” dieses Programms durch und verwandelt es in einen Prozess.

Dieser Prozess hält sich für den einzigen im RAM und hat Zugriff auf den gesamten RAM (also 0x00000000-0xFFFFFFFF auf einem 32-Bit-Rechner).

(Das Obige ist nur ein kurzer Überblick über das, was passiert, Sie müssen wirklich das Zusammenbauen lernen, um es vollständig zu verstehen, also haben Sie Geduld mit mir)

Nun, das Label in einem Quellcode ist im Grunde eine Adresse. “Gehe zu Label;” macht nichts anderes als einen Sprung zu dieser Adresse (denken Sie an die Befehlszeiger im Zusammenbau). Dieses Etikett speichert diese RAM-Adresse, und so können Sie diese Adresse herausfinden.

Nachdem Sie ASM gelernt haben, werden Sie feststellen, dass diese Adresse auf eine Anweisung innerhalb der verweist .text Abschnitt der ausführbaren Datei. Das .text Abschnitt ist derjenige, der den (binären) Code Ihres Programms enthält, der ausgeführt werden soll.

Sie können dies überprüfen mit:

objdump -x a.out

Ein praktisches Beispiel

Wie beschrieben in GCC, können Sie damit eine Sprungtabelle initialisieren. Etwas Scanner-Generatoren wie re2c (siehe die -g Parameter) verwenden, um kompaktere Scanner zu generieren. Vielleicht gibt es sogar eine Parser-Generator mit der gleichen Technik.