2.1 基本內(nèi)置類型

• 算術(shù)類型（arithmetictype）和空類型（void）在內(nèi)的基本數(shù)據(jù)類型。其中算術(shù)類型包含了字符、整型數(shù)、布爾值和浮點(diǎn)數(shù)。空類型不對(duì)應(yīng)具體的值，僅用于一些特殊的場(chǎng)合，例如最常見的是，當(dāng)函數(shù)不返回任何值時(shí)使用空類型作為返回類型。

2.1.1算術(shù)類型

• 算術(shù)類型分為兩類：整型（integraltype,包括字符和布爾類型在內(nèi)）和浮點(diǎn)型。算術(shù)類型的尺寸（也就是該類型數(shù)據(jù)所占的比特?cái)?shù)）在不同機(jī)器上有所差別。表2.1列出了C++標(biāo)準(zhǔn)規(guī)定的尺寸的最小值，同時(shí)允許編譯器賦予這些類型更大的尺寸。某一類型所占的比特?cái)?shù)不同，它所能表示的數(shù)據(jù)范圍也不一樣

• 類型char和類型signed char并不一樣。盡管字符型有三種，但 是字符的表現(xiàn)形式卻只有兩種：帶符號(hào)的和無符號(hào)的。類型char實(shí)際上會(huì)表現(xiàn)為上述兩 種形式中的一種，具體是哪種由編譯器決定。
• 無符號(hào)類型中所有比特都用來存儲(chǔ)值，例如，8比特的unsigned? char可以表示0至255區(qū)間內(nèi)的值。C++標(biāo)準(zhǔn)并沒有規(guī)定帶符號(hào)類型應(yīng)如何表示，但是約定了在表示范圍內(nèi)正值和負(fù)值的
  量應(yīng)該平衡。因此，8比特的signed char理論上應(yīng)該可以表示-127至127區(qū)間內(nèi)的值，大多數(shù)現(xiàn)代計(jì)算機(jī)將實(shí)際的表示范圍定為-128至127。

如何選擇類型

• ?當(dāng)明確知曉數(shù)值不可能為負(fù)時(shí)，選用無符號(hào)類型。
• 使用int執(zhí)行整數(shù)運(yùn)算。在實(shí)際應(yīng)用中,short常常顯得太小而long-般和int有一樣的尺寸。如果你的數(shù)值超過了int的表示范圍，選用longlong。
• 在算術(shù)表達(dá)式中不要使用char或bool,只有在存放字符或布爾值時(shí)才使用它們。因?yàn)轭愋蚦har在一些機(jī)器上是有符號(hào)的，而在另一些機(jī)器上又是無符號(hào)的，所以如果使用char進(jìn)行運(yùn)算特別容易出問題。如果你需要使用一個(gè)不大的整數(shù)，那么明確指定它的類型是signed char或者unsigned char。
• 執(zhí)行浮點(diǎn)數(shù)運(yùn)算選用double,這是因?yàn)閒loat通常精度不夠而且雙精度浮點(diǎn)數(shù)和單精度浮點(diǎn)數(shù)的計(jì)算代價(jià)相差無幾。事實(shí)上，對(duì)于某些機(jī)器來說，雙精度運(yùn)算甚至比單精度還快。long double提供的精度在一般情況下是沒有必要的，況且它帶來的運(yùn)行時(shí)消耗也不容忽視。

類型轉(zhuǎn)化

• 當(dāng)我們把一個(gè)非布爾類型的算術(shù)值賦給布爾類型時(shí)，初始值為0則結(jié)果為false,否則結(jié)果為true
• 當(dāng)我們把一個(gè)布爾值賦給非布爾類型時(shí)，初始值為false則結(jié)果為0,初始值為true則結(jié)果為1
• 當(dāng)我們把一個(gè)浮點(diǎn)數(shù)賦給整數(shù)類型時(shí)，進(jìn)行了近似處理。結(jié)果值將僅保留浮點(diǎn)數(shù)中小數(shù)點(diǎn)之前的部分。
• 當(dāng)我們把一個(gè)整數(shù)值賦給浮點(diǎn)類型時(shí)，小數(shù)部分記為0。如果該整數(shù)所占的空間超過了浮點(diǎn)類型的容量，精度可能有損失。
• 我們賦給無符號(hào)類型一個(gè)超出它表示范圍的值時(shí)，結(jié)果是初始值對(duì)無符號(hào)類型表示數(shù)值總數(shù)取模后的余數(shù)。例如，8比特大小的unsigned char可以表示0至255區(qū)間內(nèi)的值，如果我們賦了一個(gè)區(qū)間以外的值，則實(shí)際的結(jié)果是該值對(duì)256取模后所得的余數(shù)。因此，把-1賦給8比特大小的unsigned char所得的結(jié)果是255。
• 當(dāng)我們賦給帶符號(hào)類型一個(gè)超出它表示范圍的值時(shí)，結(jié)果是未定義的（undefined）此時(shí)，程序可能繼續(xù)工作、可能崩潰，也可能生成垃圾數(shù)據(jù)。

2.1.3字而值常量

• 一個(gè)形如42的值被稱作字面值常量（literal）,這樣的值一望而知。每個(gè)字面值常量都對(duì)應(yīng)一種數(shù)據(jù)類型，字面值常量的形式和值決定了它的數(shù)據(jù)類型。

• 注意，如果反斜線'后面跟著的八進(jìn)制數(shù)字超過3個(gè)，只有前3個(gè)數(shù)字與'構(gòu)成轉(zhuǎn)義序列。
• 例如，"\1234"表示2個(gè)字符，即八進(jìn)制數(shù)123對(duì)應(yīng)的字符以及字符4。相反，\x要用到后面跟著的所有數(shù)字，例如，"\xl234"表示一個(gè)16位的字符，該字符由這4個(gè)十六進(jìn)制數(shù)所對(duì)應(yīng)的比特唯一確定。因?yàn)榇蠖鄶?shù)機(jī)器的char型數(shù)據(jù)占8位，所以上面這個(gè)例子可能會(huì)報(bào)錯(cuò)。一般來說，超過8位的十六進(jìn)制字符都是與表2.2中某個(gè)前綴作為開頭的擴(kuò)展字符集一起使用的。

• 對(duì)于一個(gè)整型字面值來說，我們能分別指定它是否帶符號(hào)以及占用多少空間。如果后綴中有U,則該字面值屬于無符號(hào)類型，也就是說，以U為后綴的十進(jìn)制數(shù)、八進(jìn)制數(shù)或十六進(jìn)缶I擻都將從unsigned int、unsigned long和unsigned long long中選擇能匹配的空間最小的一個(gè)作為其數(shù)據(jù)類型。如果后綴中有L,則字面值的類型至少是long；
• 如果后綴中有LL,則字面值的類型將是long long和unsigned long long中的一種。
• 顯然我們可以將U與L或LL合在一起使用。例如，以UL為后綴的字面值的數(shù)據(jù)類型將根據(jù)具體數(shù)值情況或者取unsigned long,或者取unsigned long long

2.2 變量

• 變量定義的基本形式是：首先是類型說明符(typespecifier),隨后緊跟由一個(gè)或多個(gè)變量名組成的列表，其中變量名以逗號(hào)分隔，最后以分號(hào)結(jié)束。列表中每個(gè)變量名的類型都由類型說明符指定，定義時(shí)還可以為一個(gè)或多個(gè)變量賦初值：

• 初始化不是賦值，初始化的含義是創(chuàng)建變量時(shí)賦予其一個(gè)初始值，而賦值的含篇點(diǎn)義是把對(duì)象的當(dāng)前值擦除，而以一個(gè)新值來替代

列表初始化

