一个数组存储在内存中的什么位置？

Question

1. 初始化数据段
2. BSS
3. 堆栈
4. 堆
5. 代码

现在考虑以下程序：

#include <stdio.h>

int main(){
    int arr[4] = {1,2,3,4};
    int x = 10;

    printf("Hello World!");
}

在上面的程序中，arr和x都是在main函数内本地声明的。我认为这意味着它们都将在函数堆栈上分配空间。但是，当我在linux上运行size命令时，我发现实际上正在为数组分配数据段中的空间。

Answer 1

我已经在网上搜索了这个，但是发现了相互矛盾的信息。

请不要阅读随意的博客或诸如此类的，他们通常有不良的信息。在堆栈溢出问题上，错误的信息往往会被否决，或者至少通常会有注释指出错误和谬误。

在上面的程序中，arr和x都是在main函数内本地声明的。我认为这意味着它们都将在函数堆栈上分配空间。

C标准没有指定如何分配 variables 对象的内存。它只指定对象具有存储持续时间，存储持续时间定义 variable 对象的生存期

• 静态的，它的生存期从程序的开始到结束
• 自动，它将具有包含声明（或复合文字）的最内部块{...}的生存期，直到块结束
• 线程本地，它将具有线程的生存期
• 分配的对象，这些对象将从malloc/calloc/realloc/aligned_alloc一直活动到相应的free/realloc为止。

除此之外，C标准还规定，在其生存期内，对象将

• 为其保留内存
• 并具有恒定地址（您可以使用&运算符观察该地址）

除此之外，还有一个所谓的as-if规则，它说只要程序的外部行为相同，编译器就可以生成任何程序代码，外部行为意味着输入、输出、对易失性对象的访问等等。

程序中的变量具有自动存储持续时间，这意味着每次输入main函数时，都会有新的对象具有新的生存期，直到main函数结束。通常这意味着它们将存储在堆栈上，因为它将以最小的开销很好地处理分配和释放。但程序的外部行为与

#include <stdio.h>

int main(void) {
    printf("Hello World!");
}

它意味着编译器可以完全消除这两个变量，不为其保留任何空间。

现在，如果打印变量的地址：

#include <stdio.h>

int main(void) {
    int arr[4] = {1,2,3,4};
    int x = 10;

    printf("Hello World! %p, %p\n", (void *)arr, (void *)&x);
}

因为变量的地址被占用并用于输出，所以C无法优化它们。他们现在在堆栈上吗？嗯，C标准没有说。它们至少需要从main开始直到结束的生存期--但是C编译器可以决定不对它们使用堆栈，因为该程序的外部行为与

#include <stdio.h>

static int arr[4] = {1,2,3,4};
static int x = 10;
    
int main(void) {
    printf("Hello World! %p, %p\n", (void *)arr, (void *)&x);
}