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