• C++語言定義了初始化的好幾種不同形式，這也是初始化問題復(fù)雜性體現(xiàn)。例如，要想定義一個(gè)名為units_sold的int變量并初始化為0,以下的4條語句都可以做到這一點(diǎn)：
• int units_sold = 0;
• int units_sold = {0};
• int units_sold{0};
• int units_sold(0);
• 用花括號(hào)來初始化變量得到了全面應(yīng)用，而在此之前，這種初始化的形式僅在某些受限的場(chǎng)合下才能使用，這種方式叫做列表初始化
• 無論是初始化對(duì)象還是某些時(shí)候?yàn)閷?duì)象賦新值，都可以使用這樣一組由花括號(hào)括起來的初始值

默認(rèn)初始化

• 如果定義變量時(shí)沒有指定初值，則變量被默認(rèn)初始化（defaultinitialized）,此時(shí)變量被賦予了“默認(rèn)值”。默認(rèn)值到底是什么由變量類型決定，同時(shí)定義變量的位置也會(huì)對(duì)此有影響。
• 定義于函數(shù)體內(nèi)的內(nèi)置類型的對(duì)象如果沒有初始化，則其值未定義。類的對(duì)象如果沒有顯式地初始化，則其值由類確定：

2 .2 .2 變量聲明和定義的關(guān)系

• 聲明(declaration)使得名字為程序所知，一個(gè)文件如果想使用別處定義的名字則必須包含對(duì)那個(gè)名字的聲明。而定義(definition)負(fù)責(zé)創(chuàng)建與名字關(guān)聯(lián)的實(shí)體。
• 變量聲明規(guī)定了變量的類型和名字，在這一點(diǎn)上定義與之相同。但是除此之外，定義還申請(qǐng)存儲(chǔ)空間，也可能會(huì)為變量賦一個(gè)初始值。
• 如果想聲明一個(gè)變量而非定義它，就在變量名前添加關(guān)鍵字extern,而且不要顯式地初始化變量：
• extern int i; / / 聲 明 i 而非定義i
• int j; / / 聲明并定義j
• 任何包含了顯式初始化的聲明即成為定義。我們能給由extern 關(guān)鍵字標(biāo)記的變量賦 一個(gè)初始值，但是這么做也就抵消了extern 的作用。extern語句如果包含初始值就不再是聲明，而變成定義了：
• extern double pi = 3.1416; // 定義? 在函數(shù)體內(nèi)部，如果試圖初始化一個(gè)由extern關(guān)鍵字標(biāo)記的變量，將引發(fā)錯(cuò)誤
• 變量能且只能被定義一次，但是可以被多次聲明
• 聲明和定義的區(qū)別看起來也許微不足道，但實(shí)際上卻非常重要。如果要在多個(gè)文件中使用同一個(gè)變量，就必須將聲明和定義分離。此時(shí)，變量的定義必須出現(xiàn)在且只能出現(xiàn)在一個(gè)文件中，而其他用到該變量的文件必須對(duì)其進(jìn)行聲明，卻絕對(duì)不能重復(fù)定義。

2 .2 .3 標(biāo)識(shí)符

• C++的標(biāo)識(shí)符(identifier)由字母、數(shù)字和下畫線組成，其中必須以字母或下畫線開 頭。標(biāo)識(shí)符的長(zhǎng)度沒有限制，但是對(duì)大小寫字母敏感：
• 用戶自定義的標(biāo)識(shí)符中不能連續(xù)出現(xiàn)兩個(gè)下畫線，也不能以下畫線緊連大寫字母開頭。
• 此外，定義在函數(shù)體外的標(biāo)識(shí)符不能以下畫線開頭。

變量命名規(guī)范

2 .2 .4 名字的作用域

• 不論是在程序的什么位置，使用到的每個(gè)名字都會(huì)指向一個(gè)特定的實(shí)體：變量、函數(shù)類型等。然而，同一個(gè)名字如果出現(xiàn)在程序的不同位置，也可能指向的是不同實(shí)體
• 作用域(scope)是程序的一部分，在其中名字有其特定的含義。C++語言中大多數(shù)作 用域都以花括號(hào)分隔。
• 同一個(gè)名字在不同的作用域中可能指向不同的實(shí)體。名字的有效區(qū)域始于名字的聲明語句，以聲明語句所在的作用域末端為結(jié)束。

• 作用域能彼此包含，被包含(或者說被嵌套)的作用域稱為內(nèi)層作用域(innerscope), 包含著別的作用域的作用域稱為外層作用域 (outer scope)

• 使用作用域操作符(參見1.2節(jié)，第7頁)來覆蓋默認(rèn)的作用域規(guī)則，因?yàn)槿肿饔糜虮旧聿]有名字，所以當(dāng)作用域操作符的左側(cè)為空時(shí)，向全局作用域發(fā)出請(qǐng)求獲取作用域操作符右側(cè)名字對(duì)應(yīng)的變量。結(jié)果是，第三條輸出語句使用全局變量reused,輸出420。

2.3 復(fù)合類型

• 復(fù)合類型(compound type)是指基于其他類型定義的類型。C++語言有幾種復(fù)合類型， 本章將介紹其中的兩種：引用和指針
• 一條聲明語句由一個(gè)基本數(shù)據(jù)類型(basetype)和緊隨其后的一個(gè)聲明符(declarator)列表組成。每個(gè)聲明符命名了一個(gè)變量并指定該變量為與基本數(shù)據(jù)類型有關(guān)的某種類型。

2 .3 .1 引用

• 引 用 (reference)為對(duì)象起了另外一個(gè)名字，引用類型引用(refers to )另外一種類型。 通過將聲明符寫成&d的形式來定義引用類型，其中d 是聲明的變量名：
• int ival = 1024;
• int &refVal = ival;?// refVal指 向 ival (是 ival的另一個(gè)名字)?
• int &refVal2; / / 報(bào)錯(cuò)：引用必須被初始化
• 在初始化變量時(shí)，初始值會(huì)被拷貝到新建的對(duì)象中。然而定義引用時(shí)，程序把引用和它的初始值綁定(bind)在一起，而不是將初始值拷貝給引用。一旦初始化完成，引用將 和它的初始值對(duì)象一直綁定在一起。因?yàn)闊o法令引用重新綁定到另外一個(gè)對(duì)象，因此引用必須初始化。
• 引用并非對(duì)象，相反的，它只是為一個(gè)已經(jīng)存在的對(duì)象所起的另外一個(gè)名字

2.3.2 指針

• 指針（pointer）是“指向（pointto）”另外一種類型的復(fù)合類型。與引用類似，指針也實(shí)現(xiàn)了對(duì)其他對(duì)象的間接訪問。然而指針與引用相比又有很多不同點(diǎn)。
• 其一，指針本身就是一個(gè)對(duì)象，允許對(duì)指針賦值和拷貝，而且在指針的生命周期內(nèi)它可以先后指向幾個(gè)不同的對(duì)象。其二，指針無須在定義時(shí)賦初值。和其他內(nèi)置類型一樣，在塊作用域內(nèi)定義的指針如果沒有被初始化，也將擁有一個(gè)不確定的值。
• 指針存放某個(gè)對(duì)象的地址，要想獲取該地址，需要使用取地址符（操作符&）

空指針

