c++中数组作为函数参数时必然退化为指针，因编译器将所有数组形参（如int arr[10]）统一调整为指针类型（int* arr），导致sizeof(arr)返回指针大小而非数组长度，且丢失维度信息。
为什么直接传数组名会退化成指针
在 C++ 中，void func(int arr[10]) 这样的声明看起来像在传整个数组，但实际编译器会把它自动改写为 void func(int* arr)。这不是语法糖，而是语言规则：**所有数组形参都会被调整为指针类型**。所以 sizeof(arr) 在函数内永远是 8（64 位平台），而不是数组总字节数。
常见错误现象：std::cout 输出 8，导致误以为能用 <code>sizeof 算长度；或试图用 arr + 1 访问“下一个数组”而非下一个元素。
- 数组名作为实参时，本质就是首元素地址，不带大小信息
- 函数签名里方括号内的数字（如
[10]）完全被忽略，既不校验也不保留 - 若需真正按值传递整个数组，必须用模板推导大小或封装进
std::array
用模板参数推导数组长度最安全
这是唯一能在函数内获得原始数组大小的原生方式，适用于已知大小的栈数组。编译器根据实参自动推导 N，sizeof(arr) 和 std::size(arr) 都能正常工作。
template <typename t size_t n>
void process_array(T (&arr)[N]) {
static_assert(N == 5, "Only arrays of size 5 allowed");
for (size_t i = 0; i <ul>
<li>注意引用符号 <code>&</code> —— 缺少它就又退化成指针了</li>
<li>不能接受动态分配的数组（如 <code>new int[5]</code>）或 <code>std::vector</code>
</li>
<li>对多维数组也有效，例如 <code>int (&mat)[3][4]</code>，<code>N</code> 推导为 <code>3</code>（第一维）</li>
</ul>
<h3>什么时候该用 <code>std::array</code> 替代裸数组</h3>
<p>如果你需要值语义、边界检查、迭代器支持，或者想把数组当普通对象传（比如返回、赋值、放进容器），<code>std::array</code> 是更现代、更可靠的选择。它内部仍是栈上连续内存，零开销。</p>
<pre class="brush:php;toolbar:false;">void handle_stdarray(const std::array<int>& arr) {
std::cout <ul>
<li>必须显式指定大小（<code><int></int></code>），不能只写 <code><int></int></code>
</li>
<li>传参建议用 const 引用，避免不必要的拷贝（虽然小数组拷贝成本低）</li>
<li>与裸数组互操作：可用 <code>arr.data()</code> 获取原始指针，用于 C API</li>
</ul>
<h3>传动态数组或未知大小时，别只靠裸指针</h3>
<p>如果函数要处理 <code>new</code> 出来的数组、<code>malloc</code> 内存、或来自文件/网络的变长数据，仅传 <code>int*</code> 是危险的——没有长度信息，容易越界。C++ 标准库早就不鼓励这种模式。</p>
<ul>
<li>首选 <code>std::span<const int></const></code>（C++20）：轻量、无拷贝、带长度，可由裸指针+长度、<code>std::vector</code>、<code>std::array</code> 构造</li>
<li>次选 <code>std::vector<int></int></code>：自带大小和内存管理，适合生命周期不确定的场景</li>
<li>若必须用裸指针，至少加一个 <code>size_t len</code> 参数，并在函数开头做 <code>assert(len > 0)</code> 或范围检查</li>
</ul>
<p>最容易被忽略的一点：**数组退化不是 bug，是设计**。它让 C 兼容性得以保留，但也意味着你永远得自己负责长度传递——无论用模板、<code>std::array</code>、还是 <code>std::span</code>，核心问题始终是「如何让调用者和被调用者对数据边界达成一致」。</p></int>C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
