友元函数必须在类内声明并加friend关键字,定义可在类外;友元类的所有成员函数均可访问授权类的私有/保护成员,但不具反向性。

friend 函数必须在类内声明,但定义可以放在类外
友元函数不是类的成员,不隐式接收 this 指针,但它能访问类的私有和保护成员——前提是它被该类明确授权。关键点在于:声明必须出现在类内部(哪怕只是前向声明),且必须加 friend 关键字;定义则可自由放在类外任意合法位置。
常见错误是把 friend 函数写成类内定义,误以为它是成员函数:
class A {
private:
int x = 42;
public:
friend void f(A& a) { return a.x++; } // ❌ 错!这是 inline 定义,但语法上允许,语义易混淆
};
更清晰、更常规的做法是分离声明与定义:
class A {
private:
int x = 42;
public:
friend void f(A& a); // ✅ 仅声明,带 friend
};
void f(A& a) { a.x++; } // ✅ 定义在类外,无 friend 关键字
友元函数常用于重载 > 运算符
这是最典型、最不可替代的使用场景:因为 operator 左操作数是 <code>std::ostream&,不可能是类本身,所以无法作为成员函数实现;而又要读取类的私有数据,只能靠友元。
立即学习“C++免费学习笔记(深入)”;
- 声明时必须是
friend std::ostream& operator - 函数参数顺序不能颠倒:流对象必须是第一个参数
- 返回
os(而非*this)才能支持链式调用,如cout
class Vec {
double x_, y_;
public:
Vec(double x, double y) : x_(x), y_(y) {}
friend std::ostream& operator<<(std::ostream& os, const Vec& v) {
return os << "(" << v.x_ << ", " << v.y_ << ")"; // ✅ 可直接访问 v.x_, v.y_
}
};
友元类的所有成员函数自动获得访问权限
声明 friend class B; 后,B 的每一个成员函数(包括构造函数、析构函数、模板实例化函数)都能访问当前类的私有/保护成员。注意:B 的友元关系不会反向继承——A 不是 B 的友元,除非显式声明。
容易踩的坑:
- 友元类声明不等于“把
B加入A的作用域”,B仍需正常包含头文件或前向声明 - 如果
B是模板类,友元声明要写成template<typename t> friend class B;</typename>,否则只对特化版本生效 - 友元类不能访问嵌套在
A内部的私有类型别名(如using PrivateType = ...;),除非该类型本身是 public
友元破坏封装性,但某些场景下无可替代
友元不是设计缺陷的遮羞布,而是为解决特定耦合问题提供的窄通道。典型合理用途包括:
- 两个紧密协作的类(如
Iterator和Container)需要互相访问底层数据结构 - 序列化/反序列化辅助类(如
Serializer<myclass></myclass>)需深度访问字段 - 单元测试类(如
TestMyClass)需要验证私有状态,尤其在无法改写接口时
真正危险的是滥用:比如只为图方便把一个工具函数设为友元,却完全可以通过 public getter/setter 或更小粒度的友元函数替代。一旦引入友元,就等于把那块私有区域的访问契约交给了外部代码——后续修改字段名、布局或语义时,所有友元代码都得同步检查。











