问数组是如何分配的？

EN

C++标准并不保证这种行为--它甚至没有提到堆栈或堆。

但通常情况下，当您调用一个函数时，堆栈帧会被推送到足够大的堆栈上，以便包含该函数的所有自动变量(以及其他对象，比如它的返回值)。所以如果你考虑函数foo

void foo() {
  int x;
  std::string str;
}

当调用此函数时，堆栈的顶部被向上推，因此有足够的空间来放置int和std::string。这些类型的大小是由实现定义的，标准对它们施加了一些限制，但您可以将它们视为sizeof(int)和sizeof(std::string)字节。

现在，当您的函数中有一个数组时，例如int a[10]，函数的堆栈帧将包含足够的空间来容纳10个int或10*sizeof(int)个字节。这个帧大小被直接烘焙到你的可执行文件中--当这个函数被调用时，堆栈就会按这个大小增加。

当您执行动态分配时，例如int* a = new int[10]，您将为堆中的10个int或10*sizeof(int)分配空间。但是，您已经将堆栈帧增加了一定数量，即sizeof(int*)。指针对象本身存储在堆栈上，但它所指向的int存储在堆上。

请注意，在第一个示例中，您可能想知道如果std::string可以具有可变长度，堆栈帧大小如何才能包含到可执行文件中。这是因为std::string对象本身具有固定的大小sizeof(std::string)，但很可能会进行某种动态分配来管理其内部表示-此内部表示将位于堆中。

1. 您将在堆栈上获得一个10 * sizeof(type)字节存储块(假设没有溢出发生)，因此内存中的每个元素都是连续的且大小相同，这就是为什么数组元素的指针算法有效。一旦超出作用域，这个内存就会被释放。请注意，此内存不一定会为您初始化。在int[10]的情况下，它将包含垃圾，而不是0。
2. 这是相同的，但元素是在免费存储上，而不是堆栈上。如果new不能分配内存，它将抛出异常。new[]也可以重载。一旦调用delete[]，这个内存就会被释放，这就是为什么像std::vector这样的东西通常是更好的选择，因为当向量超出范围时，它会释放它，这使得使用它变得更容易。