用 sizeof 计算元素个数是最直接的方式:sizeof(array)/sizeof(array[0]) 可得静态数组长度,但数组传入函数后退化为指针,sizeof 失效。

用 sizeof 计算元素个数是最直接的方式
静态数组的大小在编译期已知,sizeof(array) 返回整个数组占用字节数,除以单个元素字节数就能得到长度。这是最常用也最安全的方法,前提是数组不能退化为指针(比如传入函数后)。
常见错误是把局部数组传给函数再试图用 sizeof 算长度——此时形参已是 T*,sizeof 返回指针大小(通常是 8),结果完全错误。
示例:
std::size
- 支持多维数组:
std::size(arr)返回第一维长度 - 可配合范围 for 使用:
for (auto& x : arr) { ... }更简洁,但拿不到索引 - 若需索引 + 元素,推荐
for (size_t i = 0; i
避免把数组传进函数后还用 sizeof
一旦数组作为参数传递,除非用引用方式,否则自动退化为指针。此时 sizeof 失效,std::size 也会编译失败。
正确做法是显式传入长度,或使用数组引用:
// ❌ 错误:arr 在函数内是 int*
void bad_func(int arr[]) {
size_t n = sizeof(arr) / sizeof(arr[0]); // 永远是 1(64位下是 8/8)
}
<p>// ✅ 正确:用引用保留数组类型信息
template<size_t n>
void good_func(int (&arr)[N]) {
size_t n = std::size(arr); // 编译期确定为 N
}</size_t></p>
用 std::array 替代裸数组更现代、更安全
如果控制权在你手上(比如定义新数据结构),优先选 std::array<t n></t>。它有 .size() 成员函数、支持范围 for、可拷贝、类型完整,彻底规避裸数组的退化问题。
性能上零开销:std::array 就是带接口的静态数组,不额外分配堆内存。
- 初始化:
std::array<int> a = {1, 2, 3};</int> - 遍历:
for (const auto& x : a) { ... }或for (size_t i = 0; i - 传参安全:传值或 const 引用都不会丢失尺寸信息
真正容易被忽略的是:裸数组的“静态”只体现在栈上分配和编译期定长,但它没有接口、不携带长度、极易在函数边界丢失信息——这不是语法限制,而是 C 遗留设计的惯性。用 std::array 或显式传长,比反复检查 sizeof 是否生效要省心得多。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











