友元函数必须在类内声明且不能为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
<p>// ❌ 错误：inspect 在全局作用域不可见
// inspect(ns::Data{}); // 编译失败：找不到该函数</p><p>// ✅ 正确：在 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<typename T>
class Vector {
T* data_;
size_t size_;
friend class Iterator<T>; // Iterator 可直接读 data_ 和 size_
};
<p>template<typename T>
class Iterator {
Vector<T><em> vec_;
size<em>t pos</em>;
public:
T& operator</em>() { return vec<em>->data</em>[pos_]; } // ✅ 直接访问私有成员
};过度使用友元会破坏封装，替代方案优先考虑 public 访问器或 getter/setter
友元本质是“开后门”，它绕过封装边界，使类的内部表示更容易被外部耦合。除非以下情况，否则应避免：
- 需要实现对称运算符（如
operator、<code>operator==），且左操作数不是当前类类型（如std::ostream ） - 两个类存在强共生关系，且设计上本就属于同一抽象层（如
std::string和它的string_view友元支持） - 性能关键路径中，避免 getter 函数调用开销（但现代编译器通常能内联简单 getter）
一个常被忽视的坑：友元函数在模板类中声明时，若未用 template 参数显式关联，可能引发隐式实例化失败或 SFINAE 不生效。例如：
template<typename T>
class Wrapper {
private:
T value_;
template<typename U>
friend bool isEqual(const Wrapper<U>& a, const Wrapper<U>& b); // ✅ 显式模板友元
};没写 template<typename u></typename> 的话，编译器会认为这是非模板函数，导致特化不匹配。
