C++11 auto 與 decltype 類型推導完整指南：規則差異與實戰陷阱

C++11 類型推導利器：auto 與 decltype 全解析

C++11 引入 auto 和 decltype 兩種編譯期類型推導機制，極大簡化了複雜類型聲明，尤其在模板編程、STL 迭代器、Lambda 表達式等場景中不可或缺。但兩者推導規則存在微妙差異，掌握核心規則能避免常見陷阱。

auto 推導規則詳解

核心原則：auto 根據初始化表達式推導類型，忽略頂層 const，保留底層 const。

六大規則實例

1. 忽略頂層 const

   int x = 0; 
   auto a = x, b = 0; // 皆推導為 int

2. 指針/引用保留底層 const

   const int *p = 0; 
   auto px = p; // const int* (保留指向 const)
   int *q = 0; 
   auto qx = q; // int*

3. 同一定義多變量，基本類型必須一致

   auto ax = x, *xp = &ax, **xxp = &xp; // 合法：基本類型均為 int
   const int ci = x;
   auto *px = &x, *pci = &ci; // 錯誤：基本類型不一致 (int vs const int)

4. 數組/函數退化為指針

   int f(int); int arr[100];
   auto aiar = arr; // int*
   auto af = f;     // int(*)(int) 函數指針

5. 引用推導為綁定類型

   int x = 0; int &m = x;
   auto am = m; // int (非引用)
   ++m; // x 變為 1

6. 可添加 const 修飾

   const auto &m = x; // 合法

decltype 推導規則詳解

核心原則：decltype 根據表達式推導類型，不求值，保留 const、引用、數組/函數原類型。

六大規則實例

1. 保留 const，字面值推導為非引用類型

   int x = 0; const int z = 0;
   decltype(x) dx = 100;   // int
   decltype(0) dy = 200;   // int (字面值為右值)
   decltype(z) dz = 300;   // const int
   ++dz; // 錯誤：const

2. 指針/引用保留底層 const

   const int *p = &x;
   decltype(p) dp = &x; // const int*

3. 同一定義基本類型一致

   decltype(x) *px = &x, &rx = x, m = x; // 合法

4. 數組/函數保持原類型，不退化

   int arr[100];
   decltype(arr) dar; // int[100] (非指針)
   decltype(f) df;    // int(int) (函數類型)

5. 左值推導為引用，右值推導為類型

   int x = 0; int *p = &x;
   decltype(*p) pr = x; // int& (解引用為左值)
   ++pr; // x 變為 1
   decltype(*p + 0) rr; // int (*p+0 為右值)

核心差異總結表

實戰最佳實踐

• 聲明變量、遍歷容器、Lambda 返回類型 → 用 auto
• 模板中推導表達式類型、保留引用/const 語義、聲明函數返回類型 (C++14 後) → 用 decltype
• auto x = expr; decltype(x) y; 組合使用可同時獲得值類型與引用類型