《Effective Modern C++》條款 4：掌握類型推導查看技巧

理解編譯器如何推導類型，對編寫正確的現代 C++ 代碼至關重要。本文介紹三種在不同開發階段查看推導類型的方法。

方法一：IDE 編輯器懸停提示（編碼期）

現代 IDE（VS Code + clangd、Visual Studio、CLion 等）在滑鼠懸停變量時顯示推導類型：

const int theAnswer = 42;
auto x = theAnswer;      // IDE 顯示：int
auto y = &theAnswer;     // IDE 顯示：const int*

局限：代碼過於複雜時 IDE 解析可能失效。

方法二：編譯器錯誤診斷（編譯期） —— 最推薦

利用未定義的類模板觸發編譯錯誤，錯誤信息會包含具體類型：

template
class TD;  // Type Displayer，僅聲明不定義

TD xType;  // 實例化觸發錯誤
TD yType;

編譯器輸出示例：

// GCC/Clang
error: aggregate 'TD xType' has incomplete type
error: aggregate 'TD yType' has incomplete type

// MSVC
error: 'xType' uses undefined class 'TD'
error: 'yType' uses undefined class 'TD'

優點：準確、可靠、支持複雜模板場景。

方法三：運行期輸出（調試期）

1. typeid + type_info::name()

std::cout << typeid(x).name() << '\n';  // GCC: "i", MSVC: "int"

缺陷：按值傳遞語義，會丟失引用和 cv 限定符。例：const Widget* const& 顯示為 const Widget*。

2. 編譯器擴展：__PRETTY_FUNCTION__ / __FUNCSIG__

template
void f(const T& param) {
#if defined(__GNUC__) || defined(__clang__)
    std::cout << __PRETTY_FUNCTION__ << '\n';
#elif defined(_MSC_VER)
    std::cout << __FUNCSIG__ << '\n';
#endif
}

輸出示例：

// GCC: void f(const T&) [with T = const Widget*]
// MSVC: void __cdecl f(const class Widget *const &)
// Clang: void f(const Widget *const &)

GCC/MSVC 可直接看到參數完整類型（含引用和 const），Clang 需配合 typeid 推導 T。

實戰案例：模板參數推導陷阱

template
void f(const T& param);

std::vector createVec();
const auto vw = createVec();
if (!vw.empty()) f(&vw[0]);  // T 推導為何？

typeid 會誤導（三大編譯器均錯），TD 技法給出正確答案：T = const Widget*，param = const Widget* const&。

核心建議

• 首選 TD 技法：編譯期、準確、無運行開銷
• 輔助 __PRETTY_FUNCTION__：運行期調試、顯示函數簽名全貌
• 警惕 typeid：引用/CV 丟失，不可靠
• IDE 為輔：日常編碼快速查看，複雜場景不可信
• 根本靠規則：條款 1-3 的推導規則才是終極依據，工具只能輔助驗證

譯者註

IDE = Integrated Development Environment（集成開發環境）。