如果你企图试用类似如下函数计算数组长度：
//数组退化为指针，这里算不出正确的数组长度 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; }
原文：http://www.cnblogs.com/kyokuhuang/p/4371086.html