【文章內(nèi)容簡介】 //OK：重置指針?biāo)傅膶ο髛試圖給const指針賦值會在編譯時(shí)刻被標(biāo)記為錯(cuò)誤：curErr = amp。myErrNumb。 //NG指向const對象的const指針的定義就是將前面兩種定義結(jié)合起來。例如：const double pi = 。const double *const pi_ptr = amp。pi。在這種情況下，pi_ptr指向的對象的值以及它的地址本身都不能被改變。（我們可以從右到左將定義讀作“pi_ptr是指向被定義為const的double類型對象的const指針”。）引用類型引用(reference)有時(shí)候又稱為別名(alias), 它可以用作對象的另一個(gè)名字。通過引用我們可以間接地操縱對象，使用方式類似于指針。但是不需要指針的語法。在實(shí)際的程序中，引用主要被用作函數(shù)的形式參數(shù)通常將類對象傳遞給一個(gè)函數(shù)。引用類型由類型標(biāo)識符和一個(gè)取地址操作符來定義，引用必須被初始化。例如：int ival = 1024。// OK: refVal是一個(gè)指向ival的引用int amp。refval = ival。// NG:引用必須被初始化為指向一個(gè)對象。int amp。refVal2。雖然引用也可以被用作一種指針，但是像對指針那樣用一個(gè)對象的地址初始化引用，卻是錯(cuò)誤的。然而，我們可以定義一個(gè)指針引用，例如：int ival = 1024。// NG: refVal是int類型，不是int*int amp。refVal = amp。ival。int *pi = amp。ival。// OK: ptrVal2是一個(gè)指向指針的引用。int *amp。ptrVal2 = pi。一旦引用已經(jīng)定義，它就不能再指向其他的對象（這是它為什么必須要初始化的原因）。例如，下列的賦值不會使refVal指向min_val, 而是會使refVal指向的對象ival的值被設(shè)置為min_val的值。int min_val = 0。// ival被設(shè)置為min_val的值// refVal并沒有引用到min_val上refVal = min_val。引用的所有操作實(shí)際上都被應(yīng)用在它所指的對象身上，包括取地址操作符。例如：refVal += 2 。將refVal指向的對象ival加2。類似地，如下語句：int ii = refVal。把與ival相關(guān)聯(lián)的值賦給ii，而：int *pi = amp。refVal。用ival的地址初始化pi。每個(gè)引用的定義必須以取地址操作符開始。例如：//定義兩個(gè)int類型的對象int ival =1024, ival2 = 2048。//定義一個(gè)引用和一個(gè)對象int amp。rval = ival, rval2 = ival2。//定義一個(gè)對象、一個(gè)指針和一個(gè)引用int ival3 = 1024, *pi = amp。ival3, amp。ri = ival3。//定義兩個(gè)引用int amp。rval3 = ival3, amp。rval4 = ival2。const引用可以用不同類型的對象初始化（只要能從一種類型轉(zhuǎn)換到另一種類型即可），也可以是不可尋址的值，如文字常量。例如：double dval = 。//僅對于const引用才是合法的。const int amp。ir = 1024。const int amp。ir2 = dval。const double amp。dr = dval + 。同樣的初始化對于非const引用是不合法的，將導(dǎo)致編譯錯(cuò)誤。原因有些微妙，需要適當(dāng)作些解釋。引用在內(nèi)部存放的是一個(gè)對象的地址，它是該對象的別名。對于不可尋址的值，如文字常量，以及不同類型的對象，編譯器為了實(shí)現(xiàn)引用，必須生成一個(gè)臨時(shí)對象，引用實(shí)際上指向該對象，但用戶不能訪問它。例如，當(dāng)我們寫：double dval = 1024。const int amp。ri = dval。編譯器將其轉(zhuǎn)換成：int temp = dval。const int amp。ri = temp。如果我們給ri賦一個(gè)新值，則這樣做不會改變dval，而是改變temp。對用戶來說，就好像修改動(dòng)作沒有生效（這對于用戶來說，這并不總是好事情）。const引用不會暴露這個(gè)問題，因?yàn)樗鼈兪侵蛔x的。不允許非const引用指向需要臨時(shí)對象的對象或值，一般來說，這比“允許定義這樣的引用，但實(shí)際上不會生效”的方案要好得多。 下面給出的例子很難在第一次就能正確聲明。我們希望用一個(gè)const對象的地址來初始化一個(gè)引用。非const引用定義是非法的，將導(dǎo)致編譯時(shí)刻錯(cuò)誤：const int ival = 1024。// NG： 要求一個(gè)const引用。int *amp。pi_ref = amp。ival。下面是我們在打算修正pi_ref定義時(shí)首先想到的語法，但是它不能生效你能看出來這是為什么嗎？const int ival = 1024。// NG： 仍然NG。const int *amp。pi_ref = amp。ival。如果我們從右向左讀這個(gè)定義，會發(fā)現(xiàn)pi_ref是一個(gè)指向定義為const的int型對象的指針。我們的引用不是指向一個(gè)常量，而是指向一個(gè)非常量指針，指針指向一個(gè)const對象。正確的定義如下：const int ival = 1024。// NG： 仍然NG。const int *const amp。pi_ref = amp。ival。指針和引用有兩個(gè)主要區(qū)別：引用必須總是指向一個(gè)對象。如果用一個(gè)引用給另一個(gè)引用賦值，那么改變的是被引用的對象而不是引用本身。讓我們來看幾個(gè)例子。當(dāng)我們這樣寫：int *pi= 0。用0初始化pi – 即：pi當(dāng)前不指向任何對象。但當(dāng)我們寫如下語句時(shí)：const int amp。ri = 0。在內(nèi)部，發(fā)生了以下轉(zhuǎn)換：int temp = 0。const int amp。ri = temp。引用之間的賦值是第二個(gè)不同。當(dāng)給定了以下代碼后：int ival = 1024, ival2 = 2048。int *pi = amp。ival, *pi2 = amp。ival2。我們再寫如下語句：pi = pi2。pi指向的對象ival并沒有被改變。實(shí)際上pi被賦值為指向pi2所指的對象 – 在本例中即ival2。重要的是，現(xiàn)在pi和pi2都指向同一對象。（這是一個(gè)重要的錯(cuò)誤源：如果我們把一個(gè)類對象拷貝給另一個(gè)類對象，而該類有一個(gè)或多個(gè)成員是指針。）但是，假定有下列代碼：int amp。ri = ival, amp。ri2 = ival2。當(dāng)我們寫出這樣的賦值語句時(shí)：ri = ri2。改變的是ival，而不是引用本身。賦值之后，兩個(gè)引用仍然指向原來的對象。實(shí)際的C++程序很少使用指向獨(dú)立對象的引用類型。引用類型主要被用作函數(shù)的形式參數(shù)，例如：// 在實(shí)際的例子中引用是如何被使用的// 返回訪問狀態(tài)將值放入?yún)?shù)bool get_next_value( int amp。next_value )。// 重載加法操作符Matrix operator+( const Matrixamp。, const Matrixamp。 )。這些引用的用法和我們討論的指向獨(dú)立對象的引用類型有什么聯(lián)系呢？在下面這樣的調(diào)用中：int ival。while ( get_next_value( ival )) ...實(shí)際參數(shù)（本例中為ival）同形式參數(shù)next_value的綁定，等價(jià)于下面的獨(dú)立對象定義：int amp。next_value = ival。（引用作為函數(shù)參數(shù)的用法）布爾類型布爾型對象可以被賦予文字值true或false。例如// 初始化一個(gè)string 對象用來存放搜索的結(jié)果string search_word = get_word()。// 把一個(gè)bool 變量初始化為falsebool found = false。string next_word。while ( cin next_word )if ( next_word == search_word )found = true。// ...// 縮寫, 相當(dāng)于: if ( found == true )if ( found )cout ok, we found the word\n。else cout nope, the word was not present.\n。雖然布爾類型的對象也被看作是一種整數(shù)類型的對象，但是它不能被聲明為signed、unsigned、short或long。例如，下列代碼是非法的：// 錯(cuò)誤不能指定bool 為shortshort bool found = false。當(dāng)表達(dá)式需要一個(gè)算術(shù)值時(shí)，布爾對象（如found）和布爾文字都被隱式地提升成int（正如下面的例子）；false變成0，而true變成1。例如：bool found = false。int occurrence_count = 0。while ( /* 條件省略 */ ){found = look_for( /* 內(nèi)容省略 */ )。// found 的值被提升為0 或者1occurrence_count += found。}正如文字false和true能自動(dòng)轉(zhuǎn)換成整數(shù)值0和1一樣，如果有必要，算術(shù)值和指針值也能隱式地被轉(zhuǎn)換成布爾類型的值。0或空指針被轉(zhuǎn)換成false,所有其他的值都被轉(zhuǎn)換成true。例如：// 返回出現(xiàn)次數(shù)extern int find( const stringamp。 )。bool found = false。if ( found = find( rosebud ))// ok: found == true// 如找到返回該項(xiàng)的指針extern int* find( int value )。if ( found = find( 1024 ))// ok: found == true枚舉類型我們在寫程序的時(shí)候，常常需要定義一組與對象相關(guān)的屬性。例如，一個(gè)文件可能會以三種狀態(tài)（輸入、輸出和追加）之一被打開。典型情況下，我們通過把每個(gè)屬性和一個(gè)唯一的const值相關(guān)聯(lián)，來記錄這些狀態(tài)值。因此，我們可能會這樣寫：const int input = 1。const int output = 2。const int append = 3。并按如下方式使用這些常量：bool open_file( string file_name, int open_mode)。// ...open_file( Phoenix_and_the_Crane, append )。盡管這樣做也能奏效，但是它有許多缺點(diǎn)。一個(gè)主要的缺點(diǎn)是，我們沒有辦法限制傳遞給函數(shù)的值只能是input,output和append之一。枚舉(enumeration)提供了一種替代的方法，它不但定義了整數(shù)常量，而且還把它們組成一個(gè)集合。例如：enum open_modes{ input = 1, output, append }。open_modes是一個(gè)枚舉類型。每個(gè)被命名的枚舉定義了一個(gè)唯一的類型，它可以被用作類型標(biāo)識符，例如：void open_file( string file_name, open_modes om )。input, output和append是枚舉成員(enumerator)。它們代表了能用來初始化和賦值open_modes類型變量的值的全集。例如：open_file( Phoenix and the Crane, append )。如果我們試圖向open_file()傳遞一個(gè)input,output, append之外的值，就會產(chǎn)生編譯錯(cuò)誤。而且，如果像下面這樣傳遞一個(gè)相等的整數(shù)值，編譯器仍然將其標(biāo)記為錯(cuò)誤。// 錯(cuò)誤1 不是open_modes 的枚舉成員 ...open_file( Jonah, 1 )。此外，我們還可以聲明枚舉類型對象，如：open_modes om = input。// ...om = append。并用om代替一個(gè)枚舉成員：open_file( TailTell, om )。我們不能做到的是打印枚舉成員的實(shí)際枚舉名。當(dāng)我們這樣寫的時(shí)候：cout input om endl。輸出為：13一種解決方案是定義一個(gè)由枚舉成員的值索引的字符串?dāng)?shù)組。因此，我們可以這樣寫：cout open_modes_table[ input ] open_modes_table[ om ] endl。產(chǎn)生輸出：input append第二件不能做的事情是，我們不能使用枚舉成員進(jìn)行迭代，如：// 不支持for ( open_modes iter = input。 iter != append。 ++iter )// ...C++不支持在枚舉成員之間的前后移動(dòng)。枚舉類型用關(guān)鍵字enum，加上一個(gè)自選的枚舉類型名來定義，類型名后面跟一個(gè)用花括號括起來的枚舉成員列表，枚舉成員之間用逗號分開。在缺省情況下，第一個(gè)枚舉成員被賦以值0，后面的每個(gè)枚舉成員依次比前面的大1。在前面的例子中，賦給input值1，output值2，append值3。下面的枚舉成員shape與0相關(guān)，sphere是1，cylinder是2，polygon是3。// shape == 0, sphere == 1, cylinder == 2, polygon == 3enum Forms{ shape, sphere, cylinder, polygon }。我們也可以顯式地把一個(gè)值賦給一個(gè)枚舉成員。這個(gè)值不必是唯一的。下面