Чому адреси argc та argv 12 байтів один від одного?

Я запустив наступну програму на своєму комп’ютері (64-розрядний Intel, що працює під управлінням 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;
}

Вихід програми був

$ 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 описує те, що, ймовірно, відбувається у вашій конкретній реалізації, але ці деталі будуть різними для реалізації, в якій всі аргументи передаються на стек, і це не єдина альтернатива.

Більше того, у мене виникають труднощі при розробці способу, яким така інформація може бути корисна в рамках програми. Наприклад, навіть якщо ви "знаєте", що адреса argvстановить 12 байт перед адресою argc, все ще немає визначеного способу обчислити один з цих покажчиків з іншого.