C++ 模板類友元函式完全指南：三種宣告模式與連結錯誤解決方案

3. 模板友元（綁定類模板參數）

template 
class A {
    friend void func(T u); // 僅 func 可存取 A，需前向宣告 func 模板
};

解決連結錯誤的三種標準寫法

寫法一：類內定義（封閉型）

template 
class MyClass {
    friend void func(MyClass& arg) {
        // 直接在類內實現
    }
};

優點：簡潔，無連結問題。缺點：類定義膨脹，不適合複雜函式。

寫法二：類內宣告雙層模板（開放型）

template 
class MyClass {
    template 
    friend void func(MyClass& arg); // 注意：新模板參數 C
};

template 
void func(MyClass& arg) { ... } // 類外定義

優點：友元函式模板參數與類模板參數獨立，靈活度最高。

寫法三：顯式指定模板參數（推薦）

template 
class A {
    friend std::ostream& operator<<  (std::ostream&, const A&); // 關鍵：
};

template 
std::ostream& operator<<(std::ostream& os, const A& a) { ... }

優點：語意明確——友元正是對應類模板參數的那個函式模板實例。最符合直覺，推薦用於運算子重載。

選擇建議

• 希望友元函式與類模板實例一一對應 → 寫法三（顯式 <T>）。
• 希望友元函式獨立於類模板參數 → 寫法二（雙層模板）。
• 簡短內聯函式 → 寫法一（類內定義）。

核心原理

友元非成員函式，不參與模板實參推演。必須在宣告處明確告知編譯器「這是個模板」**，否則編譯器視為具體函式，導致實例化缺失、連結失敗。