Tại sao các địa chỉ của argc và argv cách nhau 12 byte?

Tôi đã chạy chương trình sau trên máy tính của mình (Intel 64-bit chạy 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;
}

Đầu ra của chương trình là

$ 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

Kích thước của con trỏ &argvlà 8 byte. Tôi dự kiến ​​địa chỉ argclà address of (argv) + sizeof (argv) = 0x7ffed1a4c9f0 + 0x8 = 0x7ffed1a4c9f8nhưng có một vùng đệm 4 byte ở giữa chúng. Tại sao điều này là trường hợp?

Tôi đoán là nó có thể là do căn chỉnh bộ nhớ, nhưng tôi không chắc chắn.

Tôi nhận thấy hành vi tương tự với các chức năng tôi gọi là tốt.

Trên hệ thống của bạn, một vài đối số số nguyên hoặc con trỏ đầu tiên được truyền vào các thanh ghi và không có địa chỉ. Khi bạn lấy địa chỉ của chúng bằng &argchoặc &argv, trình biên dịch phải chế tạo địa chỉ bằng cách viết nội dung đăng ký vào vị trí ngăn xếp và cung cấp cho bạn địa chỉ của các vị trí ngăn xếp đó. Khi làm như vậy, trình biên dịch chọn, theo một nghĩa nào đó, bất kỳ vị trí ngăn xếp nào xảy ra đều thuận tiện cho nó.

Tại sao các địa chỉ của argc và argv cách nhau 12 byte?

Từ quan điểm của tiêu chuẩn ngôn ngữ, câu trả lời là "không có lý do cụ thể". C không chỉ định hoặc ngụ ý bất kỳ mối quan hệ giữa các địa chỉ của các tham số chức năng. @EricPostpischil mô tả những gì có thể xảy ra trong triển khai cụ thể của bạn, nhưng những chi tiết đó sẽ khác nhau đối với việc triển khai trong đó tất cả các đối số được truyền trên ngăn xếp và đó không phải là cách thay thế duy nhất.

Hơn nữa, tôi gặp khó khăn khi nghĩ ra cách mà thông tin đó có thể hữu ích trong một chương trình. Ví dụ, ngay cả khi bạn "biết" rằng địa chỉ của argvlà 12 byte trước địa chỉ của argc, vẫn không có cách nào được xác định để tính toán một trong những con trỏ đó với nhau.