sizeof(arr)/sizeof(arr[0]) 在函数参数中失效,因数组退化为指针导致结果错误;仅适用于栈上原生数组,推荐用 std::array 替代。

sizeof(arr) / sizeof(arr[0]) 为什么有时失效
这个经典写法只在数组是栈上定义、且未退化为指针时才可靠。一旦数组作为函数参数传入,arr 就变成 int*(或对应类型指针),sizeof(arr) 返回的是指针大小(通常是 4 或 8),不再是整个数组字节数。
常见错误现象:sizeof(arr) / sizeof(arr[0]) 在函数内部返回 1(32 位)或 1(64 位下除以 4/8 得 1),而不是你期望的元素个数。
- 适用场景:仅限于栈上定义的原生数组,例如
int arr[] = {1, 2, 3, 4};在其定义作用域内 - 不适用场景:函数形参、动态分配数组(
new int[n])、std::vector、全局数组传参后 - 可加编译时断言防误用:
static_assert(std::is_array_v<decltype>, "arr must be a real array");</decltype>
用 std::array 替代 C 风格数组
std::array 是类型安全、带尺寸信息的容器,.size() 成员函数始终可用,且不退化。
示例:
std::array<int> arr = {1, 2, 3, 4, 5};
std::cout <ul>
<li>优势:支持范围 for、迭代器、<code>std::begin</code>/<code>std::end</code>,编译期知道长度</li>
<li>注意:模板参数中的长度必须是编译期常量,不能是变量</li>
<li>与 C 风格数组内存布局完全兼容,可直接传给需要 <code>int*</code> 的 C API(用 <code>arr.data()</code>)</li>
</ul>
<h3>函数参数里怎么拿到数组长度</h3>
<p>原生数组传参时必然退化为指针,C++ 没有内置机制恢复长度。必须显式传递长度,或改用能携带长度的类型。</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>size_t n</code> 参数,如 <code>void process(int* arr, size_t n)</code>
</li>
<li>更现代做法:用 <code>std::span<int></int></code>(C++20),它包装指针+长度,提供 <code>.size()</code> 且不拷贝数据</li>
<li>替代方案:用 <code>std::vector</code>,它自带 <code>.size()</code>,但涉及堆内存;若只读且不想拷贝,<code>std::span</code> 更轻量</li>
<li>避免陷阱:不要试图在函数内对形参做 <code>sizeof</code> —— 它永远不是你想要的</li>
</ul>
<h3>宏或模板技巧能不能“自动”获取长度</h3>
<p>可以封装,但仍有严格限制。比如定义宏 <code>#define ARRAY_SIZE(arr) (sizeof(arr) / sizeof((arr)[0]))</code>,但它依然只适用于本地数组。</p>
<p>模板版本稍安全些:</p>
<pre class="brush:php;toolbar:false;">template<typename t size_t n>
constexpr size_t array_size(T (&)[N]) { return N; }</typename>
调用 array_size(arr) 会推导出 N,但前提是 arr 是数组类型(非指针)。
- 优点:编译期计算,类型检查比宏强
- 缺点:无法用于函数参数(推导失败),也不能用于
extern声明的数组 - 实际建议:与其花精力绕过限制,不如直接用
std::array或显式传n—— 更清晰、更少歧义
真正容易被忽略的是:数组长度不是运行时属性,而是编译期概念。一旦脱离原始定义上下文,就没有“自动获取”的银弹;靠约定(传长度)、靠类型(std::array)、靠标准库抽象(std::span)才是正解。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!










