void* 指針比較特殊，可以存放任意類型對(duì)象的地址湖饱，但也因此失去了被解引用的能力：我們不能確定這個(gè)被指向的對(duì)象是什么類型掖蛤，自然就不知道解引用后能做什么事情。因此 void* 指針能做的事情比較有限：去和別的指針做比較 (也就是比較指針?biāo)涗浀牡刂?井厌；作為函數(shù)的輸入或輸出 (這點(diǎn)用的較多)蚓庭；把它的值賦給另外一個(gè) void* 指針。

int *&r = &i; 這句話代表 r 指向 i仅仆，但是具體而言 r 是 i 的指針的引用器赞。

常規(guī)的定義 const 常量的方法 (編譯時(shí)初始化) 是這樣子的：

const int num = 214;

在這種定義方式下，編譯器將在編譯時(shí) 在這個(gè)文件中找到在這句代碼后所有用到 num 變量的地方墓拜，然后把 num 替換成 214 (就像宏定義那樣)港柜。 因此如果想要讓不同文件共享這個(gè) const 常量，那么在每個(gè)文件中，都要有

const int num = 214;

這句定義 (不然就沒(méi)法替換啦)夏醉。然而這樣子的話爽锥，違反了前面說(shuō)過(guò)的每個(gè)變量只能被定義一次 這個(gè)限定。因此在默認(rèn)狀態(tài)下畔柔，const 常量被設(shè)置成僅在所處的文件內(nèi)部有效氯夷，而文件外部就無(wú)法讀取。如果想在每個(gè)文件里都能用到同樣的 const 常量靶擦，那么要在每個(gè)文件內(nèi)部均定義同名的對(duì)象腮考，但這個(gè)時(shí)候其實(shí)他們是不同的獨(dú)立的對(duì)象⌒叮或者踩蔚，可以在該 const 常量聲明和定義的時(shí)候均添加 extern 關(guān)鍵字。然后在不同文件內(nèi)用 extern 描述該常量桩盲，即可做到只定義一次而能夠多文件間共享寂纪。

指向常量的引用僅對(duì)該引用可參與的操作進(jìn)行限定，指不能通過(guò)對(duì)被引用對(duì)象的引用來(lái)修改被引用對(duì)象的值赌结。舉個(gè)例子：

const int a = 3;
const int &b = a;

第二句的 const 的含義是不能通過(guò)修改 b 來(lái)修改 a 的值捞蛋。由于在確定了引用綁定關(guān)系之后，引用不能易主柬姚，所以 b 是不能再引用別的對(duì)象的拟杉，同時(shí) b 還不能修改 a 的值，所以 b 在整個(gè)生命周期能做的事情只有讀取 a 的值量承。

對(duì)某一個(gè)常量的引用實(shí)質(zhì)上是對(duì)這個(gè)常量起的別名搬设，因此一般來(lái)說(shuō) 它們類型相同 (也是有例外的)，因此都要用 const 來(lái)限定撕捍。企圖用 int 來(lái)引用一個(gè) const int 會(huì)發(fā)生編譯時(shí)錯(cuò)誤拿穴，因?yàn)榫幾g器發(fā)現(xiàn)這個(gè)引用本身是 int 類型，那么編譯器會(huì)認(rèn)為寫代碼的人在之后可能會(huì)對(duì)這個(gè) int 類型的引用作出修改忧风，而這是被禁止的默色，所以編譯器要求對(duì) const 對(duì)象的引用也要用 const 限定。但是另一種情況下狮腿，一個(gè) const int 對(duì)象是可以引用一個(gè) int 對(duì)象的腿宰，因?yàn)?const 限定的是引用關(guān)系本身，你不能通過(guò)這個(gè)引用來(lái)改變被引用的變量的值缘厢，但是被引用的變量可以使用其他方式進(jìn)行改變 (例如通過(guò)直接調(diào)用這個(gè)變量的標(biāo)識(shí)符顯式的改變這個(gè)變量)吃度。在這種情況下，你要確保被引用的非常量 (也就是上面栗子中的那個(gè) int) 可以轉(zhuǎn)換成引用的類型 (即 const int)贴硫。舉個(gè)栗子：