• 空指針（null pointer） 不指向任何對(duì)象，在試圖使用一個(gè)指針之前代碼可以首先檢查 它是否為空。以下列出幾個(gè)生成空指針的方法：
• int *pl =?nullptr; / / 等 價(jià) 于 int *pl =0;
• int *p2 =0; / / 直接將p2 初始化為字面常量0
• int *p3 = NULL; / / 等 價(jià) 于 int *p3 = o；?//需 要 首 先 #include cstdlib
• 得到空指針最直接的辦法就是用字面值nullptor來初始化指針，這也是C++11新標(biāo)準(zhǔn)剛 剛引入的一種方法。nullptor是一種特殊類型的字面值，它可以被轉(zhuǎn)換成任意其他的指針類型。另一種辦法就如對(duì)p2 的定義一樣，也可以通過將指針初始化為字面值0 來生成空指針
• 預(yù)處理器是運(yùn)行于編譯過程之前的一段程序就可以了。預(yù)處理變量不屬于命名空間s td ,它由預(yù)處理 器負(fù)責(zé)管理，因此我們可以直接使用預(yù)處理變量而無須在前面加上s td ::
• 當(dāng)用到一個(gè)預(yù)處理變量時(shí)，預(yù)處理器會(huì)自動(dòng)地將它替換為實(shí)際值，因此用NULL初始化指針和用0 初始化指針是一樣的。在新標(biāo)準(zhǔn)下，現(xiàn)在的C++程序最好使用nullptor, 同時(shí)盡量避免使用NULL。把 i n t 變量直接賦給指針是錯(cuò)誤的操作，即使i n t 變量的值恰好等于0 也不行

• 有時(shí)候要想搞清楚一條賦值語句到底是改變了指針的值還是改變了指針?biāo)笇?duì)象的值不太容易，最好的辦法就是記住賦值永遠(yuǎn)改變的是等號(hào)左側(cè)的對(duì)象。當(dāng)寫出如下語句時(shí),
• pi = &ival; // pi的值被改變，現(xiàn)在 pi指向了 ival，意思是為pi賦一個(gè)新的值，也就是改變了那個(gè)存放在pi內(nèi)的地址值。相反的，如果寫出如下語句
• *pi = 0; // ival的值被改變，指 針 pi并沒有改變，則*pi（也就是指針pi指向的那個(gè)對(duì)象）發(fā)生改變。

void* 指針

• void*是一種特殊的指針類型，可用于存放任意對(duì)象的地址。一個(gè)void*指針存放著 一個(gè)地址，這一點(diǎn)和其他指針類似。不同的是，我們對(duì)該地址中到底是個(gè)什么類型的對(duì)象并不了解：
• 利用void*指針能做的事兒比較有限：拿它和別的指針比較、作為函數(shù)的輸入或輸出，或 者賦給另外一個(gè)void*指針。不能直接操作void*指針?biāo)傅膶?duì)象，因?yàn)槲覀儾⒉恢?這個(gè)對(duì)象到底是什么類型，也就無法確定能在這個(gè)對(duì)象上做哪些操作。

2.3.3理解復(fù)合類型的聲明擊

• 如前所述，變量的定義包括一個(gè)基本數(shù)據(jù)類型(base type)和一組聲明符。在同一條定義語句中，雖然基本數(shù)據(jù)類型只有一個(gè)，但是聲明符的形式卻可以不同。也就是說，一條定義語句可能定義出不同類型的變量；
• int i=1024,*p=&i,&r=i;??//i是一個(gè)int型的數(shù)，p是一個(gè)int型指針，r是一個(gè)int型引用

指向指針的指針

• 一般來說，聲明符中修飾符的個(gè)數(shù)并沒有限制。當(dāng)有多個(gè)修飾符連寫在一起時(shí)，按照其邏輯關(guān)系詳加解釋即可。以指針為例，指針是內(nèi)存中的對(duì)象，像其他對(duì)象一樣也有自己的地址，因此允許把指針的地址再存放到另一個(gè)指針當(dāng)中。

指向指針的引用

• 引用本身不是一個(gè)對(duì)象，因此不能定義指向引用的指針。但指針是對(duì)象，所以存在對(duì)指針的引用：

• 要理解r 的類型到底是什么，最簡(jiǎn)單的辦法是從右向左閱讀r 的定義。離變量名最近的符 號(hào)(此例中是& r 的符號(hào)&)對(duì)變量的類型有最直接的影響，因此r 是一個(gè)引用。聲明符的 其余部分用以確定r 引用的類型是什么，此例中的符號(hào)*說明r 引用的是一個(gè)指針。最后, 聲明的基本數(shù)據(jù)類型部分指出r 引用的是一個(gè)int指針

2.4 const限定符

• 有時(shí)我們希望定義這樣一種變量，它的值不能被改變。例如，用一個(gè)變量來表示緩沖區(qū)的大小。使用變量的好處是當(dāng)我們覺得緩沖區(qū)大小不再合適時(shí)，很容易對(duì)其進(jìn)行調(diào)整。另一方面，也應(yīng)隨時(shí)警惕防止程序一不小心改變了這個(gè)值。為了滿足這一要求，可以用關(guān)鍵字const對(duì)變量的類型加以限定：
• const int bufSize = 512; // 輸入緩沖區(qū)大小
• 這樣就把bufSize定義成了一個(gè)常量。任何試圖為bufSize賦值的行為都將引發(fā)錯(cuò)誤:
• bufSize = 512; / / 錯(cuò)誤：試 圖 向 const對(duì)象寫值，因?yàn)閏onst對(duì)象一旦創(chuàng)建后其值就不能再改變，所以const對(duì)象必須初始化。一如既往, 初始值可以是任意復(fù)雜的表達(dá)式：

初始化和const

• 正如之前反復(fù)提到的，對(duì)象的類型決定了其上的操作。與非const類型所能參與的操作相比，const類型的對(duì)象能完成其中大部分，但也不是所有的操作都適合。主要的限制就是只能在const類型的對(duì)象上執(zhí)行不改變其內(nèi)容的操作。例如，const int和普通的int一樣都能參與算術(shù)運(yùn)算，也都能轉(zhuǎn)換成一個(gè)布爾值，等等。在不改變const對(duì)象的操作中還有一種是初始化，如果利用一個(gè)對(duì)象去初始化另外一個(gè)對(duì)象，則它們是不是const都無關(guān)緊要：
• int i=42;const int ci=i;int j=ci;//正確：i的值被拷貝給了ci//正確：ci的值被拷貝給了j
• 盡管c i 是整型常量，但無論如何c i 中的值還是一個(gè)整型數(shù)。c i 的常量特征僅僅在執(zhí)行 改變c i 的操作時(shí)才會(huì)發(fā)揮作用。當(dāng)用c i 去初始化j 時(shí)，根本無須在意ci 是不是一個(gè)常 量。拷貝一個(gè)對(duì)象的值并不會(huì)改變它，一旦拷貝完成，新的對(duì)象就和原來的對(duì)象沒什么關(guān)系了。
• 默認(rèn)狀態(tài)下，const對(duì)象僅在文件內(nèi)有效，當(dāng)以編譯時(shí)初始化的方式定義一個(gè)const對(duì)象時(shí)，就如對(duì)bufSize的定義一樣：
• const對(duì)象被設(shè)定為僅在文件內(nèi)有效。當(dāng) 多個(gè)文件中出現(xiàn)了同名的const變量時(shí)，其實(shí)等同于在不同文件中分別定義了獨(dú)立的變量。?
• 某些時(shí)候有這樣一種const變量，它的初始值不是一個(gè)常量表達(dá)式，但又確實(shí)有必 要在文件間共享。這種情況下，我們不希望編譯器為每個(gè)文件分別生成獨(dú)立的變量。相反，我們想讓這類const對(duì)象像其他(非常量)對(duì)象一樣工作，也就是說，只在一個(gè)文件中 定義const.而在其他多個(gè)文件中聲明并使用它。 解決的辦法是，對(duì)于const變量不管是聲明還是定義都添加extern關(guān)鍵字，這樣 只需定義一次就可以了：

