c - C 变量的内存地址

Question

这是我的测验问题(警告，冗长):

给定以下程序，重新排序 printf 行，以便打印的值按顺序排序 如果在 Sun SPARC 架构上编译和运行，则从最小到最大。这些行打印出十六进制地址 程序的不同部分(不是分配的值)与 printf() 格式说明符 %p (指针)。

#include <stdio.h> 
#include <stdlib.h> 
int a = 420; 
void foo() { 
    int b; 
    /* 1 */ printf( "b --> %p\n", &b ); 
} 

int 
    main( int argc, char *argv[] ) { 
        int c; 
        int d = 42; 
        static int e; 
        /* 2 */ (void) printf( "foo() --> %p\n", foo ); 
        /* 3 */ (void) printf( "e --> %p\n", &e ); 
        /* 4 */ (void) printf( "malloc --> %p\n", malloc(420) ); 
        foo(); 
        /* 5 */ (void) printf( "d --> %p\n", &d ); 
        /* 6 */ (void) printf( "argv --> %p\n", &argv ); 
        /* 7 */ (void) printf( "a --> %p\n", &a ); 
        /* 8 */ (void) printf( "c --> %p\n", &c ); 
        /* 9 */ (void) printf( "argc --> %p\n", &argc ); 
    return 0; 
} 

我用 C 语言运行了这个程序并得到了这些打印值:

2  foo() --> 10594
3  e --> 2099c
4  malloc --> 209a8
1  b --> ffbff1b4
5  d --> ffbff228
6  argv --> ffbff288
7  a --> 20974
8  c --> ffbff22c
9  argc --> ffbff284

我的问题很好......为什么？我尝试手动执行此操作，记住每个变量的保存位置(堆栈、BSS、数据等)，并尝试对它们进行排序，说明这是变量的顺序，从低内存到高内存:

这就是从最小到最小的组织方式吗？

LOW MEMORY - text (labels, function names):
2 - foo
data (initialized global/static vars):
7 - a
BSS ( initialized global/static vars:
3 - e
stack (local vars):
9 - argc
6 - argv[]
8 - c
5 - d
1 - b
4 - ptr returned by malloc
HIGH MEMORY

如果它与打印的内存值冲突，我不知道为什么，有人介意解释为什么吗？谢谢:)!

Answer 1

唯一的冲突发生在堆栈区域。

堆栈是否从较高地址增长到较低地址(这是通常情况)或以其他方式增长，取决于系统。

堆栈底部有argc和argv，然后是c和d，然后b.

由于参数以“错误的方式”插入堆栈，因此首先插入 argv，然后插入 argc，从而给 argc 一个较小的地址。显然，c 和 d 也是如此；但我认为编译器可以自由选择局部变量的放置位置。

b 具有最小的地址，因为它推送得很晚。

此外，malloc() 返回的 ptr 不在堆栈上，而是在堆上，堆紧接在 BSS 区域之后开始。

这就是解决方案

LOW MEMORY
text (labels, function names):
2 - foo
data (initialized global/static vars):
7 - a
BSS (initialized global/static vars):
3 - e
heap:
4 - ptr returned by malloc
stack (local vars):
1 - b
5 - d
8 - c
9 - argc
6 - argv[]
HIGH MEMORY

这种不直观的参数传递顺序的原因是因为有一个可变 llength 参数的选项。您可能知道函数 printf()，其中所有这些调用都是有效的:

printf("Hello\n");
printf("Hello %s\n", name);
printf("Hello User #%d (%s)\n", nr, name);

只有调用者知道变量的数量。被调用的函数知道堆栈的顶部，并希望有一个到第一个参数的已定义偏移量。因此，唯一的选择是将第一个参数放入堆栈顶部，从而开始从最后一个推到第一个。 通常情况下，数据并不是真正压入的，而是手动减少堆栈指针并随后填充以这种方式保留的内存。