Mengapa alamat argc dan argv 12 byte terpisah?

Saya menjalankan program berikut di komputer saya (Intel 64-bit menjalankan 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;
}

Output dari program ini adalah

$ 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

Ukuran pointer &argvadalah 8 byte. Saya mengharapkan alamat argcmenjadi address of (argv) + sizeof (argv) = 0x7ffed1a4c9f0 + 0x8 = 0x7ffed1a4c9f8tetapi ada padding 4 byte di antara mereka. Mengapa demikian?

Dugaan saya adalah bahwa hal itu bisa disebabkan oleh penyelarasan memori, tetapi saya tidak yakin.

Saya melihat perilaku yang sama dengan fungsi yang saya panggil juga.

Pada sistem Anda, beberapa argumen integer atau pointer pertama dilewatkan dalam register dan tidak memiliki alamat. Ketika Anda mengambil alamatnya dengan &argcatau &argv, kompiler harus membuat alamat dengan menulis konten register ke lokasi stack dan memberi Anda alamat lokasi stack tersebut. Dalam melakukan hal itu, kompiler memilih, dalam arti tertentu, lokasi tumpukan apa pun yang cocok untuknya.

Mengapa alamat argc dan argv 12 byte terpisah?

Dari perspektif standar bahasa, jawabannya adalah "tidak ada alasan khusus". C tidak menentukan atau menyiratkan hubungan apa pun antara alamat parameter fungsi. @EricPostpischil menjelaskan apa yang mungkin terjadi dalam implementasi khusus Anda, tetapi detail-detail itu akan berbeda untuk implementasi di mana semua argumen dilewatkan di stack, dan itu bukan satu-satunya alternatif.

Terlebih lagi, saya mengalami masalah dengan cara di mana informasi tersebut dapat berguna dalam suatu program. Misalnya, bahkan jika Anda "tahu" bahwa alamatnya argvadalah 12 byte sebelum alamat argc, masih belum ada cara yang pasti untuk menghitung salah satu dari pointer tersebut dari yang lain.