C++ 核心編程：typename 關鍵字的雙重含義與依賴名稱解析

含義一：模板參數宣告 — class 與 typename 完全等價

template  class Widget;      // 傳統寫法
template  class Widget;   // 現代偏好，暗示 T 可為非類別型別

• 此處 零差異，純風格選擇。
• 部分開發者慣例：typename 用於「任意型別」，class 保留給「僅限使用者定義類別」 (非標準規定)。

含義二：標識「嵌套依賴型別名稱」 — 強制要求

模板內出現的名稱分兩類：

• 非依賴名稱： 不依賴模板參數 (如 int, std::string)。
• 依賴名稱： 依賴模板參數 (如 T::iterator, C::const_iterator)。
  若嵌套於類別內 → 嵌套依賴名稱。若為型別 → 嵌套依賴型別名稱。

解析困境：型別還是靜態成員？

template 
void print2nd(const C& container) {
    if (container.size() >= 2) {
        C::const_iterator iter(container.begin()); // 錯誤！編譯器假定非型別
        ++iter;
        int value = *iter;
    }
}

C::const_iterator 可能是：

1. 巢狀型別 (typedef ... const_iterator;)。
2. 靜態資料成員 (static int const_iterator;)。

模板解析時 C 未知，標準規定：預設假定非型別。上例被視為 C::const_iterator * iter(...) (乘法/宣告歧義)。

解決方案：關鍵字 typename

typename C::const_iterator iter(container.begin()); // 明確告知是型別

鐵律： 凡在模板中使用嵌套依賴型別名稱，必須在其前加 typename。

適用與不適用場景

template 
void f(const C& container,          // C 非嵌套 → 不需 typename
       typename C::iterator iter);  // C::iterator 嵌套依賴型別 → 必須 typename

• 基類列表、成員初始化列表中的基類標識符：禁止加 typename (標準例外)。

template 
class Derived : public Base::Nested { // 基類列表：不加 typename
public:
    Derived(int x) : Base::Nested(x) { // 成員初始化列表基類標識符：不加
        typename Base::Nested temp;    // 一般使用：必須加 typename
    }
};

實戰慣用語：typedef typename

template 
void workWithIterator(IterT iter) {
    typedef typename std::iterator_traits::value_type value_type; // 簡化後續使用
    value_type temp(*iter);
    // ...
}

• std::iterator_traits::value_type 為嵌套依賴型別名稱 → 需 typename。
• 區域 typedef 簡化長名稱，typedef typename 雖顯怪異但合乎邏輯。

編譯器相容性警示

• 舊編譯器可能：缺 typename 也通過、多加 typename 也通過、必需處拒絕 typename。
• 可能導致可移植性問題，建議嚴格遵循標準規則，並以多編譯器測試驗證。

重點整理

1. template <class T> 與 template <typename T> 完全等價。
2. 模板中使用嵌套依賴型別名稱 → 前綴 typename (基類列表、成員初始化列表基類標識符除外)。
3. 善用 typedef typename ... 簡化複雜型別表達式。