int i = 24;
double pi = 3.14;

在這時(shí)

const int &r1 = i;

是可以的椿每，因?yàn)?24 是一個(gè)字面值常量，

const int &r2 = i - 3;

也是可以的，因?yàn)?24 - 3 得到的也是一個(gè)字面值常量间护，

const int &r3 = pi;

還是可以的删壮，這個(gè)時(shí)候編譯器會(huì)先把 pi 變成一個(gè)

const int temp = 3

然后用 r3 去引用這個(gè) temp，這個(gè)時(shí)候 r3 綁定了一個(gè)臨時(shí)量兑牡。反正你不可以通過(guò) r3 來(lái)改變 temp 的值，所以 temp 就一直在那里税灌，一直都是 3均函，r3 的值也一直都是 3。但是這樣子是不行的：

const int &r4 = "4";
// Reference to type 'const int' could not bind 
// to an lvalue of type 'const char[2]

因?yàn)橐粋€(gè) string 不能轉(zhuǎn)換成一個(gè) const int菱涤。

和指向常量的引用一樣苞也，指向常量的指針也只對(duì)通過(guò)指針對(duì)被指對(duì)象進(jìn)行的操作 進(jìn)行限制。因此粘秆，被引用的對(duì)象可以在其他地方通過(guò)顯式調(diào)用標(biāo)識(shí)符來(lái)修改如迟。但是指向常量的指針本身不一定是常量，例如

const int a = 3;
const int *p = &a;
//Implicit conversion from 'double' to 'int' changes value from 3.14 to 3

中的 p 目前指向的是 a攻走，接下來(lái)可以通過(guò)

const int b = 4;
p = &b;

來(lái)改變 p 指向的對(duì)象殷勘。

指針是一個(gè)對(duì)象，所以也可以限定一個(gè)指針為一個(gè)常量昔搂，這個(gè)時(shí)候指針本身是不能改變的玲销，也就是說(shuō)指針?biāo)鶅?chǔ)存的地址是不能改變的，也就是說(shuō)這個(gè)指針一輩子只能指向那一個(gè)對(duì)象了摘符。這個(gè)時(shí)候 const 的位置有所改變贤斜，從 const int *p 變成 int *const p，const 離 p 最近逛裤，因此首先 p 是個(gè)常量瘩绒，然后他還是個(gè)指針。此時(shí)被指向的那個(gè)對(duì)象不僅可以是常量带族，同時(shí)也可以為變量锁荔。

指針本身是一個(gè)常量，并不意味著不可以借助指針來(lái)修改被指向的變量炉菲，只要被指向的對(duì)象是個(gè)變量堕战，那就可以通過(guò)它的指針來(lái)修改它的值，不管這個(gè)指針本身是不是常量拍霜。

所謂頂層 const 和底層 const嘱丢，頂層代表對(duì)象本身是 const，底層代表對(duì)象所引用祠饺、指向的對(duì)象是 const越驻。所有的引用都是底層 const。見(jiàn)下面的例子：

int i = 0;
int *const pi = &i;           // pi 是頂層，因?yàn)?pi 不能改變
const int ci = 0;             // ci 是頂層缀旁，因?yàn)?ci 不能改變
const int *p0 = &i;           // p0 是底層记劈，因?yàn)?p0 可以改變
const int *p1 = &ci;          // p1 是底層，因?yàn)?p1 可以改變
const int *const p2 = &ci;    // int 右的 const 是頂層并巍，int 左 的 const 是底層 
const int &r0 = i;            // r0 是底層目木，用于聲明引用的 const 都是底層
const int &r1 = ci;           // r1 是底層，用于聲明引用的 const 都是底層

頂層還是底層請(qǐng)看注釋懊渡。當(dāng)執(zhí)行對(duì)象的拷貝動(dòng)作時(shí)刽射，底層的存在感高于頂層。對(duì)于指針的拷貝剃执，頂層不能接受一切拷貝誓禁，底層可以接受一切拷貝，變量可以接受頂層但是不可以接受底層肾档。對(duì)于引用摹恰，不能把 int & 綁定到 const int 上，但是可以把 const int & 綁定到 int 上怒见。

