在C++中，const关键字最常见的用途之一就是修饰数组。很多初学者看到const int arr[5]这样的声明时，会误以为const修饰的是数组这个对象本身，其实不然。const修饰数组时，本质上是修饰数组中的每一个元素，也就是说数组变成了常量数组，元素一旦完成初始化就不能再被修改。理解这一点，是掌握const语义、指针传递以及编译期优化的基础。
const数组的基本语义与底层原理
先看一个最基础的例子：
const int arr[5] = {1, 2, 3, 4, 5};
// arr[0] = 10; // 编译错误：不能给常量赋值
// arr[2]++; // 同样编译错误
当我们写下const int arr[5]时，编译器把arr中的每个元素都视为const int类型。任何通过下标访问进行的写操作，包括赋值、自增、自减，都会在编译阶段被拒绝。注意一点：const数组必须在声明时初始化，因为没有初始化的const数组元素无法在之后被赋值，会导致元素值永远无法确定，编译器通常会直接报错。
从底层角度看，const数组与普通数组在内存布局上并没有区别，都是一段连续存储的元素序列。区别在于编译器赋予了这些元素只读的语义。在许多平台上，全局作用域的const数组会被放入只读数据段，如果程序在运行期试图通过非常规手段（比如强制类型转换指针）修改它，会直接触发段错误。而在栈上定义的局部const数组，编译器同样会拦截所有显式的写操作，只是物理上可能仍位于可写内存。
这也解释了一个经典误区：通过const_cast或C风格的强制转换去掉常量性再去修改元素，属于未定义行为。标准只保证通过合法途径访问const对象时是只读的，绕过类型系统写入const对象，结果没有任何保证。
const数组与指针的交互规则
const数组与指针结合时容易产生混淆，关键在于区分“指向const的指针”和“const指针”。看下面的代码：
const int arr[3] = {10, 20, 30};
const int* p1 = arr; // 正确：指向const int的指针
// int* p2 = arr; // 编译错误：不能用const数组初始化int*
int* const p3 = nullptr; // const指针：指针本身不可变，指向的内容可变
const int* const p4 = arr; // 指针和指向内容都不可变
数组名在表达式中会退化为指向首元素的指针。由于arr的元素类型是const int，退化出来的指针类型就是const int*。如果允许把这个指针赋给int*，就等于打开了修改常量的口子，所以C++的类型系统禁止这种转换。这个规则体现了const正确性：能读取常量数据的指针不能拥有写权限。
反过来，把普通数组的地址赋给const int*是完全合法的，因为这只是主动放弃了写权限，不会带来任何风险。这个特性在函数传参时非常有用：当函数只需要读取数组内容时，参数声明为const int*或const int arr[]，既能接受普通数组也能接受常量数组，还能在接口层面明确表达“本函数不会修改数据”的契约。
const数组作为函数参数与返回值
在函数参数中使用const数组是非常推荐的实践。来看一个对比：
// 只读接口：明确承诺不修改数据
int sumArray(const int arr[], size_t n) {
int total = 0;
for (size_t i = 0; i < n; ++i) {
total += arr[i]; // 只能读，写操作会被拒绝
}
return total;
}
void fillArray(int arr[], size_t n) {
for (size_t i = 0; i < n; ++i) {
arr[i] = i * 2; // 可写，参数没有const修饰
}
}
sumArray的参数声明为const int arr[]，注意这里数组参数在编译器内部会被调整为指针，等价于const int* arr。所以严格来说，参数中的const修饰的是元素而非“数组本身”。这种写法的好处有两点：一是函数内部任何误修改都会被编译器拦截，二是调用者可以放心传入常量数组、字符串字面量等只读数据。
需要特别注意的是，不要从函数中返回指向局部const数组的指针。虽然const保证了元素不可修改，但数组生命周期结束后指针就悬空了，与const与否无关。如果确实需要返回只读数据，可以让函数返回const int*指向静态数组、类成员或调用者传入的缓冲区，这样const修饰能在返回后的使用过程中持续保护数据不被意外修改。
编译期优化与现代C++中的替代方案
const数组对编译器优化有实际帮助。因为元素值在编译期已知且不可变，编译器可以把下标访问直接折叠成常量。例如：
const int table[4] = {2, 4, 6, 8};
int x = table[2] + 1; // 编译器可直接优化为 int x = 7;
在启用优化选项时，编译器通常会把table[2]直接替换为字面量6，省去一次内存读取。此外，全局const数组往往被放置在只读段，多个翻译单元之间还可以通过内联或合并相同数据来减小二进制体积。
在现代C++中，如果数组的长度和内容都在编译期确定，推荐优先使用constexpr数组，它保证编译期求值，可以用于模板参数、静态断言等场景。C++17引入的std::array配合const使用也是很好的选择：
#include <array>
constexpr int table[3] = {1, 2, 3}; // 编译期常量数组
const std::array<int, 3> arr = {4, 5, 6}; // 带边界检查的只读容器
static_assert(table[0] + table[2] == 4, "编译期校验");
总结来说，const修饰数组的核心作用是把元素变成只读，借助编译器强制执行不变性契约。合理使用const数组，既能减少意外修改带来的bug，又能让代码意图更清晰，还能给编译器留下优化空间，是C++编程中性价比极高的一项实践。
C++ const数组常量数组C++基础修改时间：2026-08-31 09:11:02