重载函数无法直接用int[5]和int*区分，因数组形参会退化为指针；正确方式是使用数组引用void f(int(&)[5])或模板推导template void f(const int(&)[n])。
重载函数如何区分 int[5] 和 int*
直接重载函数参数为 int[5] 和 int* 是无效的——C++ 会把数组形参自动退化为指针，void f(int[5]) 和 void f(int*) 声明完全等价，编译器报错：「redefinition」。
真正能区分的方式只有两种：引用数组、或模板推导数组长度。指针类型必须显式保留为指针（不能靠退化）。
-
void f(int (&)[5])—— 绑定到长度为 5 的int数组引用，不退化 -
void f(int*)—— 明确接收裸指针（包括 new 出来的、函数返回的、或退化后的） - 避免写
void f(int[5])，它和void f(int*)冲突且无意义
用模板 + 引用实现泛型数组长度捕获
硬编码长度（如 int(&)[5]）只对固定大小有效。更实用的是模板推导：
template<size_t n>
void process(const int (&arr)[N]) {
std::cout void process(const int* ptr) {
std::cout <p>调用时：<code>int a[3]; process(a);</code> 走模板；<code>process(new int[3]);</code> 或 <code>process(p)</code> 走指针重载。</p><div class="aritcle_card flexRow artxards">
<div class="artcardd flexRow">
<a class="aritcle_card_img" rel="nofollow" href="/xiazai/skill4025" title="C++ 算法竞赛自动化测试数据生成与校验框架"><img
src="https://img.php.cn/upload/skill/000/000/081/178988956499722.jpg" alt="C++ 算法竞赛自动化测试数据生成与校验框架" onerror="this.onerror='';this.src='/static/lhimages/moren/morentu.png'" ></a>
<div class="aritcle_card_info flexColumn">
<a rel="nofollow" href="/xiazai/skill4025" title="C++ 算法竞赛自动化测试数据生成与校验框架" class="overflowclass">C++ 算法竞赛自动化测试数据生成与校验框架</a>
<p class="overflowclass">根据原题生成新题面、验证器及完整测试数据，自动套用 testlib 模板，用于用户要求生成测试数据时。</p>
</div>
<a rel="nofollow" href="/xiazai/skill4025" title="C++ 算法竞赛自动化测试数据生成与校验框架" class="aritcle_card_btn flexRow flexcenter"><b></b><span>下载</span>
</a>
</div>
</div>
<ul>
<li>模板版本要求实参是真正的栈数组（或全局数组），不能是 <code>std::vector::data()</code> 返回的指针</li>
<li>如果传入 <code>const int*</code> 字面量（如 <code>process("hello")</code>），仍匹配指针重载，不会进模板</li>
<li>注意 <code>const</code> 修饰位置：引用声明里的 <code>const</code> 修饰数组整体，不影响推导</li>
</ul>
<h3>为什么 <code>std::array</code> 不适合替代原生数组重载</h3>
<p><code>std::array<int></int></code> 是类类型，和 <code>int[5]</code> 完全无关。给它写重载属于另一个类型体系，无法解决「原生数组 vs 指针」的歧义问题。</p>
<ul>
<li>如果你控制调用方，推荐统一用 <code>std::span<const int></const></code>（C++20）或自定义视图封装，从源头消除二义性</li>
<li>混用原生数组、指针、<code>std::array</code> 会让重载集爆炸，维护成本陡增</li>
<li>尤其注意：函数返回 <code>int[5]</code> 是非法的，只能返回指针或封装，这进一步削弱了数组重载的实际价值</li>
</ul>
<h3>实际项目中容易踩的坑</h3>
<p>最常被忽略的是数组到指针的隐式转换发生在几乎所有上下文中——除了取地址和绑定到数组引用。</p>
<ul>
<li>传入函数参数时：<code>void g(int*); int x[10]; g(x);</code> → <code>x</code> 立即退化，永远进不去数组重载</li>
<li>用 <code>decltype</code> 检查类型：<code>decltype(x)</code> 是 <code>int[10]</code>，但 <code>decltype((x))</code>（加括号变表达式）是 <code>int(&)[10]</code>，而 <code>decltype(&x)</code> 是 <code>int(*)[10]</code>
</li>
<li>跨编译单元传递数组：头文件里声明 <code>extern int arr[5];</code>，定义在 .cpp 里为 <code>int arr[5];</code>，此时在其他文件中 <code>sizeof(arr)</code> 是错误的（未定义行为），重载也失效</li>
</ul>
<p>真正可靠的区分点只有「是否能绑定到数组引用」，其余全是幻觉。别指望运行时判断，这是编译期契约。</p></size_t>C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
