栈上创建固定大小数组的正确写法是直接声明如int arr[10]，编译期确定大小、作用域内自动管理，不调用构造函数、不涉及堆分配，最轻量安全；不可用new[]，因其必在堆上分配。
栈上创建固定大小数组的正确写法
直接用 int arr[10] 这种声明方式，就是典型的栈上数组——编译期确定大小、生命周期随作用域自动管理。它不调用构造函数（POD 类型），也不涉及 new 或堆分配，是最轻量、最安全的数组使用方式。
常见错误是误以为必须用指针或 std::vector 才能“创建数组”，其实栈数组根本不需要显式创建动作，声明即存在。
-
int arr[5] = {0};：全部初始化为 0；int arr[5];：值未定义（非零） - 数组名
arr是常量指针，不能赋值给另一个数组名，也不能自增/自减 - 传参时会退化为指针，丢失长度信息，所以函数内用
sizeof(arr)得到的是指针大小，不是数组总字节 - 大数组（如
char buf[1024*1024]）可能触发栈溢出，尤其在递归或嵌套作用域中
为什么不能用 new[] 在栈上创建数组
new[] 总是在堆上分配内存，和“栈上”完全矛盾。有人混淆了 new 表达式与存储位置的关系——无论 new int[10] 写得多简洁，它返回的指针指向堆，必须配对 delete[]，否则泄漏。
试图用 placement new 在栈内存上构造数组，技术上可行但极其危险且无必要：
- 需要手动管理对象生命周期（调用析构函数）
- 无法用
[]下标访问（除非自己重载或计算偏移） - 容易因类型对齐、构造顺序等问题引发未定义行为
- 标准库已有更安全的替代方案（见下一条）
需要运行时大小？用 std::array 或 std::vector
栈上数组大小必须是编译时常量。如果大小来自变量（如用户输入、配置），就不可能用原生栈数组。这时有两个主流选择：
-
std::array<int n></int>：N 仍需编译期常量，但提供.size()、迭代器、RAII，比裸数组安全得多 -
std::vector<int></int>：大小运行时决定，数据在堆上，但对象本身（含指针+size/capacity）在栈上；支持动态增删，是绝大多数场景的实际首选 - 别用
alloca()或 VLAs（C99 的变长数组）：前者非标准、不可移植；后者在 C++ 标准中从未被接纳，GCC/Clang 的扩展支持也不保证异常安全
调试时如何确认数组确实在栈上
看变量地址是否接近当前函数的栈帧范围，比看代码更可靠。在 GDB 中可对比：
print $rsp # 当前栈顶 print &arr[0] # 数组首地址
若两者差值在几 KB 到几 MB 范围内（取决于栈大小限制），基本可判定在栈上。更直接的方式是检查汇编：arr 对应的地址通常是相对于 rbp 或 rsp 的负偏移，例如 mov eax, DWORD PTR [rbp-40]。
真正容易被忽略的是：即使你写了 int arr[1000]，编译器也可能在优化开启（-O2）后将其整个消除，或拆成寄存器变量——栈上分配只对未优化或观察变量生命周期有意义。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