2.4.1 const 的引用

• 可以把引用綁定到const對(duì)象上，就像綁定到其他對(duì)象上一樣，我們稱之為對(duì)常量的引用(reference to const)。與普通引用不同的是，對(duì)常量的引用不能被用作修改它所綁定的對(duì)象：
• const int ci = 1024;
• const int &r 1 = ci; / / 正確：引用及其對(duì)應(yīng)的對(duì)象都是常量
• rl = 42;??/ / 錯(cuò)誤：rl是對(duì)常量的引用?
• int &r2 = ci;/ 錯(cuò)誤：試圖讓一個(gè)非常量引用指向一個(gè)常量對(duì)象
• 因?yàn)椴辉试S直接為c i 賦值，當(dāng)然也就不能通過引用去改變c i。因此，對(duì) r2 的初始化是錯(cuò)誤的。假設(shè)該初始化合法，則可以通過r2 來改變它引用對(duì)象的值，這顯然是不正確的。

初始化和對(duì)const的引用

• 2.3.1節(jié)（第46頁）提到，引用的類型必須與其所引用對(duì)象的類型一致，但是有兩個(gè)例外。第一種例外情況就是在初始化常量引用時(shí)允許用任意表達(dá)式作為初始值，只要該表達(dá)式的結(jié)果能轉(zhuǎn)換成（參見2.1.2節(jié)，第32頁）引用的類型即可。尤其，允許為一個(gè)常量引用綁定非常量的對(duì)象、字面值，甚至是個(gè)一般表達(dá)式：
• int i=42;
• const int &r1 = i；//允許將const int&綁定到一個(gè)普通int對(duì)象上
• const int &r2 = 42;//正確：r2是一個(gè)常量引用
• const int &r3 = rl*2;：//正確 r3是一個(gè)常量引用
• in t&r4 = rl*2;? //錯(cuò)誤：r4是一個(gè)普通的非常量引用
• 要想理解這種例外情況的原因，最簡(jiǎn)單的辦法是弄清楚當(dāng)一個(gè)常量引用被綁定到另外一種類型上時(shí)到底發(fā)生了什么：
• double dval=3.14; const int &ri=dval;此處ri引用了一個(gè)int型的數(shù)。對(duì)ri的操作應(yīng)該是整數(shù)運(yùn)算，但dval卻是一個(gè)雙精度浮點(diǎn)數(shù)而非整數(shù)。因此為了確保讓ri綁定一個(gè)整數(shù)，編譯器把上述代碼變成了如下形式：const int temp=dval;//由雙精度浮點(diǎn)數(shù)生成一個(gè)臨時(shí)的整型常量? ? const int &ri=temp;//讓ri綁定這個(gè)臨時(shí)量
• 在這種情況下，ri綁定了一個(gè)臨時(shí)量（temporary）對(duì)象。所謂臨時(shí)量對(duì)象就是當(dāng)編譯器需要一個(gè)空間來暫存表達(dá)式的求值結(jié)果時(shí)臨時(shí)創(chuàng)建的一個(gè)未命名的對(duì)象。
• C++程序員們常常把臨時(shí)量對(duì)象簡(jiǎn)稱為臨時(shí)量。
• 接下來探討當(dāng)ri不是常量時(shí)，如果執(zhí)行了類似于上面的初始化過程將帶來什么樣的后果。如果ri不是常量，就允許對(duì)ri賦值，這樣就會(huì)改變r(jià)i所引用對(duì)象的值。注意，此時(shí)綁定的對(duì)象是一個(gè)臨時(shí)量而非dval。程序員既然讓ri引用dval,就肯定想通過ri改變dval的值，否則干什么要給ri賦值呢？如此看來，既然大家基本上不會(huì)想著把引用綁定到臨時(shí)量上，C++語言也就把這種行為歸為非法。

對(duì)const的引用可能引用一個(gè)并非const的對(duì)象

• 必須認(rèn)識(shí)到，常量引用僅對(duì)引用可參與的操作做出了限定，對(duì)于引用的對(duì)象本身是不是一個(gè)常量未作限定。因?yàn)閷?duì)象也可能是個(gè)非常量，所以允許通過其他途徑改變它的值：

• r2綁定（非常量）整數(shù)i是合法的行為。然而，不允許通過r2修改i的值。盡管如此,i的值仍然允許通過其他途徑修改，既可以直接給i賦值，也可以通過像r1一樣綁定到i的其他引用來修改。

2.4.2指針和const

• 與引用一樣，也可以令指針指向常量或非常量。類似于常量引用（參見2.4.1節(jié)，第54頁），指向常量的指針（pointertoconst）不能用于改變其所指對(duì)象的值。要想存放常量對(duì)象的地址，只能使用指向常量的指針：

• 2.3.2節(jié) （第 47頁）提到，指針的類型必須與其所指對(duì)象的類型一致，但是有兩個(gè)例外。第一種例外情況是允許令一個(gè)指向常量的指針指向一個(gè)非常量對(duì)象：
• double dval = 3.14; // dval是一個(gè)雙精度浮點(diǎn)數(shù)，它的值可以改變
• cptr = &dval; / / 正確：但是不能通過cptr改變 dval的值
• 和常量引用一樣，指向常量的指針也沒有規(guī)定其所指的對(duì)象必須是一個(gè)常量。所謂指向常量的指針僅僅要求不能通過該指針改變對(duì)象的值，而沒有規(guī)定那個(gè)對(duì)象的值不能通過其他途徑改變。所謂指向常量的指針或引用，不過是指針或引用“自作多情”罷了，它們覺得自己指向了常量，所以自覺地不去改變所指對(duì)象的值。

const指針

• 指針是對(duì)象而引用不是，因此就像其他對(duì)象類型一樣，允許把指針本身定為常量。常量指針（constpointer）必須初始化，而且一旦初始化完成，則它的值（也就是存放在指針中的那個(gè)地址）就不能再改變了。把*放在const關(guān)鍵字之前用以說明指針是一個(gè)常量，這樣的書寫形式隱含著一層意味，即不變的是指針本身的值而非指向的那個(gè)值：也就是我指向了你，一輩子就認(rèn)定了你，但是你會(huì)變，變得很陌生

• 如同2.3.3節(jié)（第52頁）所講的，要想弄清楚這些聲明的含義最行之有效的辦法是從右向左閱讀。此例中，離curErr最近的符號(hào)是const,意味著curErr本身是一個(gè)常量對(duì)象，對(duì)象的類型由聲明符的其余部分確定。聲明符中的下一個(gè)符號(hào)是*,意思是curErr是一個(gè)常量指針。最后，該聲明語句的基本數(shù)據(jù)類型部分確定了常量指針指向的是一個(gè)int對(duì)象。與之相似，我們也能推斷出，pip是一個(gè)常量指針，它指向的對(duì)象是一個(gè)雙精度浮點(diǎn)型常量。
• 指針本身是一個(gè)常量并不意味著不能通過指針修改其所指對(duì)象的值，能否這樣做完全依賴于所指對(duì)象的類型。例如，pip是一個(gè)指向常量的常量指針，則不論是pip所指的對(duì)象值還是pip自己存儲(chǔ)的那個(gè)地址都不能改變。相反的，curErr指向的是一個(gè)一般的非常量整數(shù)，那么就完全可以用curErr去修改errNumb的值

2.4.3頂層const

