數(shù)組的三值合一

    在學(xué)習(xí)的過程中，發(fā)現(xiàn)了 一個(gè)有趣的東西，那就是數(shù)組的三值合一，不知道大家聽過沒有，我是第一次聽，原來也沒有注意到這個(gè)問題，學(xué)習(xí)過后，今天總結(jié)一下，以下就是我的一些見解。

首先來看下邊的代碼

測(cè)試代碼一

#include<iostream>

using namespace std;

void  main()

{

int a;

int arry[10] = {0};

cout<<arry<<endl;

cout<<&arry<<endl;

cout<<&arry[0]<<endl;

cout<<sizeof(arry)<<endl;

cout<<sizeof(arry[0])<<endl;

cout<<sizeof(&arry)<<endl;

}

     對(duì)于普通×××變量a，a為變量名當(dāng)賦值以后，我們就可以通過變量名操作變量中存儲(chǔ)的數(shù)據(jù)，那么對(duì)于數(shù)組是一類相同數(shù)據(jù)類型數(shù)據(jù)的集合，我們就不能通過數(shù)組名直接操作其中是數(shù)據(jù)，要通過數(shù)組名與下標(biāo)的方式訪問，那么問題來咯，數(shù)據(jù)名是什么呢？查閱c語言的基礎(chǔ)語法書籍，我么可以知道，書中這樣講到：數(shù)組名的值是一個(gè)指針常量，也就是數(shù)組的第一個(gè)元素的地址。ok，我也通過程序分別求出了他們的地址，見測(cè)試結(jié)果圖一：

測(cè)試結(jié)果圖一：

對(duì)的，我們看到也就是這樣，數(shù)組名的值和數(shù)組的首元素的地址一樣，我也順便把數(shù)組名的地址也求了，現(xiàn)在先不用理他，我們只要看他們，數(shù)組名的值，數(shù)組首元素的地址，以及數(shù)組名的地址值是一樣的，既然地址一樣那么我們是不是可以理解為他們?nèi)齻€(gè)是一個(gè)東西。ok，看到這里，是不是覺得博主有病，書上都講了 ，你還在這里講什么，no，我的問題剛剛開始，既然數(shù)組名和數(shù)組首元素的地址一樣，那么我們分別對(duì)他們用sizeof（）函數(shù)求字節(jié)長(zhǎng)度，按照之前的邏輯，地址一樣求得的大小是一樣的，但是結(jié)果確實(shí)不是，見測(cè)試測(cè)試結(jié)果圖一，數(shù)組名的大小是40字節(jié)個(gè)也就是數(shù)組的大小，然而對(duì)數(shù)組首元素的大小是4個(gè)字節(jié)，對(duì)于數(shù)組名的的地址求大小也是4個(gè)字節(jié)，看到這里是不是覺得有點(diǎn)意思，ok，接下來我們先從最簡(jiǎn)單的開始解釋。雖然三者的值都一樣，但是代表的含義是完全不一樣的（后邊我會(huì)用代碼驗(yàn)證）。

    按照我的理解，arry[0]代表數(shù)組的首元素，那么對(duì)那對(duì)他求大小的時(shí)候，那么由于此數(shù)組是一個(gè)×××數(shù)組，在win32的環(huán)境下，×××占四個(gè)字節(jié)，那么它求得的大小也就是四個(gè)字節(jié)，ok，肯定有人會(huì)說，不一定吧！為了消除大家的疑慮，我用其他類型 的數(shù)組做了測(cè)試，可以看代碼塊二 和測(cè)試結(jié)果圖二；ok，我想我把數(shù)組首元素這個(gè)解釋清楚了。

測(cè)試代碼二

void  main()

{

   char  ch[20] = {'d'};

   int arry1[10] = {0};

   double  Doub[30] = {3.14};

   cout<<sizeof(ch[0])<<endl;

   cout<<sizeof(arry1[0])<<endl;

   cout<<sizeof(Doub[0])<<endl;

}

