数组名字与指针

   数组名字是一个不是指针的指针！
    晕！这是什么意思呢？
    1.在备课中发现一个问题！
         int array[10];
    （1）cout<<array<<endl;//0x0012FF58
    （2）cout<<&array<<endl;;//0x0012FF58
    （3）cout<<&array[0]<<endl;;//0x0012FF58
    （1）、（2）和（3）输出的结论是一样的。
    早就在书上看到过这样的话，数组名字代表数组的首地址，那么本质区别是什么呢？
    （4）cout<<array+1<<endl;//0x0012FF5C
    （5）cout<<&array+1<<endl;//0x0012FF80
    （6）cout<<&array[0]+1<<endl;//0x0012FF5C
    从这几行代码可以看出（4）和（6）是等价的，即数组名字仅仅代表数组首地址，在首地址的基础上+1，即表示第二个元素的首地址。而（5）代表的是整个数组的首地址，所以+1的话，就是整个数组末尾的下一个地址，0x0012FF58+40=0x0012FF80(十六进制)。所以刚才（1）、（2）和（3）输出的结果一样，因为不管代表数组第一个元素的开始地址还是表示整个数组的开始地址，都是同一个位置。
     int *p=array; //数组名字代表数组首地址，那么int *p=array;正确
   （7）cout<<sizeof(array)<<endl;//40
   （8）cout<<sizeof(p)<<endl;//4
    数组名字的本质是什么？
    a.数组名的内涵在于其指代实体是一种数据结构，这种数据结构就是数组；
    b.数组名的外延在于其可以转换为指向其指代实体的指针，而且是一个指针常量；
    所以sizeof(array)为40；而指向数组的指针p则是另外一种变量类型（在WIN32平台下，长度为4，long int型），仅仅意味着数组的存放地址！
    2.下面的程序成立吗？
1. int intArray[10];
2. intArray++;    发现编译出错。原因在于，虽然数组名可以转换为指向其指代实体的指针，但是它只能被看作一个指针常量，不能被修改。
    而指针，不管是指向结构体、数组还是基本数据类型普通整型变量、字符型、double等的指针，都不包含原始数据结构的内涵，在WIN32平台下，sizeof操作的结果都是4。
    顺便纠正一下许多人的另一个误解：以为sizeof是一个函数，而实际上，它是一个操作符，不过其使用方式看起来的确太像一个函数了。语句 sizeof(int)就可以说明sizeof的确不是一个函数，因为函数接纳形参（一个变量），世界上没有一个C/C++函数接纳一个数据类型（如 int）为"形参"。  
    3.注意：数据名可能失去其数据结构内涵
    到这里似乎数组名魔幻问题已经宣告圆满解决，但是平静的湖面上却再次掀起波浪。请看下面一段程序：
1. #include <iostream.h>
2. void arrayTest(char str[])
3. {
4. 　cout << sizeof(str) << endl;
5. }
6. int main(int argc, char* argv[])
7. {
8. 　char str1[10] = "I Love U";
9. 　arrayTest(str1);
10.　 return 0;
11. }
    程序的输出结果为4。不可能吧？
    结论1指出，数据名内涵为数组这种数据结构，在arrayTest函数中str是数组名，那为什么sizeof的结果却是指针的长度？这是因为：
    (1)数组名作为函数形参时，在函数体内，其失去了本身的内涵，仅仅只是一个指针；
    (2)很遗憾，在失去其内涵的同时，它还失去了其常量特性，可以作自增、自减等操作，可以被修改。
    所以，数据名作为函数形参时，其全面沦落为一个普通指针！它的贵族身份被剥夺，成了一个地地道道的只拥有4个字节的平民。
    请看程序（本文程序在WIN32平台下编译）：
1. #include <iostream.h>
2. int main(int argc, char* argv[])
3. {
4. 　char str[10];
5. 　char *pStr = str;
6. 　cout << sizeof(str) << endl;
7. 　cout << sizeof(pStr) << endl;
8. 　return 0;
9. }
     4、我们先来推翻"数组名就是指针"的说法，用反证法。
    证明　数组名不是指针
    假设：数组名是指针；
    则：pStr和str都是指针；
    因为：在WIN32平台下，指针长度为4；
    所以：第6行和第7行的输出都应该为4；
    实际情况是：第6行输出10，第7行输出4；
    所以：假设不成立，数组名不是指针

    结论：
    数组名不是指针，只不过c++赋予了数组名字可以读取数组首地址的特权。