舉一個(gè)例子：

const int r1 = 30;
const int r2 = r1 - 3;

這么寫的確沒(méi)問(wèn)題俗慈，但是還有一種更加推薦的 C++11 提出的寫法，是

constexpr int r1 = 30;
constexpr int r2 = r1 - 3;

這么寫的主要原因是像 30速种、r1姜盈、r1 - 3 這些值不會(huì)改變，并且在編譯時(shí)就能得到計(jì)算結(jié)果的簡(jiǎn)單表達(dá)式 被稱作常量表達(dá)式配阵，在實(shí)際應(yīng)用中馏颂，幾乎不可能分辨一個(gè)初始值是不是常量表達(dá)式，因此 C++11 規(guī)定允許將變量聲明為 constexpr 類型以便由編譯器來(lái)驗(yàn)證變量的值是不是一個(gè)常量表達(dá)式棋傍。如果你在寫代碼時(shí)認(rèn)定一個(gè)變量是一個(gè)常量表達(dá)式救拉，那么你就直接用 constexpr 限定它。你也可以定義一種 constexpr 函數(shù)瘫拣，這種函數(shù)應(yīng)該足夠簡(jiǎn)單以使得編譯器在編譯時(shí)就可以計(jì)算其結(jié)果亿絮。這樣你就可以用 constexpr 函數(shù)去初始化 constexpr 變量。

因?yàn)槟阈枰尵幾g器在編譯時(shí)就可以計(jì)算出結(jié)果麸拄，所以聲明為 constexpr 的時(shí)候所用到的類型要足夠簡(jiǎn)單派昧，我們把這些簡(jiǎn)單的、顯而易見(jiàn)的拢切、容易得到的類型成為字面值類型蒂萎，其中包含算數(shù)類型 (內(nèi)置類型中的 bool、char淮椰、short五慈、int纳寂、long、long long泻拦、float毙芜、double、long double)争拐、引用和指針等類型腋粥。自定義的類、IO 庫(kù)架曹、string 類則不屬于字面值類型灯抛，也就不能被定義成 constexpr。事實(shí)上音瓷，constexpr 函數(shù)的內(nèi)容僅可以有一條 return 語(yǔ)句，而且 return 的類型一定是字面值類型夹抗，形參的類型也都得是字面值類型绳慎。

constexpr 把它所定義的對(duì)象置為了頂層 const，所以

const int *p = nullptr;

和

constexpr int* p = nullptr;

有著天壤之別漠烧，前者是指 p 是一個(gè)指向整形常量的指針杏愤，后者是指 p 是一個(gè)指向整形的常量指針。

在使用 typedef 或者 using 語(yǔ)句的時(shí)候要注意已脓，如果你新定義的類型別名指代的是符合類型或者常量珊楼，那么在一個(gè)聲明語(yǔ)句中使用新類型別名的時(shí)候，如果加上 const 修飾符度液，那么語(yǔ)義會(huì)發(fā)生變化厕宗。例如：

typedef char *pstring;
const pstring cstr = 0;
const pstring *ps;

當(dāng)理解第二句的 const 的作用的時(shí)候，pstring 千萬(wàn)不能直接替換成 char *堕担。這個(gè)時(shí)候要把 pstring 當(dāng)成普通的 int 來(lái)理解已慢，這個(gè) const 修飾 pstring 使得 cstr 是一個(gè)常量。因此第二句的含義是：聲明一個(gè)常量霹购，他是個(gè)指針佑惠，他指向一個(gè) char 類型的對(duì)象，并把它定義為空指針齐疙。因此第三句話的含義也顯而易見(jiàn)了：聲明一個(gè)指針膜楷，它自己并不是常量 (因?yàn)?const 在星號(hào)的左邊)，但是它指向了一個(gè)常量贞奋，他指向的常量的具體類型是 pstring赌厅，也就是一個(gè)指向一個(gè) char 對(duì)象的常量指針。第三句話有點(diǎn)繞忆矛，簡(jiǎn)單說(shuō)就是 ps 是一個(gè)指向指向 char 的常量指針 的變量指針察蹲。

