C++ 模板名稱查找：兩階段編譯與依賴名稱解析

C++ 模板名稱查找：兩階段編譯與依賴名稱解析

C++ 模板編譯採用兩階段名稱查找機制，理解它對編寫正確模板代碼至關重要。

階段一：定義階段（非依賴名稱）

模板定義時，編譯器解析不依賴模板參數的名稱。此時模板參數未知，基類模板實例也未實例化，故不查看基類作用域。
示例：

typedef double E;
template class X { typedef int E; };
template class Y : public X { E f() {} }; // f() 返回 double！

Y::f 返回類型 E 不依賴 T，階段一解析，只見全局 typedef double E，故返回 double。若為普通類繼承，則見基類 typedef int E 返回 int——這是模板與非模板的關鍵差異。

階段二：實例化階段（依賴名稱）

模板實例化時（如 Y），編譯器解析依賴模板參數的名稱。此時基類已實例化，作用域可見。
關鍵規則：若需調用基類模板成員，必須顯式指明依賴性。

三種指明依賴的方式

1. this->member：this 類型依賴 T，故 this->member 為依賴名稱，延至階段二查找基類。
2. Base::member：顯式限定基類模板實例。
3. using Base::member;：引入基類成員到派生類作用域（C++11）。

示例對比

void g() { cout << "global"; }
template class X { void g() { cout << "X::g"; } };
template class Y : public X {
    void f() { g(); this->g(); } // 第一個調用 global，第二個調用 X::g
};

g() 非依賴 → 階段一見全局 g。
this->g() 依賴 → 階段二見 X::g。

編譯器報錯提示

若寫 g() 但無全局 g，且意圖調用基類 g，編譯器報錯：
error: there are no arguments to 'g' that depend on a template parameter, so a declaration of 'g' must be available
這正是提示你：「這不是依賴名稱，我現在就要找聲明，找不到就報錯。」

最佳實踐

• 模板派生類中調用基類成員，習慣加 this->。
• 類型名稱前加 typename，模板成員前加 template（如 this->template func()）。
• 善用 using Base::member; 批量引入（C++11）。