当你定义一个数组的时候: 数组
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 运算是运行时求值ide
转自:http://blog.csdn.net/georgelife7/article/details/7611252函数