跳转到主内容
新派编程网 - 新潮编程理念,全新技术课堂!

c++中如何使用友元函数friend_c++友元类与友元函数详解

友元函数必须在类内声明且不能为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
的每个成员函数(包括构造、析构、模板特化)都能访问该类的私有成员。但要注意: C函数速查手册(CHM版) C函数速查手册(CHM版) 下载 友元关系不可继承:如果
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 << const MyClass&
) 两个类存在强共生关系,且设计上本就属于同一抽象层(如
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
的话,编译器会认为这是非模板函数,导致特化不匹配。

相关文章