• 如前所述，指針本身是一個(gè)對(duì)象，它又可以指向另外一個(gè)對(duì)象。因此，指針本身是不是常量以及指針?biāo)傅氖遣皇且粋€(gè)常量就是兩個(gè)相互獨(dú)立的問題。用名詞頂層const表示指針本身是個(gè)常量，而用名詞底層const表示指針?biāo)傅膶?duì)象是一個(gè)常量。
• 更一般的，頂層const可以表示任意的對(duì)象是常量，這一點(diǎn)對(duì)任何數(shù)據(jù)類型都適用，如算術(shù)類型、類、指針等。底層const則與指針和引用等復(fù)合類型的基本類型部分有關(guān)。比較特殊的是，指針類型既可以是頂層const也可以是底層const,這一點(diǎn)和其他類型相比區(qū)別明顯：

• const int *p2 = &ci;? const int 表示我要存儲(chǔ)的變量的類型是const int類型的，因此可以指向ci，ci是const int類型的
• const int * const p3 = p2; / / 靠右的 const 是頂層 const,靠左的是底層
• const const int &r = ci; / / 用于聲明引用的const都是底層const
• 當(dāng)執(zhí)行對(duì)象的拷貝操作時(shí)，常量是頂層const還是底層const區(qū)別明顯。其中，頂 層const不受什么影響：
• i = ci; / / 正確：拷貝 ci的值，ci是一個(gè)頂層const, 對(duì)此操作無影響? ?單純拷貝數(shù)值
• p2 = p3; / / 正確：p2和 p3指向的對(duì)象類型相同，p3頂層 const的部分不影響
• 執(zhí)行拷貝操作并不會(huì)改變被拷貝對(duì)象的值，因此，拷入和拷出的對(duì)象是否是常量都沒什么影響。
• 另一方面，底層const的限制卻不能忽視。當(dāng)執(zhí)行對(duì)象的拷貝操作時(shí)，拷入和拷出的對(duì)象必須具有相同的底層const資格，或者兩個(gè)對(duì)象的數(shù)據(jù)類型必須能夠轉(zhuǎn)換。一般來說，非常量可以轉(zhuǎn)換成常量，反之則不行：

• p3既是頂層const也是底層const,拷貝p3時(shí)可以不在乎它是一個(gè)頂層const,但是必須清楚它指向的對(duì)象得是一個(gè)常量。因此，不能用p3去初始化p,因?yàn)閜指向的是一個(gè)普通的（非常量）整數(shù)。另一方面，p3的值可以賦給p2,是因?yàn)檫@兩個(gè)指針都是底層const,盡管p3同時(shí)也是一個(gè)常量指針（頂層const）,僅就這次賦值而言不會(huì)有什么影響

2.4.4 constexpr和常量表達(dá)式

• 常量表達(dá)式（const expression）是指值不會(huì)改變并且在編譯過程就能得到計(jì)算結(jié)果的表達(dá)式。顯然，字面值屬于常量表達(dá)式，用常量表達(dá)式初始化的const對(duì)象也是常量表達(dá)式。后面將會(huì)提到，C++語言中有幾種情況下是要用到常量表達(dá)式的。
• 一個(gè)對(duì)象（或表達(dá)式）是不是常量表達(dá)式由它的數(shù)據(jù)類型和初始值共同決定，例如
• const int max_files = 20; // max_files 是常量表達(dá)式
• const int limit = max_files + 1; // limit 是常量表達(dá)式
• int staff_size = 27; // staff_size 不是常量表達(dá)式
• const int sz = get_size （） ; // sz 不是常量表達(dá)式
• 盡管staff_size的初始值是個(gè)字面值常量，但由于它的數(shù)據(jù)類型只是一個(gè)普通int而非const int,所以它不屬于常量表達(dá)式。另一方面，盡管sz本身是一個(gè)常量，但它的具體值直到運(yùn)行時(shí)才能獲取到，所以也不是常量表達(dá)式。

constexpr變量

• 在一個(gè)復(fù)雜系統(tǒng)中，很難（幾乎肯定不能）分辨一個(gè)初始值到底是不是常量表達(dá)式。
• 當(dāng)然可以定義一個(gè)const變量并把它的初始值設(shè)為我們認(rèn)為的某個(gè)常量表達(dá)式，但在實(shí)際使用時(shí)，盡管要求如此卻常常發(fā)現(xiàn)初始值并非常量表達(dá)式的情況。可以這么說，在此種情況下，對(duì)象的定義和使用根本就是兩回事兒。
• C++11新標(biāo)準(zhǔn)規(guī)定，允許將變量聲明為constexpr類型以便由編譯器來驗(yàn)證變量的值是否是一個(gè)常量表達(dá)式。聲明為constexpr的變量一定是一個(gè)常量，而且必須用常量表達(dá)式初始化：
• constexpr int mf = 20; // 20 是常量表達(dá)式
• constexpr int limit = mf + 1; // mf + 1 是常量表達(dá)式
• constexpr int sz = size （） ; // 只有當(dāng) size 是一個(gè) constexpr 函數(shù)時(shí)，才是一條正確的聲明語句
• 盡管不能使用普通函數(shù)作為constexpr變量的初始值，但是正如6.5.2節(jié)（第214頁）將要介紹的，新標(biāo)準(zhǔn)允許定義一種特殊的constexpr函數(shù)。這種函數(shù)應(yīng)該足夠簡(jiǎn)單以使得編譯時(shí)就可以計(jì)算其結(jié)果，這樣就能用constexpr函數(shù)去初始化constexpr變量了。
• 一般來說, 如果你認(rèn)定變量是一個(gè)常量表達(dá)式，那就把它聲明成constexpr類型

字面值類型

• 常量表達(dá)式的值需要在編譯時(shí)就得到計(jì)算，因此對(duì)聲明constexpr時(shí)用到的類型必須有所限制。因?yàn)檫@些類型一般比較簡(jiǎn)單，值也顯而易見、容易得到，就把它們稱為“字面值類型
• 到目前為止接觸過的數(shù)據(jù)類型中，算術(shù)類型、引用和指針都屬于字面值類型。自定義類Sales_item、IO庫、string類型則不屬于字面值類型，也就不能被定義成constexpr。其他一些字面值類型將在7.5.6節(jié)（第267頁）和19.3節(jié)（第736頁）介紹。盡管指針和引用都能定義成constexpr,但它們的初始值卻受到嚴(yán)格限制。一個(gè)constexpr指針的初始值必須是nullptr或者0,或者是存儲(chǔ)于某個(gè)固定地址中的對(duì)象。6.1.1節(jié)（第184頁）將要提到，函數(shù)體內(nèi)定義的變量一般來說并非存放在固定地址中，
• 因此constexpr指針不能指向這樣的變量。相反的，定義于所有函數(shù)體之外的對(duì)象其地址固定不變，能用來初始化constexpr指針。同樣是在6.1.1節(jié)（第185頁）中還將提到，允許函數(shù)定義一類有效范圍超出函數(shù)本身的變量，這類變量和定義在函數(shù)體之外的變量一樣也有固定地址。因此，constexpr引用能綁定到這樣的變量上，constexpr指針也能指向這樣的變量。

指針和constexpr

• 必須明確一點(diǎn)，在constexpr聲明中如果定義了一個(gè)指針，限定符constexpr僅對(duì)指針有效，與指針?biāo)傅膶?duì)象無關(guān)
• const int *p = nullptr; // p 是一個(gè)指向整型常量的指針
• constexpr int *q = nullptr; // q 是一個(gè)指向整數(shù)的常量指針
• p 和 q 的類型相差甚遠(yuǎn)，p 是一個(gè)指向常量的指針，而 q 是一個(gè)常量指針，其中的關(guān)鍵在 于 constexpr把它所定義的對(duì)象置為了頂層const (參見2.4.3節(jié)，第 57頁)。 與其他常量指針類似，constexpr指針既可以指向常量也可以指向一個(gè)非常量