如果在 auto 語(yǔ)句中連著聲明定義多個(gè)變量请垛，那么這些變量要是同一個(gè)類型。

在 auto 語(yǔ)句中洽议，如果用一個(gè)引用來(lái)初始化一個(gè)變量宗收，那么這個(gè)變量的類型和被引用的對(duì)象的一樣：

int i = 0, &r = i;
auto a = r;

這里的 a 的類型是 int。

auto 一般會(huì)忽略掉頂層 const亚兄，但是會(huì)保留底層 const混稽。如果你希望 auto 可以推斷出頂層 const，那么你要明確寫出 const 限定符：

const int ci = i, &cr = ci;// ci  是頂層审胚，cr 是底層
auto b = ci;               // b 不是常量匈勋，是一個(gè) int
auto c = cr;               // c 不是常量，是一個(gè) int
auto d = &i;               // d 不是常量膳叨，是一個(gè) int *
auto d = &i;               // d 不是常量洽洁，是一個(gè) const int *

const auto f = ci;         // f 是一個(gè) const int
const auto g = &ci;        // g 是一個(gè) const int *const

//由于引用本身就是底層 const，所以會(huì)被保留下來(lái)
auto &h = ci;              // h 是一個(gè) const int &
auto &j = 29;              // 編譯錯(cuò)誤：不能給非常量引用綁定字面值
const auto &k = 29;        // 編譯通過(guò)：寫出了 const 才能綁定字面值

decltype() 可以分析表達(dá)式的類型并且返回它菲嘴。例如：
```C++
decltype(f()) = x;     // x 的類型與函數(shù) f() 的返回類型相同
const int ci = 9, &ri = ci;
int i = 1, *pi = &i;
decltype(ci) x = 0;    // x 是 const int
decltype(ri) s = x;    // s 是 const int &饿自，只傳標(biāo)識(shí)符，那么就返回引用類型
decltype(ri+0) t = s;  // s 是 const int龄坪，表達(dá)式會(huì)消除掉引用
decltype(i) y = x;     // y 是 int
decltype(i+3) z = x;   // z 是 int
decltype((i)) w = x;   
    // w 是 int &昭雌，當(dāng)變量外面套著一層括號(hào)的時(shí)候，將被視作表達(dá)式健田，返回引用
decltype(pi) p = &i;   // p 是 int *
decltype(*pi) r = i;   // r 是 int &烛卧，解引用操作返回引用類型

總結(jié)一下：對(duì)于引用，直接傳入 decltype 會(huì)返回引用類型妓局，普通變量外面套一層括號(hào)傳進(jìn)去也會(huì)返回引用類型总放，引用放在表達(dá)式里面?zhèn)魅?decltype 會(huì)返回被引用對(duì)象的類型。

decltype 可以保留頂層 const 和引用類型好爬，但是 auto 不可以间聊。

預(yù)處理器是在編譯之前執(zhí)行的一段程序，可以部分的改變程序內(nèi)容抵拘，包括例如 NULL哎榴、assert()、#include僵蛛、#ifdef尚蝌、#ifndef、#pragma這些東西充尉。當(dāng)預(yù)處理器看到 #include 這個(gè)標(biāo)記的時(shí)候飘言，就會(huì)把指定的頭文件的內(nèi)容代替這句 #include 語(yǔ)句。 而像 ifdef驼侠、endif 這些則叫做頭文件保護(hù)符姿鸿，define 用于定義預(yù)處理變量谆吴，ifdef、ifndef 用于檢查哪個(gè)預(yù)處理變量是否已經(jīng)定義苛预，一旦結(jié)果為真句狼，則執(zhí)行后續(xù)操作直到遇到 #endif 位置。預(yù)處理變量包括頭文件保護(hù)符無(wú)視 C++ 中的作用域的規(guī)則热某，并且在整個(gè)工程文件中必須唯一腻菇。習(xí)慣性的把所有頭文件用頭文件保護(hù)符包含住是值得推薦的。