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

//数组退化为指针，这里算不出正确的数组长度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 
     
      int  get_array_length(T (&array)[N]) {    return sizeof(array)/sizeof(T);}//或者直接声明为类型引用 T=Type (&)[N]template
      
       int get_array_length2(T& array){    return sizeof(array)/sizeof(array[0]);}int main(){    int a[5]={
   1,2,3,4,5};    cout<
       
        <