静态数组指编译期大小已知、内存连续的原生数组，由方括号内常量表达式定义（如int arr[10]），与static关键字无关；加static仅影响存储期，不改变其静态数组本质。
静态数组不是用 static 关键字定义的
很多人看到“静态数组”第一反应是加 static 修饰符，但这是个常见误解。C++ 中所谓“静态数组”，通常指**编译期大小已知、内存布局连续、生命周期由存储期决定的原生数组**，和 static 存储期无关。真正决定它“静态”特性的，是它的类型：比如 int arr[10] 这种写法——方括号里是常量表达式，编译器就能确定长度，这才是关键。
加 static 只影响变量的链接性和生命周期（比如函数内 static int arr[5] 会让数组只初始化一次并持续存在），但不改变它作为“静态数组”的本质特征。换句话说：int arr[10] 本身就是静态数组；static int arr[10] 是“带静态存储期的静态数组”，多了一层语义，不是定义方式。
怎么声明和初始化静态数组
最直接的方式就是用类型 + 方括号 + 常量表达式：
int data[5] = {1, 2, 3}; // 剩余元素自动零初始化
double matrix[3][4]; // 二维，等价于 double matrix[3][4]
char name[20] = "hello"; // 字符串字面量自动补 '\0'
- 方括号里的值必须是**常量表达式**（如字面量、
constexpr变量、枚举值），不能是运行时变量，否则编译报错：int n = 5; int arr[n];→ 错误（C++ 不支持变长数组 VLAs） - 初始化列表长度 ≤ 数组长度时，未显式初始化的元素按类型规则零初始化（
int→0，double→0.0，指针→nullptr） - 如果省略长度（
int arr[] = {1,2,3};），编译器会根据初始化器推导为 3 —— 这仍是静态数组，只是长度由初始化决定
静态数组 vs std::array 怎么选
两者都是栈上分配、大小固定，但行为差异明显：
-
int arr[5]是原始类型，不能直接赋值、不能传值进函数（退化为指针）、没有.size()方法 -
std::array<int> arr</int>是类模板，支持拷贝赋值、可作为函数参数值传递、有arr.size()和arr.data()，且能用范围for安全遍历 - 性能几乎无差别（
std::array零开销抽象），但std::array更安全、更现代；只有在对接 C API 或嵌入式受限环境时才倾向用原始数组 - 注意：二者类型不兼容 ——
void f(int*)不能直接传std::array，但可以传arr.data()
容易踩的坑：越界、退化、sizeof 陷阱
静态数组最危险的地方在于编译器不检查访问边界，而且一传参就“丢长度”：
-
int arr[5]; arr[10] = 0;—— 编译通过，运行时可能静默破坏内存或崩溃 -
void func(int a[]) { sizeof(a); }→ 实际得到的是指针大小（如 8），不是数组长度！因为数组退化为int* -
sizeof(arr)在定义作用域内才有效，结果是总字节数（5 * sizeof(int)），别误以为是元素个数 - 函数返回局部静态数组？不行：
int* f() { int a[3]={1,2,3}; return a; }→ 返回悬空指针，a生命周期结束
这些细节一旦忽略，调试起来非常隐蔽。尤其在老代码里混用原始数组和指针时，sizeof 和边界检查最容易出问题。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
