C++ 類別模板靜態私有內部類初始化：typename 關鍵字解決依賴名稱非類型錯誤

錯誤程式碼

template <typename T>
Singleton<T>::Worker Singleton<T>::worker; // 錯誤：Worker 為依賴名稱

錯誤訊息

warning C4346: 'Singleton::Worker': 依賴名稱不是類型
error C2143: 缺少 ';'
error C4430: 缺少類型說明符

解決方案：加上 typename

template <typename T>
typename Singleton<T>::Worker Singleton<T>::worker; // 正確

原理解析

• Singleton<T>::Worker 依賴模板參數 T，屬於依賴名稱。
• 編譯器在實例化前無法確定它是類型還是靜態成員，預設為非類型。
• typename 明確告訴編譯器「這是一個類型」。

完整 Singleton 模板修正片段

template <typename T>
class Singleton {
    // ... 略 ...
    static Worker worker; // 宣告
};

// 定義靜態成員
template <typename T>
T* Singleton<T>::m_pInstance = nullptr;

template <typename T>
typename Singleton<T>::Worker Singleton<T>::worker; // 關鍵修正

其他依賴名稱場景

• 繼承基類模板：typename Base<T>::Type
• 模板參數預設值：template <typename T, typename = typename T::value_type>

總結

模板中定義靜態內部類成員時，必須在類型名前加 typename 解決依賴名稱歧義。此為 C++ 模板元程式設計核心規則之一。