上篇把虚函数表扒了个底朝天今天聊一个争议很大的话题——友元。说实话友元这个特性C社区内部意见都不统一。有人觉得它是必要的工具有人说它是破坏封装的罪人。面试的时候如果你能讲清楚友元的适用场景和代价面试官会觉得你不是死记硬背的。除了友元运算符重载也是面试高频考点。特别是做机器人开发的自定义个Vector3、Matrix、Quaternion之类的类型是家常便饭运算符重载直接用影响使用体验。友元封装的一道合法缺口先看个问题。你写了个传感器类内部数据是private的class Sensor { double value_; int status_; public: Sensor(double v) : value_(v), status_(0) {} double getValue() const { return value_; } };现在你想写一个函数打印传感器的完整信息包括private的status_。怎么办要么加个getter把status_暴露出来要么……用友元。class Sensor { double value_; int status_; public: Sensor(double v) : value_(v), status_(0) {} double getValue() const { return value_; } friend void printFullInfo(const Sensor s); }; void printFullInfo(const Sensor s) { cout Value: s.value_ , Status: s.status_ endl; // 可以直接访问private成员 }friend关键字让一个外部函数或类可以访问你的private成员。说白了就是在封装的墙上开了个洞——有时候你需要这个洞。友元的三种形式面试可能会让你列举友元的用法一共三种。第一种普通函数做友元上面已经演示了。第二种友元类。A类把B类声明为友元B的所有成员函数都能访问A的privateclass SensorData { double raw_data_[100]; int data_count_; friend class DataProcessor; // DataProcessor可以访问所有private }; class DataProcessor { public: void process(const SensorData data) { for (int i 0; i data.data_count_; i) { // 直接访问raw_data_和data_count_ cout data.raw_data_[i] ; } } };第三种成员函数做友元。只让另一个类的某个特定函数访问class Sensor { double value_; friend void Calibrator::calibrate(Sensor s); // 只有Calibrator::calibrate能访问private // Calibrator的其他函数不行 };第三种用得最少但面试偶尔会考。友元的争议为什么有人说它不好讲真友元确实有争议。封装的核心思想是隐藏内部实现只暴露必要的接口。友元直接打破了这个原则——你让外部代码绕过了公开接口直接操作内部数据。如果项目里友元用多了代码的可维护性会下降。因为private成员可能被很多地方直接修改出了bug很难追踪。但完全不用友元也不现实。有些场景下友元是最干净的方案。比如运算符重载——运算符重载让自定义类型像内置类型一样好用在机器人开发里你经常会定义三维向量、四元数、位姿这些类型。如果没有运算符重载用起来是这样的Vector3 a(1, 2, 3); Vector3 b(4, 5, 6); Vector3 c a.add(b); // 丑 double d a.dot(b); // 还行有了运算符重载Vector3 c a b; // 漂亮 double d a * b; // 点积运算符重载的本质就是函数重载只不过函数名变成了运算符。实现方式是这样的class Vector3 { double x_, y_, z_; public: Vector3(double x, double y, double z) : x_(x), y_(y), z_(z) {} Vector3 operator(const Vector3 other) const { return Vector3(x_ other.x_, y_ other.y_, z_ other.z_); } double operator*(const Vector3 other) const { return x_ * other.x_ y_ * other.y_ z_ * other.z_; } };为什么运算符重载经常需要友元问题来了。如果你想让运算符的左操作数不是你的类的对象呢比如你想支持 2.0 * vector标量在左边向量在右边。如果operator*是成员函数左操作数必须是Vector3对象2.0 * vector就不好办了——2.0是double没有成员函数。这时候用友元函数来重载class Vector3 { double x_, y_, z_; public: Vector3(double x, double y, double z) : x_(x), y_(y), z_(z) {} // 友元函数重载支持 标量 * 向量 friend Vector3 operator*(double scalar, const Vector3 v) { return Vector3(scalar * v.x_, scalar * v.y_, scalar * v.z_); } // 成员函数重载支持 向量 * 标量 Vector3 operator*(double scalar) const { return Vector3(x_ * scalar, y_ * scalar, z_ * scalar); } }; Vector3 v(1, 2, 3); Vector3 a v * 2.0; // 成员函数 Vector3 b 2.0 * v; // 友元函数这就是友元在机器人开发中最常见的应用场景——让运算符重载支持对称的操作方式。面试中的高频考点面试官考运算符重载有几个常见的坑。第一个运算符重载不能改变运算符的优先级和结合性。还是加法的优先级不能因为你重载了就变了。第二个不是所有运算符都能重载。::、.、sizeof、?: 这四个不能重载。面试偶尔会问。第三个、()、[]、- 这四个运算符必须通过成员函数重载不能用友元。这个考得比较多。第四个重载的运算符至少要有一个操作数是自定义类型。你不能重载int int那是违法的。我面试的时候见过一个候选人把operator写成了友元函数面试官直接指出来了。这种基础错误不应该犯。补充一个运算符重载的实战经验重载运算符让自定义类型可以直接用cout输出这在调试时特别方便。很多新手调试时只会用GDB或者打日志其实如果你给传感器数据类型重载了调试时直接cout sensor_data就能看到完整信息效率提升很多。写法是用友元函数实现friend ostream operator(ostream os, const SensorData data)在里面把关键字段格式化输出。面试时如果你提到这个习惯面试官会觉得你是一个注重开发效率的人有良好的调试工具链意识。另外还有个容易忽略的点重载运算符时一定要同时重载!否则在某些STL容器和算法里会出问题C20之后可以用default来自动生成。给正在准备面试的你一点建议友元和运算符重载面试核心考的就两件事。一是友元的三种形式和适用场景特别是为什么运算符重载经常用友元这个问题能答上来的候选人不多。二是运算符重载的规则哪些必须成员函数、哪些不能重载、不能改变优先级这些细节。在机器人开发里运算符重载用得非常多。Eigen库之所以好用就是因为矩阵运算写起来跟数学公式一样自然。如果你自己写过Vector3、Quaternion的运算符重载面试的时候提一嘴很加分。如果这篇文章对你有帮助欢迎点赞、在看、转发三连。 你的支持是我持续更新的最大动力。「机器人软件开发面试·从入门到精通」连载系列上一篇第24篇 虚函数表——面试深挖时的杀手锏下一篇预告第26篇 模板函数——写通用算法的利器有任何问题欢迎评论区留言我会尽量回复。