Dlaczego adresy argc i argv 12 bajtów są oddzielone?

Na swoim komputerze uruchomiłem następujący program (64-bitowy Intel z systemem 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;
}

Dane wyjściowe programu były

$ 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

Rozmiar wskaźnika &argvwynosi 8 bajtów. Spodziewałem adres argc, aby być address of (argv) + sizeof (argv) = 0x7ffed1a4c9f0 + 0x8 = 0x7ffed1a4c9f8, ale nie jest wyściółka 4 bajt pomiędzy nimi. Dlaczego tak jest?

Domyślam się, że może to wynikać z wyrównania pamięci, ale nie jestem pewien.

Zauważam to samo zachowanie w przypadku wywoływanych funkcji.

W twoim systemie pierwsze argumenty liczb całkowitych lub wskaźników są przekazywane do rejestrów i nie mają adresów. Kiedy bierzesz ich adresy za pomocą &argclub &argv, kompilator musi sfabrykować adresy, pisząc zawartość rejestru do lokalizacji stosu i podając adresy tych lokalizacji stosu. W ten sposób kompilator wybiera w pewnym sensie dogodne dla niego lokalizacje stosu.

Dlaczego adresy argc i argv 12 bajtów są oddzielone?

Z punktu widzenia standardu językowego odpowiedź brzmi „bez konkretnego powodu”. C nie określa ani nie implikuje żadnego związku między adresami parametrów funkcji. @EricPostpischil opisuje to, co prawdopodobnie dzieje się w twojej konkretnej implementacji, ale te szczegóły byłyby inne dla implementacji, w której wszystkie argumenty są przekazywane na stos, i to nie jest jedyna alternatywa.

Co więcej, mam problem z wymyśleniem sposobu, w jaki takie informacje mogą być przydatne w programie. Na przykład, nawet jeśli „wiesz”, że adres argvwynosi 12 bajtów przed adresem argc, nadal nie ma określonego sposobu obliczenia jednego z tych wskaźników z drugiego.