Effective Modern C++ 條款 4：掌握查看類型推導結果的三種方法
理解編譯器如何推導模板類型至關重要。本條款介紹三種在不同階段獲取推導類型的實用技巧：IDE 編輯器、編譯器診斷、運行時輸出，並深入分析它們的優缺點與避坑指南。
三種方法對比
| 方法 | 階段 | 可靠性 | 適用場景 |
|---|
| IDE 編輯器懸停 | 編寫期 | 中等 | 快速查看簡單變量 |
| 編譯器錯誤診斷 | 編譯期 | 最高 | 精確獲取含引用/CV 資格的類型 |
運行時 typeid / 編譯器擴展 | 運行期 | 低/中 | 調試動態類型、跨編譯器移植 |
1. IDE 編輯器懸停
將滑鼠懸停於變量上，IDE 顯示推導類型。
優點：即時、無需編譯。
缺點：代碼過複雜（模板嵌套、typedef 鏈）時 IDE 內部編譯器可能解析失敗，顯示冗長內部表示（如 std::_Simple_types<...>::value_type*），可讀性極差。
2. 編譯器診斷（推薦）
聲明一個未定義的模板類 TD（Type Displayer），嘗試實例化它：
template class TD; // 僅聲明
TD xType; // 故意觸發編譯錯誤
TD yType;
編譯器報錯會攜帶具體類型：
error: aggregate 'TD xType' has incomplete type
error: aggregate 'TD yType' has incomplete type
優勢：
- 準確保留引用、const、volatile 資格；
- 所有主流編譯器（GCC、Clang、MSVC）均支持；
- 無需運行程序，編譯即可見結果。
3. 運行時輸出
typeid().name() 的陷阱
template
void f(const T& param) {
cout << "T = " << typeid(T).name() << '\n';
cout << "param = " << typeid(param).name() << '\n';
}
調用 f(&vw[0])（vw 為 const vector<Widget>）時：
- GCC/Clang：
PK6Widget（需 c++filt 解碼）；
- MSVC：
class Widget const *。
致命缺陷：typeid 按值傳遞語義處理類型，會剝離引用並忽略頂層 const。上例中 param 實際類型為 const Widget* const&，但 typeid 輸出 const Widget* —— 錯誤！
編譯器擴展：__PRETTY_FUNCTION__ / __FUNCSIG__
template
void f(const T& param) {
#if defined(__GNUC__) || defined(__clang__)
cout << __PRETTY_FUNCTION__ << '\n';
#elif defined(_MSC_VER)
cout << __FUNCSIG__ << '\n';
#endif
}
輸出示例：
- GCC：
void f(const T&) [with T = const Widget*] → 推導出 T = const Widget*，參數類型 const Widget* const&（正確）；
- Clang：
void f(const Widget* const&)（直接給參數類型，需反推 T）；
- MSVC：
void __cdecl f<const class Widget*>(const class Widget* const&)（最清晰）。
結論：編譯器擴展比 typeid 可靠，但仍不如「編譯器診斷法」通用標準。
實戰建議
- 首選編譯器診斷法：寫
TD<T> t; TD<decltype(param)> p; 觸發錯誤，閱讀類型；
- IDE 僅作輔助，複雜模板不依賴；
- 運行時輸出僅用於動態多態類型檢查，不用於模板推導驗證；
- 最終還是要精通條款 1-3 的推導規則——工具輔助，規則為本。
掌握這三種方法，調試模板類型推導將不再是盲盒開箱，而是可控的工程過程。