2 . 5 處理類型

• 隨著程序越來越復(fù)雜，程序中用到的類型也越來越復(fù)雜，這種復(fù)雜性體現(xiàn)在兩個(gè)方面。一是一些類型難于“拼寫"，它們的名字既難記又容易寫錯(cuò)，還無法明確體現(xiàn)其真實(shí)目的和含義。二是有時(shí)候根本搞不清到底需要的類型是什么，程序員不得不回過頭去從程序的上下文中尋求幫助。

2 .5 .1 類型別名

• 類型別名(type alias)是一個(gè)名字，它是某種類型的同義詞。使用類型別名有很多好處，它讓復(fù)雜的類型名字變得簡(jiǎn)單明了、易于理解和使用，還有助于程序員清楚地知道使用該類型的真實(shí)目的。
• 有兩種方法可用于定義類型別名。傳統(tǒng)的方法是使用關(guān)鍵字typedef：
• type def double wages; //wages 是 double 的同義詞
• typedef wages base, *p; //base 是 double 的同義詞，p 是 double*的同義詞
• 其中，關(guān)鍵字typedef作為聲明語句中的基本數(shù)據(jù)類型(參見2.3節(jié)，第 45頁)的一部分出現(xiàn)。含有typedef的聲明語句定義的不再是變量而是類型別名。和以前的聲明語句一樣，這里的聲明符也可以包含類型修飾，從而也能由基本數(shù)據(jù)類型構(gòu)造出復(fù)合類型來。
• 新標(biāo)準(zhǔn)規(guī)定了一種新的方法，使用別名聲明(alias declaration)來定義類型的別名：
• using SI = Sales_item; // SI 是 Sales_item的同義詞
• 這種方法用關(guān)鍵字using作為別名聲明的開始，其后緊跟別名和等號(hào)，其作用是把等號(hào) 左側(cè)的名字規(guī)定成等號(hào)右側(cè)類型的別名。類型別名和類型的名字等價(jià)，只要是類型的名字能出現(xiàn)的地方，就能使用類型別名：
• wages hourly, weekly; // 等價(jià)于 double hourly、weekly;
• SI item; // 等價(jià)于 Sales_item item

指針、常量和類型別名

• 如果某個(gè)類型別名指代的是復(fù)合類型或常量，那么把它用到聲明語句里就會(huì)產(chǎn)生意想不到的后果。例如下面的聲明語句用到了類型pstring ,它實(shí)際上是類型char*的別名：
• typedef char *pstring; const pstring cstr = 0; // cstr是指向 char 的常量指針
• const pstring *ps; // ps是一個(gè)指針，它的對(duì)象是指向char的常量指針
• 上述兩條聲明語句的基本數(shù)據(jù)類型都是const pstring ,和過去一樣，const是對(duì)給定類型的修飾。pstring實(shí)際上是指向char的指針，因此，const pstring就是指向char的常量指針，而非指向常量字符的指針。 遇到一條使用了類型別名的聲明語句時(shí)，人們往往會(huì)錯(cuò)誤地嘗試把類型別名替換成它本來的樣子，以理解該語句的含義：
• const char *cstr = 0; // 是對(duì) const pstring cstr 的錯(cuò)誤理解
• 再強(qiáng)調(diào)一遍：這種理解是錯(cuò)誤的。聲明語句中用到pstring時(shí)，其基本數(shù)據(jù)類型是指針。 可是用char*重寫了聲明語句后，數(shù)據(jù)類型就變成了 char, *成為了聲明符的一部分。 這樣改寫的結(jié)果是，const char成了基本數(shù)據(jù)類型。前后兩種聲明含義截然不同，前者聲明了一個(gè)指向char的常量指針，改寫后的形式則聲明了一個(gè)指向const char的指針。

2.5.2 auto類型說明符?

• 編程時(shí)常常需要把表達(dá)式的值賦給變量，這就要求在聲明變量的時(shí)候清楚地知道表達(dá)式的類型。然而要做到這一點(diǎn)并非那么容易，有時(shí)甚至根本做不到。為了解決這個(gè)問題，C++11新標(biāo)準(zhǔn)引入了auto類型說明符，用它就能讓編譯器替我們?nèi)シ治霰磉_(dá)式所屬的類型。和原來那些只對(duì)應(yīng)一種特定類型的說明符（比如double） 不同，auto 讓編譯器通過初始值來推算變量的類型。顯然，auto 定義的變量必須有初始值：
• / / 由 vail和 val2 相加的結(jié)果可以推斷出item的類型
• auto item = vail + val2; // item初始化為vail和 val2 相加的結(jié)果
• 此處編譯器將根據(jù)vail和val2相加的結(jié)果來推斷item的類型。如果vail和val2是類Sales_ item （參 見 1.5節(jié)，第 17頁）的對(duì)象，則 ite m 的類型就是Sales_ item ；
• 如果這兩個(gè)變量的類型是double ,則item的類型就是double ,以此類推。 使用auto。也能在一條語句中聲明多個(gè)變量。因?yàn)橐粭l聲明語句只能有一個(gè)基本數(shù)據(jù)類型，所以該語句中所有變量的初始基本數(shù)據(jù)類型都必須一樣：
• auto i = 0, *p = &i; / / 正確：i 是整數(shù)、p 是整型指針 auto sz = 0, pi = 3.14; // 錯(cuò)誤：sz 和 pi 的類型不一致

復(fù)合類型、常量和auto

• 編譯器推斷出來的auto。類型有時(shí)候和初始值的類型并不完全一樣，編譯器會(huì)適當(dāng)?shù)馗淖兘Y(jié)果類型使其更符合初始化規(guī)則。首先，正如我們所熟知的，使用引用其實(shí)是使用引用的對(duì)象，特別是當(dāng)引用被用作初始值時(shí)，真正參與初始化的其實(shí)是引用對(duì)象的值。此時(shí)編譯器以引用對(duì)象的類型作為auto 的類型:

2.5.3 decltype類型指示符

• 有時(shí)會(huì)遇到這種情況：希望從表達(dá)式的類型推斷出要定義的變量的類型，但是不想用該表達(dá)式的值初始化變量。為了滿足這一要求，C++11新標(biāo)準(zhǔn)引入了第二種類型說明符
• decltype,它的作用是選擇并返回操作數(shù)的數(shù)據(jù)類型。在此過程中，編譯器分析表達(dá)式 并得到它的類型，卻不實(shí)際計(jì)算表達(dá)式的值：
• decltype(f()) sum // sum的類型就是函數(shù)f 的返回類型
• 編譯器并不實(shí)際調(diào)用函數(shù)f，而是使用當(dāng)調(diào)用發(fā)生時(shí)f的返回值類型作為sum的類型。換句話說，編譯器為sum指定的類型是什么呢？就是假如f 被調(diào)用的話將會(huì)返回的那個(gè)類型。
• decltype處理頂層const和引用的方式與auto有些許不同。如果decltype使用的表達(dá)式是一個(gè)變量，則decltype返回該變量的類型(包括頂層const和引用在內(nèi))

• 因?yàn)閏j是一個(gè)引用，decltype (cj)的結(jié)果就是引用類型，因此作為引用的z必須被初始化。
• 需要指出的是，引用從來都作為其所指對(duì)象的同義詞出現(xiàn)，只有用在decltype處是一個(gè)例外。

decltype和引用

• 如果decltype使用的表達(dá)式不是一個(gè)變量，則decltype返回表達(dá)式結(jié)果對(duì)應(yīng)的類型。如 4.1.1節(jié) (第 120頁)將要介紹的，有些表達(dá)式將向decltype返回一個(gè)引用類型。 -般來說當(dāng)這種情況發(fā)生時(shí)，意味著該表達(dá)式的結(jié)果對(duì)象能作為一條賦值語句的左值:

