关于数组名的讨论

用来存放数组的区域是一块在栈中静态分配的内存(非static)，而数组名是这块内存的代表，它被定义为这块内存的首地址。这就说明了数组名是一个地址，而且，还是一个不可修改的常量，完整地说，就是一个地址常量。数组名跟枚举常量类似，都属于符号常量。数组名这个符号，就代表了那块内存的首地址。注意了！不是数组名这个符号的值是那块内存的首地址，而是数组名这个符号本身就代表了首地址这个地址值，它就是这个地址，这就是数组名属于符号常量的意义所在。由于数组名是一种符号常量，因此它是一个右值，而指针，作为变量，却是一个左值，一个右值永远都不会是左值，那么，数组名永远都不会是指针！不管什么话，只要说数组名是一个指针的，都是错误的！ 

int  a[ 6 ][ 6 ];

& a;

 

对数组名取地址在 C 标准里面是未定义的。这个表达式曾经引起过争论，焦点在于对一个右值取地址的合法性。 C89 规定 & 运算符的操作数必须具有具体的内存空间，换言之就是一个左值，但数组名却是一个右值，按照 & 运算符的要求，这是非法行为。因此，早期的编译器通常规定 &a 是非法的。但不知道什么原因，现在的编译器都把 &a 人为地定义成一个比 a 高一级而地址值跟 a 一样的地址，但作为比 a 高一级的地址，有一个行为却非常怪诞， sizeof(&a) 的结果跟 sizeof(a) 相同，这也是人为的痕迹。笔者倾向于把 &a 定义为非法，应该维护 & 运算符的权威性，而不是在规定对某个右值取地址为非法的同时，又允许对另一个右值取地址，这是互相矛盾的。