C 中關鍵字auto和decltype的區別

c++11標準引入了auto和decltype型別說明符，它能讓編譯器幫我們去分析表示式所屬的型別。

auto和decltype的主要區別有三個方面：

第一，auto型別說明符用編譯器計算變數的初始值來推斷其型別，而decltype雖然也讓編譯器分析表示式並得到它的型別，但是不實際計算表示式的值。

第二，編譯器推斷出來的auto型別有時候和初始值的型別並不完全一樣，編譯器會適當地改變結果型別使其更符合初始化規則。例如，auto一般會忽略頂層const，而把底層const保留下來。與之相反，decltype會保留變數的頂層const。

第三，與auto不同，decltype的結果型別與表示式形式密切相關，如果變數名加上了一對括號，則得到的型別與不加括號時會有不同。如果decltype使用的是乙個不加括號的變數，則得到的結果就是該變數的型別；如果給變數加上了一層或多層括號，則編譯器將推斷得到引用型別。

舉例：

#include 
#include 
using
namespace
std;
int main()

對於第一組型別推斷來說，a是乙個非常量整數，c1的推斷結果就是整數，c2的推斷結果也是整數，c3的推斷結果由於變數a額外加了一對括號所以是整數引用。c1、c2、c3依次執行自增操作，因為c3是變數a的別名，所以c3自增等同於a自增，最終c1、c2、c3的值都變為4。

對於第二組型別推斷來說，d是乙個常量整數，含有頂層const，使用auto推斷型別自動忽略掉頂層const，因此f1的推斷結果是整數；decltype則保留頂層const，所以f2的推斷結果是整數常量。f1可以正常執行自增操作，而常量f2的值不能被改變，所以無法自增。