• 因?yàn)閞是一個(gè)引用，因此decltype (r)的結(jié)果是引用類型。如果想讓結(jié)果類型是r所指的類型，可以把r作為表達(dá)式的一部分，如 r+0,顯然這個(gè)表達(dá)式的結(jié)果將是一個(gè)具體值而非一個(gè)引用。
• 另一方面，如果表達(dá)式的內(nèi)容是解引用操作，則decltype將得到引用類型。正如我們所熟悉的那樣，解引用指針可以得到指針?biāo)傅膶?duì)象，而且還能給這個(gè)對(duì)象賦值。因此，decltype (*p)的結(jié)果類型就是int &,而非int。
• decltype和 auto的另一處重要區(qū)別是，decltype的結(jié)果類型與表達(dá)式形式密切相關(guān)。有一種情況需要特別注意：對(duì)于 decltype所用的表達(dá)式來說，如果變量名加上了一對(duì)括號(hào)，則得到的類型與不加括號(hào)時(shí)會(huì)有不同。如果 decltype使用的是一個(gè)不加括號(hào)的變量，則得到的結(jié)果就是該變量的類型：如果給變量加上了一層或多層括號(hào)，編譯器就會(huì)把它當(dāng)成是一個(gè)表達(dá)式。變量是一種可以作為賦值語句左值的特殊表達(dá)式，所以這樣的decltype就會(huì)得到引用類型：

補(bǔ)充知識(shí)

預(yù)處理器概述

• 確保頭文件多次包含仍能安全工作的常用技術(shù)是預(yù)處理器（preprocessor）,它由C++語言從C語言繼承而來。預(yù)處理器是在編譯之前執(zhí)行的一段程序，可以部分地改變我們所寫的程序。之前己經(jīng)用到了一項(xiàng)預(yù)處理功能#include,當(dāng)預(yù)處理器看到#include標(biāo)記時(shí)就會(huì)用指定的頭文件的內(nèi)容代替#include。C++程序還會(huì)用到的一項(xiàng)預(yù)處理功能是頭文件保護(hù)符（headerguard）,頭文件保護(hù)符依賴于預(yù)處理變量（參見2.3.2節(jié)，第48頁）。預(yù)處理變量有兩種狀態(tài)：已定義和未定義。
• #define指令把一個(gè)名字設(shè)定為預(yù)處理變量，另外兩個(gè)指令則分別檢查某個(gè)指定的預(yù)處理變量是否已經(jīng)定義：#ifdef當(dāng)且僅當(dāng)變量已定義時(shí)為真，#ifndef當(dāng)且僅當(dāng)變量未定義時(shí)為真。一旦檢查結(jié)果為真，則執(zhí)行后續(xù)操作直至遇到#endif指令為止。
• 使用這些功能就能有效地防止重復(fù)包含的發(fā)生：

• 第一次包含Sales_data. h 時(shí)，#ifndef的檢查結(jié)果為真，預(yù)處理器將順序執(zhí)行后面的操作直至遇到#endif為止。此時(shí)，預(yù)處理變量SALES_DATA_H的值將變?yōu)橐讯x，而且Sales_data.h也會(huì)被拷貝到我們的程序中來。后面如果再一次包含Sales_data . h,則#ifndef的檢查結(jié)果將為假，編譯器將忽略#ifndef到#endif之間的部分
• 預(yù)處理變量無視C++語言中關(guān)于作用域的規(guī)則" .
• 還可以使用 #pragma once? ?參考鏈接
• 整個(gè)程序中的預(yù)處理變量包括頭文件保護(hù)符必須唯一，通常的做法是基于頭文件中類的名字來構(gòu)建保護(hù)符的名字，以確保其唯一性。為了避免與程序中的其他實(shí)體發(fā)生名字沖突，一般把預(yù)處理變量的名字全部大寫。

小 結(jié)?

• 類型是C++編程的基礎(chǔ)。
• 類型規(guī)定了其對(duì)象的存儲(chǔ)要求和所能執(zhí)行的操作。C+ +語言提供了一套基礎(chǔ)內(nèi)置類型，如 int和 char等，這些類型與實(shí)現(xiàn)它們的機(jī)器硬件密切相關(guān)。類型分為非常量和常量，一個(gè)常量對(duì)象必須初始化，而且一旦初始化其值就不能再改變。此外，還可以定義復(fù)合類型，如指針和引用等。復(fù)合類型的定義以其他類型為基礎(chǔ)。
• C++語言允許用戶以類的形式自定義類型。C++庫通過類提供了一套高級(jí)抽象類型，如輸入輸出和string等。

術(shù)語表

• 地址(address)是一個(gè)數(shù)字，根據(jù)它可以找到內(nèi)存中的一個(gè)字節(jié)。
• 別名聲明(aliasdeclaration)為另外一種類型定義一個(gè)同義詞：使用“名字=類型”的格式將名字作為該類型的同義詞。
• 算術(shù)類型(arithmetictype)布爾值、字符、整數(shù)、浮點(diǎn)數(shù)等內(nèi)置類型。
• 數(shù)組(array)是一種數(shù)據(jù)結(jié)構(gòu)，存放著一組未命名的對(duì)象，可以通過索引來訪問這些對(duì)象。3.5節(jié)將詳細(xì)介紹數(shù)組的知識(shí)。
• auto是一個(gè)類型說明符，通過變量的初始值來推斷變量的類型。
• 基本類型(basetype)是類型說明符，可用const修飾，在聲明語句中位于聲明符之前。基本類型提供了最常見的數(shù)據(jù)類型，以此為基礎(chǔ)構(gòu)建聲明符。
• 綁定(bind)令某個(gè)名字與給定的實(shí)體關(guān)聯(lián)在一起，使用該名字也就是使用該實(shí)體。例如，引用就是將某個(gè)名字與某個(gè)對(duì)象綁定在一起。參考鏈接
• 字節(jié)(byte)內(nèi)存中可尋址的最小單元，大多數(shù)機(jī)器的字節(jié)占8位。
• 類成員(classmember)類的組成部分。復(fù)合類型(compoundtype)是一種類型，它的定義以其他類型為基礎(chǔ)。
• const是一種類型修飾符，用于說明永不改變的對(duì)象。const對(duì)象一旦定義就無法再賦新值，所以必須初始化。
• 常量指針(constpointer)是一種指針,它的值永不改變。
• 常量引用(constreference)是一種習(xí)慣叫法，含義是指向常量的引用。
• 常量表達(dá)式(constexpression)能在編譯時(shí)計(jì)算并獲取結(jié)果的表達(dá)式。constexpr是一種函數(shù)，用于代表一條常量表達(dá)式。6.5.2節(jié)(第214頁)將介紹constexpr函數(shù)。
• 轉(zhuǎn)換(conversion)-種類型的值轉(zhuǎn)變成另外一種類型值的過程。C++語言支持內(nèi)置類型之間的轉(zhuǎn)換。
• 數(shù)據(jù)成員(datamember)組成對(duì)象的數(shù)據(jù)元素，類的每個(gè)對(duì)象都有類的數(shù)據(jù)成員的一份拷貝。數(shù)據(jù)成員可以在類內(nèi)部聲明的同時(shí)初始化。
• 聲明(declaration)聲稱存在一個(gè)變量、函數(shù)或是別處定義的類型。名字必須在定義或聲明之后才能使用。
• 聲明符(declarator)是聲明的一部分，包括被定義的名字和類型修飾符，其中類型修飾符可以有也可以沒有。
• decltype是一個(gè)類型說明符，從變量或表達(dá)式推斷得到類型。默認(rèn)初始化(defaultinitialization)當(dāng)對(duì)象未被顯式地賦予初始值時(shí)執(zhí)行的初始化行為。由類本身負(fù)責(zé)執(zhí)行的類對(duì)象的初始化
  行為。全局作用域的內(nèi)置類型對(duì)象初始化為 0；局部作用域的對(duì)象未被初始化即擁有未定義的值。
