友元函数必须在类内声明且不能为static或virtual，它不是类成员、无this指针；只能声明不能定义在类内，类外定义需匹配签名；可访问私有成员但受命名空间等可见性规则约束。

友元函数声明必须在类内部，且不能有 static 或 virtual

友元函数不是类的成员，它不隐式接收 this 指针，因此不能是 static（静态函数本身就不需要 this，但友元和 static 语义冲突），也不能是 virtual（虚函数机制只对成员函数有效）。声明时直接写 friend 关键字 + 函数签名，例如：

class Box {
private:
    double width = 10.5;
public:
    friend void printWidth(const Box& box); // ✅ 正确：非成员、无 this
};

常见错误是把友元写成类内定义的普通函数：

• 写成 friend void printWidth() { ... } → 编译报错：友元不能定义在类内（只能声明）
• 写成 friend static void printWidth(...) → 编译报错：static 与 friend 冲突
• 在类外定义时忘了加作用域或参数类型不匹配 → 链接失败或调用不匹配

友元函数访问私有成员不经过访问控制，但需满足可见性规则

友元函数能直接读写类的 private 和 protected 成员，但这不代表它“无视一切”。它仍受命名空间、ADL（参数依赖查找）、模板实例化时机等限制。例如：

namespace ns {
class Data {
private:
    int val = 42;
    friend void inspect(const Data& d) { std::cout << d.val << '\n'; }
};
} // ns
// ❌ 错误：inspect 在全局作用域不可见
// inspect(ns::Data{}); // 编译失败：找不到该函数
// ✅ 正确：在 ns 内调用，或提前声明
namespace ns {
void test() { inspect(Data{}); } // OK
}

另一个易忽略点：friend 声明不会让函数自动内联或导出；若函数定义在头文件中且被多处包含，需加 inline 防止 ODR 违规。

立即学习“C++免费学习笔记（深入）”；

友元类所有成员函数都获得访问权限，但不传递、不继承

声明 friend class Helper; 后，Helper 的每个成员函数（包括构造、析构、模板特化）都能访问该类的私有成员。但要注意：

• 友元关系不可继承：如果 Derived 继承 Base，且 Helper 是 Base 的友元，Helper 不能访问 Derived 新增的私有成员
• 友元关系不可传递：若 A 是 B 的友元，B 是 C 的友元，A 不能访问 C 的私有成员
• 前向声明不足：若在类 A 中声明 friend class B;，而 B 尚未完整定义，则 B 的成员函数体内无法使用 A 的私有成员（因为此时 A 还是不完全类型）

典型场景是容器与迭代器配合：

template
class Vector {
    T* data_;
    size_t size_;
    friend class Iterator; // Iterator 可直接读 data_ 和 size_
};
template
class Iterator {
Vector vec_;
sizet pos;
public:
T& operator() { return vec->data[pos_]; } // ✅ 直接访问私有成员
};

过度使用友元会破坏封装，替代方案优先考虑 public 访问器或 getter/setter

友元本质是“开后门”，它绕过封装边界，使类的内部表示更容易被外部耦合。除非以下情况，否则应避免：

• 需要实现对称运算符（如 operator、operator==），且左操作数不是当前类类型（如 std::ostream ）
• 两个类存在强共生关系，且设计上本就属于同一抽象层（如 std::string 和它的 string_view 友元支持）
• 性能关键路径中，避免 getter 函数调用开销（但现代编译器通常能内联简单 getter）

一个常被忽视的坑：友元函数在模板类中声明时，若未用 template 参数显式关联，可能引发隐式实例化失败或 SFINAE 不生效。例如：

template
class Wrapper {
private:
    T value_;
    template
    friend bool isEqual(const Wrapper& a, const Wrapper& b); // ✅ 显式模板友元
};

没写 template 的话，编译器会认为这是非模板函数，导致特化不匹配。