C++中使用sizeof获取数组长度的异常行为及函数场景咨询

嗨，我完全懂你现在的困惑——在main函数里用sizeof(v1)/sizeof(*v1)能精准算出数组长度，但把这套逻辑搬到自定义函数里就失效了，对吧？这其实是C++里数组传参的一个经典“陷阱”，我来给你掰扯清楚。

问题根源：数组传参会退化为指针 #

C++里有个很容易被忽略的规则：当你把原生数组作为参数传递给函数时，数组会被隐式转换成指向其首元素的指针。

举个例子，哪怕你写的函数参数是void func(int arr[10])，编译器实际会把它当成void func(int* arr)来处理。这时候在函数内部调用sizeof(arr)，得到的根本不是整个数组的字节数，而是指针类型的大小（32位系统是4字节，64位是8字节）。

而你在main函数里能成功，是因为main里的v1（你代码里数组定义是newdens，后面用v1应该是笔误）是实实在在的数组类型，sizeof(v1)会返回整个数组的总字节数（10个int，每个4字节，就是40），sizeof(*v1)是单个int的大小（4），两者相除自然得到正确的长度10。

解决方法，给你三个实用选项 #

1. 手动传递数组长度（最直接）

调用函数的时候，把数组长度一起传进去，函数直接用这个值就行：

#include <iostream>

void getArrayLength(int arr[], int length) {
    std::cout << "Array length: " << length << std::endl;
}

int main() {
    int newdens[10];
    // 在main里计算好长度再传进去
    getArrayLength(newdens, sizeof(newdens)/sizeof(*newdens));
    return 0;
}

这种方法简单粗暴，兼容性拉满，不管什么C++版本都能用。

2. 用模板函数推导数组长度（编译期自动获取）

如果不想手动传长度，可以用模板让编译器在编译期自动推导出数组的大小——关键是用数组引用作为函数参数，这样就不会触发数组到指针的转换：

#include <iostream>

// 模板参数N会被编译器自动推导为数组的大小
template <size_t N>
void getArrayLength(int (&arr)[N]) {
    std::cout << "Array length: " << N << std::endl;
}

int main() {
    int newdens[10];
    getArrayLength(newdens); // 编译器自动识别N=10
    return 0;
}

这种方法不用手动计算长度，代码更简洁，而且是编译期确定的数值，没有运行时开销。

3. 改用标准库容器（现代C++推荐）

如果你的项目用的是C++11及以后的版本，真心建议直接用std::array或者std::vector替代原生数组——它们自带获取长度的方法，完全避开这个坑：

• 固定大小数组用std::array：

#include <iostream>
#include <array>

int main() {
    std::array<int, 10> newdens;
    std::cout << "Array length: " << newdens.size() << std::endl; // 直接返回10
    return 0;
}

• 动态大小数组用std::vector：

#include <iostream>
#include <vector>

void getVectorLength(const std::vector<int>& vec) {
    std::cout << "Vector length: " << vec.size() << std::endl;
}

int main() {
    std::vector<int> newdens(10);
    getVectorLength(newdens); // 直接返回当前元素个数
    return 0;
}

这些标准库容器不仅解决了长度问题，还提供了很多安全、方便的操作（比如边界检查、动态扩容），比原生数组好用太多。

内容的提问来源于stack exchange，提问作者marcoresk