argcとargvのアドレスが12バイト離れているのはなぜですか？

私のコンピューター（Linuxを実行する64ビットIntel）で次のプログラムを実行しました。

#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;
}

プログラムの出力は

$ 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

ポインタのサイズ&argvは8バイトです。私はのアドレスが期待argcされるようにしaddress of (argv) + sizeof (argv) = 0x7ffed1a4c9f0 + 0x8 = 0x7ffed1a4c9f8たが、4バイトのパディングは、それらの間にあります。これはなぜですか？

おそらくメモリアラインメントが原因である可能性がありますが、よくわかりません。

私が呼び出す関数でも同じ動作に気づきました。

システムでは、最初のいくつかの整数またはポインター引数がレジスターで渡され、アドレスがありません。&argcまたは&argvでアドレスを取得する場合、コンパイラはレジスタの内容をスタックロケーションに書き込み、それらのスタックロケーションのアドレスを提供することにより、アドレスを作成する必要があります。そうすることで、コンパイラーは、ある意味で、スタックの場所が都合のよい場所を選択します。

argcとargvのアドレスが12バイト離れているのはなぜですか？

言語標準の観点からは、答えは「特別な理由なし」です。Cは、関数パラメーターのアドレス間の関係を指定または暗示していません。@EricPostpischilは、特定の実装でおそらく何が起こっているかを説明しますが、それらの詳細は、すべての引数がスタックで渡される実装では異なります。これが唯一の選択肢ではありません。

さらに、そのような情報がプログラム内で役立つ方法を思い付くのに苦労しています。たとえば、のアドレスがのアドレスのargv12バイト前であることを「知っている」場合argcでも、これらのポインタの一方を他方から計算する定義された方法はまだありません。