类模板中数组初始化要求非类型模板参数为编译期常量，数组大小必须在实例化时确定且不可更改；t data[n] 不自动零初始化，需在构造函数体或成员初始化列表中显式处理。
类模板中数组初始化的关键在于：非类型模板参数必须是编译期常量，而数组成员本身不能在构造函数里用 new 或运行时变量重定义大小；初始化动作只能发生在对象创建时的内存布局阶段或成员初始化列表中。
非类型模板参数决定数组大小，且不可运行时更改
你不能把数组大小写成 int n 或 std::size_t size 这样的变量传入模板——C++ 要求非类型模板参数（如数组长度）必须是编译期可确定的整型常量。常见合法写法：
-
template<typename t size_t n></typename>✅ 推荐，size_t是标准约定 -
template<typename t int n></typename>✅ 兼容老代码，但注意负值不合法 -
template<typename t const int n></typename>❌ 语法错误，const不能出现在模板参数里 -
template<typename t auto n></typename>⚠️ C++17 起支持，但仅限字面类型（如整数、指针），且仍需编译期常量
一旦实例化如 FixedArray<double></double>，内部数组 T data[N] 就是栈上固定块，大小已“焊死”在类型里。
数组元素初始化必须走构造函数体或成员初始化列表
声明为 T data[N] 后，它不会自动零初始化（尤其内置类型如 int），除非显式处理。常见做法：
- 在构造函数体内循环赋值：
for (int i = 0; i —— <code>T{}对内置类型是 0，对类类型调默认构造 - 用成员初始化列表（更高效，避免默认构造+赋值两步）：
FixedArray() : data{} {}，其中data{}触发聚合初始化，所有元素值初始化（built-in → 0，class → 默认构造） - 若想支持自定义初值列表（如
{1,2,3}），需额外提供接受std::initializer_list<t></t>的构造函数，并手动拷贝
注意：data{} 和 data() 效果不同：data() 是函数声明（最令人头疼的“most vexing parse”），必须写成 data{} 或 data = {} 才是初始化。
别和 std::array 混淆：原生数组成员没有默认构造语义
std::array<t n></t> 是一个封装类，它的默认构造会值初始化所有元素；但你自己写的 T data[N] 是裸数组，语言层面不提供隐式初始化保障。例如：
template<typename t size_t n>
struct BadArray {
T data[N]; // ❌ data 未初始化！int 类型元素是垃圾值
BadArray() = default; // 不做任何事
};</typename>
正确写法必须显式初始化：
template<typename t size_t n>
struct GoodArray {
T data[N];
GoodArray() : data{} {} // ✅ 值初始化全部元素
};</typename>
如果漏掉这一步，在调试时可能看到随机值，上线后变成偶发崩溃——尤其当 T 是 int* 或自定义类且依赖构造逻辑时。
真正容易被忽略的点是：非类型模板参数的“常量性”不是靠 const 关键字实现的，而是由模板实例化机制保证的；你无法在类内修改 N，也不能把它当作普通变量参与运算（比如 sizeof(data) / sizeof(T) 可以，但 N + 1 在某些上下文可能触发 ODR-use 问题）。初始化行为看似简单，实则紧贴编译器对常量表达式和聚合类型的判定规则。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
