关于数组名的讨论

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

int a[6][6];

&a;

 

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