sizeof在函数参数中的应用方式

今天被问到一个问题，

#include <iostream>
using namespace std;
int numofarr( double a[] )
{
cout << sizeof a<<endl;
cout << sizeof *a<<endl;
return sizeof a / sizeof *a;
}
int main()
{
double a[6]={1,2,3,4,5};
cout << sizeof a<< endl;
cout << numofarr( a ) << endl;
return 0;
}

一旦把数组传到函数里面了，sizeof运算符就失效了，不能算出真正的数组大小。这个原因是

这个在main函数中a的真实语义是 double[] &(这里使用这种写法在C++中并不支持，这样写是为了看起来比较清楚，后面会解释),意为一个double类型数组的引用，这种说法可以比较别扭，可是事实如此。在把a传入到数组中时,在参数传递时发生了隐式类型转换，把double[] &转化为double*, 这种转把使得在函数中，a的语义发生转化，sizeof在函数中进行运算时这句sizeof(a)实际计算的是一个指针的大小，计算出来的数组长度当然是不正确的。（详见http://saturnman.blog.163.com/blog/static/55761120107215259147/）

又参考了http://www.cnblogs.com/rollenholt/articles/1907421.html

最终得到一个解决方案：

#include<iostream>
#include<vector>
using namespace std;
//a class definition to for testing
class A
{
    public:
    int x;
    double y;
    vector<int> z;
};
using namespace std;
 
//using c++ template technique to compute length
template<class T,int N>                              
char(&len_byte(T(&) [N]))[N];                        
#define arr_len_1(_array) (sizeof(len_byte(_array))) 
 
//using normal C macro to compute length
#define arr_len_2(_array) (sizeof(_array)/sizeof(_array[0]))
 
template<int N>//把这个写成模板即可----------------------------------------------------
void comp_length(int(&arr) [N])
{
    cout<<"arr_len_1(arr)="<<arr_len_1(arr)<<endl;
    cout<<"arr_len_2(arr)="<<arr_len_2(arr)<<endl;
}
int main()
{
    A a[20];
    int b[5];
   
    cout<<"arr_len_1(a)="<<arr_len_1(a)<<endl;
    cout<<"arr_len_2(a)="<<arr_len_2(a)<<endl;
    cout<<"arr_len_1(b)="<<arr_len_1(b)<<endl;
    cout<<"arr_len_2(b)="<<arr_len_2(b)<<endl;
   
    //compute array length in function comp_length
    comp_length(b);
    return 0;
}