构造函数中接收固定大小数组需用引用参数T (&arr)[N]，配合template<size_t N>推导长度；不能写T arr[N]（等价于指针），否则退化丢失尺寸；std::array<T, N>更安全推荐，传参不退化且自带size()。
构造函数里怎么接收固定大小的数组
直接传数组名会退化成指针，丢失长度信息。想保留尺寸，必须用引用方式声明参数。
- 写成
T (&arr)[N]形式，T是元素类型，N是编译期已知的大小 - 不能写
T arr[N]—— 这等价于T* arr，N被忽略 - 模板参数
N必须是 non-type template parameter，得用template<size_t n></size_t>推导
示例：
template<size_t N>
class Vec {
int data[N];
public:
Vec(const int (&arr)[N]) {
for (size_t i = 0; i < N; ++i) data[i] = arr[i];
}
};调用时 int a[] = {1,2,3}; Vec v(a); 才能正确推导出 N == 3。
为什么不能用 std::array 简单替代
可以，而且更推荐——但要注意它不是“原生数组”，是封装类型，传参行为不同。
立即学习“C++免费学习笔记（深入）”；
-
std::array<int, 3>传值或 const 引用都安全，大小信息内建，不退化 - 若构造函数只接受原生数组引用，
std::array无法隐式转换，必须显式 .data() - 性能上无差别：
std::array零开销，底层仍是栈上连续内存
所以除非接口被遗留代码绑定死，否则优先写成：
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
class Vec {
std::array<int, 3> data;
public:
Vec(const std::array<int, 3>& arr) : data(arr) {}
};传指针 + 长度参数是最通用但最易错的方式
适用于运行时才知道长度、或要兼容 C 风格接口的场景，但完全放弃编译期检查。
- 常见错误：把局部数组地址传给类成员指针保存，函数返回后悬空
- 忘记校验长度是否越界，尤其配合
memcpy或裸循环时 - 如果类内部要长期持有数据，必须深拷贝（比如用
std::vector存）
例如这种写法危险：
class BadVec {
int* ptr;
public:
BadVec(int* p, size_t n) : ptr(p) {} // 错！没拷贝，也没所有权声明
};正确做法应明确所有权，比如：
class GoodVec {
std::vector<int> data;
public:
GoodVec(const int* p, size_t n) : data(p, p + n) {}
};初始化列表里用数组字面量会触发什么
C++11 起支持 {1,2,3} 初始化，但构造函数参数类型决定能否匹配。
- 若参数是
const std::array<int,3>&，Vec v{1,2,3};可行（聚合初始化+复制） - 若参数是
const int (&)[3]，Vec v{1,2,3};也合法，但要求模板能推导出N==3 - 若参数是
std::initializer_list<int>，则接受任意长度，但失去编译期尺寸约束
注意：三种方式语义不同，选哪个取决于你是否需要在编译期强制尺寸一致。
最麻烦的是跨平台或模板嵌套时，sizeof 和模板推导可能因对齐、padding 行为不一致而失效，这时候宁可多写一个 static_assert 校验 std::extent_v 或 std::rank_v。
