C++求任意数组长度

如果你企图试用类似如下函数计算数组长度：

//数组退化为指针，这里算不出正确的数组长度
int get_array_length0(int a[])//这里等同于int*
{
    return sizeof(a)/sizeof(int);
}

这里sizeof(a)是返回int*指针大小，因为数组在参数传递的时候为地址传递，实际上调用这个函数int[]退化为了int*指针。

看看Xcode下的warning：

所以，我们需要数组在参数传递的时候需要使用数组引用，int (&a)[],这个声明类型不完备（incomplete type）

这样做的话，如果你再对a进行sizeof，则会有一个编译错误：

invalid application of 'sizeof' to an incomplete type  int[] .这里sizeof计算一个数组大小，需要它的类型信息是完备的，即包含数组大小。

所以你仅可在数组定义处使用sizeof，因为定义处数组的类型信息是完备的。

并且你也没有办法调用这个函数，因为类型不完备，所以类型是和数组int a[5]匹配不上的。

于是最终，我们需要函数模板来解决这个问题。简单来说就是  引用

//类型参数＋非类型参数＋数组引用
//非类型模板参数 绑定实参必须是常量表达式
template <typename T,unsigned N>
int  get_array_length(T (&array)[N]) {
    return sizeof(array)/sizeof(T);
}

//或者直接声明为类型引用 T=Type (&)[N]
template<typename T>
int get_array_length2(T& array)
{
    return sizeof(array)/sizeof(array[0]);
}


int main()
{
    int a[5]={1,2,3,4,5};
    cout<<get_array_length(a)<<endl;
    cout<<get_array_length2(a)<<endl;
    return 0;
}