• 定義 (definition ) 為某一特定類型的變量申請(qǐng)存儲(chǔ)空間，可以選擇初始化該變量。名字必須在定義或聲明之后才能使用。
• 轉(zhuǎn)義序列 (escape sequence) 字符特別是那些不可打印字符的替代形式。轉(zhuǎn)義以反斜線開頭，后面緊跟個(gè)字符，或者不多于3 個(gè)八進(jìn)制數(shù)字，或者字母x 加上 1 個(gè) I-六進(jìn)制數(shù)。
• 全局作用域(global scope)位于其他所有作用域之外的作用域。
• 頭文件保護(hù)符(header guard)使用頂處理變量以防止頭文件被某個(gè)文件重復(fù)包含。
• 標(biāo)識(shí)符 (identifier)組成名字的字符序列， 標(biāo)識(shí)符對(duì)大小寫敏感。
• 類內(nèi)初始值(in-class initializer)在聲明類的數(shù)據(jù)成員時(shí)同時(shí)提供的初始值，必須置等號(hào)右側(cè)或花括號(hào)內(nèi)"
• 在作用域內(nèi)(in scope) 名字在當(dāng)前作用域內(nèi)可見。
• 被初始化 (initialized) 變量在定義的同時(shí)被賦予初始值，變量一般都應(yīng)該被初始化
• 內(nèi)層作用域(inner scope)嵌套在其他作用域之內(nèi)的作用域。
• 整 型 (integral type) 參見算術(shù)類型。 列表初始化(listinitialization)利用花括號(hào)把一個(gè)或多個(gè)初始值放在一起的初始化形式。
• 字 面 值 (literal)是一個(gè)不能改變的值，如 數(shù)字、字符、字符串等。單引號(hào)內(nèi)的是字符字知值，雙引號(hào)內(nèi)的是字符串字面值。
• 局部作用域(local scope) 是塊作用域的習(xí)慣叫法。
• 底層 const (low-level const) —個(gè)不屬頂層的const,類型如果由底層常量定義,則不能被忽略。
• 成 員 (member)類的組成部分。
• 不可打印字符(nonprintable character)不具有可見形式的字符，如控制符、退格、換行符等。
• 空 指 針 (null pointer)值為0 的指針，空指針合法但是不指向任何對(duì)象。nullptr是表示空指針的字面值常星”
• 對(duì) 象 (object)是內(nèi)存的塊區(qū)域,具有某種類型，變量是命名了的對(duì)象。
• 外層作用域( outer scope) 嵌套著別的作用域的作用域。
• 指 針 (pointer)是一個(gè)對(duì)象，存放著某個(gè)對(duì)象的地址，或皆某個(gè)對(duì)象存儲(chǔ)區(qū)域之后的下一地址,或者0。
• 指向常量的指針(pointer to const)是一個(gè)指針，存放著某個(gè)常量對(duì)象的地址。指向常量的指針不能用來改變它所指對(duì)象的值。
• 預(yù) 處 理 器 (preprocessor)在 C++編譯過程中執(zhí)行的-段程序。
• 預(yù)處理變量(preprocessor variable) 由預(yù)處理器管理的變量。在程序編譯之前，預(yù)處理器負(fù)責(zé)將程序的預(yù)處理變量替換成它的真實(shí)值
• 引 用 (reference)是某個(gè)對(duì)象的別名。?
• 對(duì)常量的引用(reference to const)是個(gè)引用，不能用來改變它所綁定對(duì)象的值。對(duì)常量的引用可以綁定常量對(duì)象，或者非常量對(duì)象，或者表達(dá)式的結(jié)果。
• 作用域(scope) 是程序的-部分，在其中某些名字有意義。C++有凡級(jí)作用域：
• 全 局 (global)----- 名字定義在所有其他作用域之外。
• 類 (class)-----名字定義在類內(nèi)部。
• 命 名空間(namespace)----- 名字定義在命名空間內(nèi)部。
• 塊 (block)----- 名字定義在塊內(nèi)部。名字從聲叫位置開始育至聲明語句所在的作用域末端為止都是可用的。
• 分離式編譯＜ separate compilation) 把程序分割為多個(gè)單獨(dú)文件的能力。
• 帶符號(hào)類型(signed)保存正數(shù)、負(fù)數(shù)或0的整型。
• 字符串(string)是一種庫類型，表示可變長(zhǎng)字符序列。
• struct是個(gè)關(guān)鍵宇，用于定義類。
• 臨時(shí)值(temporary)編譯器在計(jì)算表.達(dá)式結(jié)果時(shí)創(chuàng)建的無名對(duì)象。為某表達(dá)式創(chuàng)建了 -個(gè)臨時(shí)值，則此臨時(shí)值將一直存在直到包含何該表達(dá)式的最大的表達(dá)式計(jì)算完成為止。
• 頂層 const ( top-level const) 是一個(gè)const,規(guī)定某對(duì)象的值不能改變。
• 類型別名(type alias)是 個(gè)名字，是另外個(gè)類型的同義詞 ,通過關(guān)鍵字typedef或別名聲明語句來定義。
• 類型檢查(type checking )是一個(gè)過程. 編譯器檢查給定類型對(duì)象的方式與該類型的定義是否一致。
• 類型說明符＜ type specifier) 類型的名字。
• typedef為某類型足義一個(gè)別名。當(dāng)關(guān)鍵字 typedef作為聲明的基本類型出現(xiàn)時(shí),聲明中定義的名字就是類型名。
• 未 定 義 (undefined) 即 C ++沒有明確規(guī)定的情況。不論是否有意為之,未定義行為都能引發(fā)難以追蹤的運(yùn)行時(shí)錯(cuò)誤、安全問題利可移植性問題。
• 未初始化(uninitialized)變量己定義但沒被賦予初始值.一般來說,試圖訪問未初始化變量的值將引發(fā)未定義行為
• 無符號(hào)類型(unsigned)保存大于等于0的整型.
• 變量(variable)命名的對(duì)象或引用.C++語言要求變量要先聲明后使用。
• void* 以指向任以非常量的指針類型,不能執(zhí)行解引用操作。
• void類型是-種有特殊用處的類型，既無操作也無值.不能定義-個(gè)void類型的變量
• 字(word)在指定機(jī)器上進(jìn)行整數(shù)運(yùn)算:的自然單位。一般來說，字的空間足夠字放地址.32位機(jī)器上的字通常占據(jù)4個(gè)字節(jié)
• &運(yùn)算符(&operator)取地址運(yùn)算符。
• *運(yùn)算符(*operator)解引用運(yùn)算符。解引用-個(gè)指針將返回該指針?biāo)傅膶?duì)象,為解引用的結(jié)果賦值也就是為指針?biāo)傅膶?duì)象賦值。
• #define是-條預(yù)處理指令，用于定義一個(gè)預(yù)處理變量
• #endif是一條預(yù)處理指令，用于結(jié)束一個(gè)#ifdef或#ifndef區(qū)域。
• #ifdef是-條預(yù)處理指令,用于判斷給定的變量是否已經(jīng)定義.
• #ifndef是-條預(yù)處理指令,用于判斷給定的變量是否尚未定義’

總結(jié)

以上是生活随笔為你收集整理的C++primer 第 2 章 变量和基本类型的全部?jī)?nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。