C语言中如何求任意一个int型数组的长度？

当你定义一个数组的时候：

int a[] = {1, 2, 3}; // 实际上被编译为 int a[3] = {1，2，3}

数组名代表的是数组的地址。注意 —— 你绝对没有办法通过数组名动态获得数组的大小。当你丢失a的长度信息的时候，你永远不可能知道他的长度。

那么 sizeof 是怎么回事呢？他不是通过 a 的名字获得 a的大小了么？ —— 大错特错！

关键字 sizeof 产生的是一个编译期常量（注1） 他的运作方式是这样的：

当你写：

sizeof a

实质是:

sizeof ( a的类型 )

而a的类型是什么呢？编译器察看 a的定义发现， 是 int [3]

就是说，这里 sizeof a 实质是：

sizeof ( int[3] )

完全等同于常量 12 （假定int为4字节）。

考虑一个函数

void func( int a[] );

// 写成 int a[3] 也不会有本质区别——也许你该试试写成 int (&a) [3] ？

C++规定，数组作为形参的时候，a代表数组首地址。

他的底层意义是： a 退化为了一个4字节的指针，没有任何变量表示数组的大小会“自动”被传递进来。

我们看看这个时候 sizeof a是什么：

sizeof( 函数形参的a[] ) = sizeof( int* const ) = 4 // 当然a[]不是合法的C++类型

仍然不服气？好——我们反问一个问题：若你是C /C++的设计者， 你怎么在兼容原有设计的基础上让void func( int a[] )同时传递地址和大小？

首先，a是一个变量，而且类似数组。他必须是一个地址，否则你不知道如何索引元素。

他怎么再带上一个变量表示他的大小呢？

扩充 sizeof (a) 的能力？

sizeof a 必须产生代码——不管是常量还是什么。 要让他在运行时决定 a的值， a就必须带上他的大小信息。

1 你必须修改C标准，让C支持“两种”数组。一种是定义处的数组，他分配大片连续内存，和原来的C标准相同。

2 另一种是作为参数传递数组。 你必须传递地址和数组大小；这个数组实际上是一个8字节的结构{ 地址; 大小}（事实上可能更加复杂，考虑多纬数组如何实现？ ）

3 系统必须根据两种不同数组分别实现其 []、* 、&等。 原有的数组根据其首地址偏移（这是个常量）和下标寻址； 而参数数组则首先取“地址”内容（这是个变量），然后根据这个地址寻址....

厄... 再考虑多维数组——听起来这不是一整套vector模型么？

-----------------------------------------------

注1: 对于C99支持的 flexible array ，其 sizeof 运算是运行时求值

转自：http://blog.csdn.net/georgelife7/article/details/7611252