程序如何在堆栈中找到全局变量？

Question

据我所知，当我声明全局变量int my_var;时，
它位于<bss>（未初始化的全局数据）或<.rodata>（初始化全局数据）部分的固定地址。

例如）

int my_var;          // <= It is at <.bss> section
int my_var = 0x1337; // <= It is at <.rodata> section

所以，程序可以使用固定地址找到那些静态值。

问题：但是，我听说全局变量位于<stack>。

C运行时启动初始化全局变量：__environ,program_invocation_name
它们位于<stack>....，这意味着它的地址不固定。

问题。程序如何在stack（非固定区域）中找到全局变量？

Answer 1

您能否提供一个示例或参考一本书，说明存储在堆栈中的全局变量？

堆栈的重点是根据（临时）变量的范围分配内存，因此将堆栈用于“始终存在”的变量是没有意义的（正如您所说，还有另一个用于此目的的部分）。

关于您的示例 (int my_var = 0x1337;)，初始化变量可能不会分配在只读部分，因为这并不意味着它不会在某个时刻被修改（除了编译器的决定）。

问题。程序如何在栈（非固定区域）内找到全局变量？

堆栈是一个后进先出队列，其中有一个指针指示最新位置，每个时间变量都有一个地址（创建时，在堆栈边界内）指示其位置，直到它被销毁（超出范围）并且堆栈指针被更新。但是环境变量不存储在堆栈上，它们在它上面：https://www.thegeekstuff.com/2012/03/linux-processes-memory-layout/

Answer 2

__environ 等...不在堆栈内；它们是普通的全局变量，它们是指向堆栈中位置的指针（即，其值为地址的变量）。初始程序环境、参数等在堆栈中的事实是一个实现细节。它们可以很容易地分配到堆中，或者在其他区域中以适应运行时。

唯一重要的是运行时启动和操作系统就在哪里找到它们达成一致。

[回复评论] 下面的程序应该说明：

#include <stdio.h>
extern char **environ;

int main() {
 int x;
 printf("&envrion  = %p\n", &environ);
 printf("environ   = %p\n", environ);
 printf("*environ  = %p [%s]\n", *environ, *environ);
 printf("&x        = %p\n", &x);
 return 0;
}

在我的系统上，当运行 (cc -static x.c; ./a.out) 时，会生成：

&envrion  = 0x6bbda8
environ   = 0x7ffdd6edb3e8
*environ  = 0x7ffdd6edb9a2 [CLUTTER_IM_MODULE=xim]
&x        = 0x7ffdd6edb2a4

请注意 &environ 与 environ、*environ 和 &x 的地址有很大不同。那是因为后者在堆栈内，而 environ 本身不在。