C++普通数组声明与动态数组声明的区别及疑问

你的测试代码场景太简单，只覆盖了最基础的赋值和元素访问，所以没看出两者的核心差异。下面详细说下它们的关键区别，以及动态内存分配的不可替代优势：

1. 内存分配的位置与容量限制 #

• int foo[n]是在**栈（stack）**上分配内存，栈的总空间通常很小（一般是几MB级别），如果n的值较大（比如100000），直接会触发栈溢出导致程序崩溃。
• int* foo = new int[n]是在**堆（heap）**上分配内存，堆的空间远大于栈，能轻松容纳大尺寸的数组，比如处理百万级别的数据。

你可以试试把测试代码里的n设成100000，运行A行（栈数组）大概率直接崩溃，而B行（动态分配）能正常运行。

2. 生命周期与作用域限制 #

• 栈数组foo的生命周期严格绑定在当前作用域内：比如在main函数里定义，函数执行完毕时，栈数组会被自动销毁。如果尝试把栈数组的指针返回给外部函数，会得到野指针，后续访问会触发未定义行为。
• 动态分配的数组生命周期由你控制：只要不调用delete[] foo，内存就会一直存在，你可以把它的指针传递到其他函数甚至其他模块使用，用完再手动释放即可。

比如这两段代码的差异：

// 错误示例：返回栈数组指针
int* createArray(int n) {
    int arr[n];
    return arr; // 函数结束后arr已销毁，返回的是野指针
}

// 正确示例：返回动态分配数组指针
int* createArray(int n) {
    int* arr = new int[n];
    return arr; // 调用者拿到后可正常使用，用完记得delete[] arr;
}

3. 标准兼容性问题 #

• int foo[n]属于变长数组（VLA），这是C99的特性，并非标准C++的内容。虽然GCC、Clang等编译器会作为扩展支持，但像MSVC这类编译器在默认设置下是不支持的，代码的可移植性很差。
• new int[n]是标准C规定的写法，所有符合C标准的编译器都能正常编译，代码跨平台性有保障。

4. 灵活性差异 #

• 栈数组一旦声明，大小就固定死了，无法中途调整。
• 动态分配的数组可以灵活调整大小：你可以先delete[] foo释放旧内存，再重新foo = new int[newSize]分配新的更大/更小的数组。如果觉得手动管理麻烦，C++标准库的std::vector本质就是封装了动态内存分配，能自动扩容、释放，用起来更安全。

关于手动释放内存的问题 #

你觉得动态分配需要手动释放是劣势，但C++有很多手段可以避免手动管理的麻烦：比如用std::unique_ptr<int[]>这类智能指针，它会在生命周期结束时自动调用delete[]；或者直接用std::vector<int>，完全不用操心内存释放的问题，同时保留动态内存的所有优势。

内容的提问来源于stack exchange，提问作者RayS