C++基礎(chǔ):解密數(shù)組名本質(zhì)

字號(hào):

現(xiàn)在到揭露數(shù)組名本質(zhì)的時(shí)候了,先給出三個(gè)結(jié)論:
    (1)數(shù)組名的內(nèi)涵在于其指代實(shí)體是一種數(shù)據(jù)結(jié)構(gòu),這種數(shù)據(jù)結(jié)構(gòu)就是數(shù)組;
    (2)數(shù)組名的外延在于其可以轉(zhuǎn)換為指向其指代實(shí)體的指針,而且是一個(gè)指針常量;
    (3)指向數(shù)組的指針則是另外一種變量類型(在WIN32平臺(tái)下,長(zhǎng)度為4),僅僅意味著數(shù)組的存放地址!
    1、數(shù)組名指代一種數(shù)據(jù)結(jié)構(gòu):數(shù)組
    現(xiàn)在可以解釋為什么第1個(gè)程序第6行的輸出為10的問(wèn)題,根據(jù)結(jié)論1,數(shù)組名str的內(nèi)涵為一種數(shù)據(jù)結(jié)構(gòu),即一個(gè)長(zhǎng)度為10的char型數(shù)組,所以sizeof(str)的結(jié)果為這個(gè)數(shù)據(jù)結(jié)構(gòu)占據(jù)的內(nèi)存大?。?0字節(jié)。
    再看:
    1.  int  intArray[10];
    2.  cout  < <  sizeof(intArray)  ;
    第2行的輸出結(jié)果為40(整型數(shù)組占據(jù)的內(nèi)存空間大?。?。
    如果C/C++程序可以這樣寫(xiě):
    1.  int[10]  intArray;
    2.  cout  < <  sizeof(intArray)
    ;我們就都明白了,intArray定義為int[10]這種數(shù)據(jù)結(jié)構(gòu)的一個(gè)實(shí)例,可惜啊,C/C++目前并不支持這種定義方式。
    2、數(shù)組名可作為指針常量
    根據(jù)結(jié)論2,數(shù)組名可以轉(zhuǎn)換為指向其指代實(shí)體的指針,所以程序1中的第5行數(shù)組名直接賦值給指針,程序2第7行直接將數(shù)組名作為指針形參都可成立。
    下面的程序成立嗎?
    1.  int  intArray[10];
    2.  intArray++;
    讀者可以編譯之,發(fā)現(xiàn)編譯出錯(cuò)。原因在于,雖然數(shù)組名可以轉(zhuǎn)換為指向其指代實(shí)體的指針,但是它只能被看作一個(gè)指針常量,不能被修改。
    而指針,不管是指向結(jié)構(gòu)體、數(shù)組還是基本數(shù)據(jù)類型的指針,都不包含原始數(shù)據(jù)結(jié)構(gòu)的內(nèi)涵,在WIN32平臺(tái)下,sizeof操作的結(jié)果都是4.
    順便糾正一下許多程序員的另一個(gè)誤解。許多程序員以為sizeof是一個(gè)函數(shù),而實(shí)際上,它是一個(gè)操作符,不過(guò)其使用方式看起來(lái)的確太像一個(gè)函數(shù)了。語(yǔ)句  sizeof(int)就可以說(shuō)明sizeof的確不是一個(gè)函數(shù),因?yàn)楹瘮?shù)接納形參(一個(gè)變量),世界上沒(méi)有一個(gè)C/C++函數(shù)接納一個(gè)數(shù)據(jù)類型(如  int)為 "形參 ".
    3、數(shù)據(jù)名可能失去其數(shù)據(jù)結(jié)構(gòu)內(nèi)涵
    到這里似乎數(shù)組名魔幻問(wèn)題已經(jīng)宣告圓滿解決,但是平靜的湖面上卻再次掀起波浪。請(qǐng)看下面一段程序:. #include 
    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. }
    程序的輸出結(jié)果為4.不可能吧?
    一個(gè)可怕的數(shù)字,前面已經(jīng)提到其為指針的長(zhǎng)度!
    結(jié)論1指出,數(shù)據(jù)名內(nèi)涵為數(shù)組這種數(shù)據(jù)結(jié)構(gòu),在arrayTest函數(shù)體內(nèi),str是數(shù)組名,那為什么sizeof的結(jié)果卻是指針的長(zhǎng)度?這是因?yàn)椋?BR>    (1)數(shù)組名作為函數(shù)形參時(shí),在函數(shù)體內(nèi),其失去了本身的內(nèi)涵,僅僅只是一個(gè)指針;
    (2)很遺憾,在失去其內(nèi)涵的同時(shí),它還失去了其常量特性,可以作自增、自減等操作,可以被修改。
    所以,數(shù)據(jù)名作為函數(shù)形參時(shí),其全面淪落為一個(gè)普通指針!它的貴族身份被剝奪,成了一個(gè)地地道道的只擁有4個(gè)字節(jié)的平民。
    以上就是結(jié)論4.