測(cè)試結(jié)果圖二：

    繼續(xù)，按照我的理解，數(shù)組名就是代表整個(gè)數(shù)組，數(shù)組名有一個(gè)值就是數(shù)組首元素的地址，這也就解釋了為什么分別對(duì)數(shù)組名和數(shù)組首元素求地址的時(shí)候他們的值一樣，而當(dāng)對(duì)他們分別用sizeof（）函數(shù)求大小的時(shí)不一樣，數(shù)組名代表的整個(gè)數(shù)組的空間所以求得的大小是整個(gè)數(shù)組空間的大小，而數(shù)組首元素就是一個(gè)×××變量占四個(gè)字節(jié)，對(duì)于其他類型的數(shù)組求大小值當(dāng)然不同，前邊我已經(jīng)解釋過了。

    好了我們來解釋最后一個(gè)對(duì)數(shù)組名取地址，這個(gè)就是對(duì)整個(gè)數(shù)組取地址，但是數(shù)組的首元素是數(shù)組的入口，所以，我們可以看到數(shù)組名取地址和數(shù)組首元素的地址一樣，但兩者的意義是完全不一樣的?？湛跓o憑，我們繼續(xù)看測(cè)試代碼三：

測(cè)試代碼三（1）

#include<iostream>

using namespace std;

void  main()

{

    int arry[10] = { 0 };

    int *p1;

    int *p2;

    int *p3;

    p1 = &arry[0];

    p2 = arry;

    p3 = &arry;

}

error C2440: “=”: 無法從“int (*)[10]”轉(zhuǎn)換為“int *” 與指向的類型無關(guān)；轉(zhuǎn)換要求 reinterpret_cast、C 樣式轉(zhuǎn)換或函數(shù)樣式轉(zhuǎn)換

測(cè)試結(jié)果圖三（1）：

測(cè)試代碼三（2）

void  main()

{

    int arry[10] = { 0 };

    int *p1;

    int *p2;

    int *p3;

    p1 = &arry[0];

    p2 = arry;

    //p3 = &arry;

}

測(cè)試結(jié)果圖三（2）

    首先告訴大家這段代碼是不能編譯通過的，錯(cuò)誤的，我也把錯(cuò)誤信息放了上去，那么這段代碼錯(cuò)誤在那塊呢？我來解釋一下，首先呢，這段代碼也解釋了我前邊說的雖然數(shù)組的三值合一，但其代表的含義是不同的，前邊講了，數(shù)組的數(shù)組名、數(shù)組的首元素的地址，數(shù)據(jù)名的地址三者值一樣。ok，首先我們分別定義了三個(gè)指針變量p1、p2、p3；由于數(shù)組首元素，就是一個(gè)×××元素，所以我們可以用一個(gè)×××指針變量接收數(shù)組首元素的地址，然后，數(shù)組名存儲(chǔ)著數(shù)組首元素的地址，我們就可用一個(gè)同種類型的指針變量接收，換句換說，就相當(dāng)于指針變量之間的賦值；最后，我們一直強(qiáng)調(diào)，數(shù)組名代表整個(gè)數(shù)組，即使三者的值一樣，但是其意義是不一樣的，我們來看測(cè)試代碼三（1）的最后一行，我先說明，就是這行代碼導(dǎo)致編譯不能通過，運(yùn)行結(jié)果如測(cè)試結(jié)果圖三（1）；假如說數(shù)組名不代表整個(gè)數(shù)組，那么對(duì)它取地址是可以賦值給變量p3的，但是程序不能編譯通過，給出了測(cè)試代碼三（1）的下邊的報(bào)錯(cuò)信息，注釋掉那一行后運(yùn)行結(jié)果就好了，代碼如測(cè)試代碼三（2），結(jié)果如測(cè)試結(jié)果三（2）。我們很容易可以看到對(duì)于類型不一樣，不能匹配，好了寫到這里也就解釋的差不多了。最后我把今天寫的總結(jié)一下：

    數(shù)組中的三值合一：數(shù)組名、數(shù)組首元素地址、數(shù)組名的地址。但是三者代表的意義完全不同，數(shù)組名就代表整個(gè)數(shù)組，數(shù)組名中保存首元素的地址，數(shù)組首元素就是代表數(shù)組中首元素。 所以 數(shù)組名取地址 代表針對(duì)整個(gè)數(shù)組取地址，因而當(dāng)對(duì)其求大小時(shí)其大小就是整個(gè)數(shù)組的大小。