const数组成员必须通过构造函数初始化列表初始化，不能在函数体内赋值或类内直接初始化；推荐用std::array替代，支持花括号初始化且安全可靠。
const数组成员必须用初始化列表，不能在构造函数体内赋值
类中声明的 const 数组成员（如 const int arr[3]）本质上仍是非静态 const 成员，因此**不能在构造函数体里用 = 赋值，也不能在类内直接初始化（如 const int arr[3] = {1,2,3}; 是非法的）**。唯一合法方式是通过构造函数初始化列表——但要注意：C++ 标准不支持对内置类型数组使用花括号初始化语法（如 arr{1,2,3}）在初始化列表中直接展开。
- 错误写法：
MyClass() : arr{1,2,3} {}（C++11 及以后对 POD 数组在初始化列表中不支持此语法，多数编译器报错） - 错误写法：
MyClass() { arr[0]=1; arr[1]=2; ... }（const数组元素不可修改） - 可行路径：用
std::array替代裸数组，或用const指针 + 静态数据，或封装为自定义类型
用 std::array 替代裸 const 数组最稳妥
std::array 是聚合类型，支持在初始化列表中用花括号初始化，且整个对象可声明为 const。它语义清晰、无内存泄漏风险、支持范围访问和迭代，是现代 C++ 的推荐做法。
class MyClass {
const std::array<int, 3> data;
public:
MyClass() : data{{1, 2, 3}} {} // 注意双层花括号（C++11/14），C++17 起可简写为 {1,2,3}
void print() const {
for (int x : data) std::cout << x << " ";
}
};- C++11/14 必须写
{{1,2,3}}：外层是std::array构造，内层是聚合初始化 - C++17 起允许
{1,2,3}（类模板参数推导 + 聚合初始化改进） -
std::array大小在编译期确定，零开销，与裸数组内存布局一致
裸 const 数组只能靠 static 数据 + const 指针间接实现
如果硬要保留裸数组（例如对接 C 接口、嵌入式限制），可将数据声明为 static constexpr，再用 const 指针或引用成员指向它。注意：这不是“数组成员”，而是“指向常量数组的指针成员”。
class MyClass {
static constexpr int raw_data[3] = {10, 20, 30};
const int* const arr; // 指针本身 const，指向内容也 const
public:
MyClass() : arr(raw_data) {}
};-
arr是const指针，初始化后不能指向别处；raw_data是静态存储期、编译期常量 - 无法通过
arr[0]修改值（因指向const int），满足只读语义 - 缺点：失去数组长度信息（
sizeof(arr)是指针大小），需额外存 size 或用std::size(raw_data)
初始化顺序陷阱：数组成员依赖其他 const 成员时要小心
若类中同时有多个 const 成员，且某个 const 数组（或 std::array）的初始化表达式依赖另一个 const 成员，则必须确保**声明顺序**满足依赖关系——因为初始化列表执行顺序严格按成员在类中声明的顺序，而非书写顺序。
立即学习“C++免费学习笔记（深入）”；
class BadExample {
const int base;
const std::array<int, 2> derived; // 依赖 base，但声明在后 → OK
public:
BadExample(int b) : base(b), derived{{base * 2, base * 3}} {} // 正确：base 先声明、先初始化
};
<p>class DangerousExample {
const std::array<int, 2> derived; // 声明在前
const int base; // 声明在后
public:
DangerousExample(int b) : base(b), derived{{base <em> 2, base </em> 3}} {}
// ❌ 危险：derived 初始化时 base 尚未初始化，行为未定义！
};- 即使初始化列表里把
base写在前面，derived仍会先于base初始化（因声明顺序优先） - 这种 bug 编译器通常不报错，但运行时值随机，极难调试
- 检查手段：加日志或断点，确认初始化顺序是否符合预期
裸 const 数组成员没有标准初始化语法，强行使用容易触发未定义行为或编译失败；真正需要数组语义时，std::array 是唯一干净、安全、可移植的选择。而声明顺序引发的初始化依赖问题，是所有 const 成员共有的隐性雷区，尤其在组合多个 const 成员时极易被忽略。
