Warum sind die Adressen von argc und argv 12 Bytes voneinander entfernt?

Ich habe das folgende Programm auf meinem Computer ausgeführt (64-Bit-Intel unter Linux).

#include <stdio.h>

void test(int argc, char **argv) {
    printf("[test] Argc Pointer: %p\n", &argc);
    printf("[test] Argv Pointer: %p\n", &argv);
}

int main(int argc, char **argv) {
    printf("Argc Pointer: %p\n", &argc);
    printf("Argv Pointer: %p\n", &argv);
    printf("Size of &argc: %lu\n", sizeof (&argc));
    printf("Size of &argv: %lu\n", sizeof (&argv));
    test(argc, argv);
    return 0;
}

Die Ausgabe des Programms war

$ gcc size.c -o size
$ ./size
Argc Pointer: 0x7fffd7000e4c
Argv Pointer: 0x7fffd7000e40
Size of &argc: 8
Size of &argv: 8
[test] Argc Pointer: 0x7fffd7000e2c
[test] Argv Pointer: 0x7fffd7000e20

Die Größe des Zeigers &argvbeträgt 8 Bytes. Ich habe erwartet, dass die Adresse von lautet argc, address of (argv) + sizeof (argv) = 0x7ffed1a4c9f0 + 0x8 = 0x7ffed1a4c9f8aber dazwischen befindet sich ein 4-Byte-Abstand. Warum ist das so?

Ich vermute, dass es an der Speicherausrichtung liegen könnte, bin mir aber nicht sicher.

Ich bemerke das gleiche Verhalten auch bei den Funktionen, die ich aufrufe.

Auf Ihrem System werden die ersten paar Ganzzahl- oder Zeigerargumente in Registern übergeben und haben keine Adressen. Wenn Sie ihre Adressen mit &argcoder nehmen &argv, muss der Compiler Adressen fabrizieren, indem er den Registerinhalt in Stapelpositionen schreibt und Ihnen die Adressen dieser Stapelpositionen gibt. Dabei wählt der Compiler gewissermaßen die Stapelpositionen aus, die für ihn geeignet sind.

Warum sind die Adressen von argc und argv 12 Bytes voneinander entfernt?

Aus Sicht des Sprachstandards lautet die Antwort "kein besonderer Grund". C spezifiziert oder impliziert keine Beziehung zwischen den Adressen von Funktionsparametern. @EricPostpischil beschreibt, was wahrscheinlich in Ihrer speziellen Implementierung passiert, aber diese Details wären für eine Implementierung unterschiedlich, bei der alle Argumente auf dem Stapel übergeben werden, und dies ist nicht die einzige Alternative.

Außerdem habe ich Probleme, eine Möglichkeit zu finden, wie solche Informationen innerhalb eines Programms nützlich sein können. Selbst wenn Sie beispielsweise "wissen", dass die Adresse von argv12 Byte vor der Adresse von liegt argc, gibt es immer noch keine definierte Möglichkeit, einen dieser Zeiger aus dem anderen zu berechnen.