一、引言让对象也能像普通变量一样运算在前面的学习中我们已经掌握了 C 的基础语法、函数、指针、面向对象、继承与多态。我们可以轻松定义类、创建对象、封装数据、实现多态接口。但你是否想过为什么两个 int 可以直接 a b而我们自己写的对象 Student、Point、Complex 不能直接相加、比较、输出因为 C 内置的运算符 - * / ! [] () -- 等默认只支持基本数据类型并不认识我们自定义的对象。为了让对象也能自然、直观、优雅地参与运算C 提供了运算符重载Operator Overloading机制。它是面向对象编程中提升代码可读性、简洁性的关键技术。与此同时为了在特定场景下让外部函数或类能够访问类的私有成员C 提供了友元Friend。而为了真正理解对象为什么能调用成员、this 指针是什么、对象占多少内存、多态底层如何实现我们必须深入C 对象模型。本篇文章将系统、深入、完整讲解运算符重载的意义与语法常用运算符重载 - ! -- [] ()友元函数与友元类C 对象内存模型this 指针底层原理常函数、常对象、mutable运算符重载的工程规范与陷阱本篇内容偏向底层与进阶是从 “会用 C” 到 “精通 C” 的必经之路。二、运算符重载让对象支持数学运算一什么是运算符重载运算符重载对 C 已有运算符重新定义使其支持自定义对象的运算。本质 运算符本质是函数。 例如a b等价于operator(a, b)重载后我们可以写出这样的代码cpp运行Point p1(1,2), p2(3,4); Point p3 p1 p2;二运算符重载语法cpp运行返回值类型 operator 运算符 (参数) { // 实现逻辑 }例如重载加号cpp运行来源mzjlrdb.cn/AQTRO来源mzjlrdb.cn/TBEYS来源mzjlrdb.cn/DVRHR来源mzjlrdb.cn/WRMBX来源mzjlrdb.cn/BQGIS来源mzjlrdb.cn/DGUPS来源mzjlrdb.cn/VTZUC来源mzjlrdb.cn/UBASF来源mzjlrdb.cn/ZPZGP来源mzjlrdb.cn/FIWMVPoint operator(Point other) { return Point(x other.x, y other.y); }三运算符重载两种实现方式成员函数重载this 指针作为左操作数全局函数重载需要用友元访问私有成员三、常用运算符重载实战1. 加号运算符 cpp运行class Point { private: int x, y; public: Point(int x0, int y0) : x(x), y(y) {} Point operator(Point p) { return Point(xp.x, yp.y); } };2. 等号 、不等cpp运行bool operator(Point p) { return xp.x yp.y; } bool operator!(Point p) { return !(*this p); }3. 自增 前置、后置cpp运行// 前置 p Point operator() { x; y; return *this; } // 后置 p Point operator(int) { Point temp *this; x; y; return temp; }4. 左移运算符 输出对象必须全局 友元cpp运行friend ostream operator(ostream out, Point p) { out p.x , p.y; return out; }使用cpp运行cout p1 endl;5. 赋值运算符 重点解决浅拷贝问题如果对象中有指针必须重载 实现深拷贝。cpp运行class Test { private: int *p; public: Test(int val) { p new int(val); } // 重载赋值 Test operator(Test t) { if (this t) return *this; // 防止自赋值 delete p; // 释放旧内存 p new int(*t.p); // 深拷贝 return *this; } ~Test() { delete p; } };6. 下标运算符 []cpp运行int operator[](int index) { return arr[index]; }7. 函数调用运算符 ()用于实现仿函数是 STL 核心基础。四、不能重载的运算符以下 5 个运算符不能重载C 固定规则::域解析.成员访问.*成员指针解引用sizeof?:三目运算符五、友元打破封装的 “特殊授权”一什么是友元友元允许外部函数 / 外部类访问当前类的private/protected成员。友元的作用实现运算符重载如 提高某些场景效率方便类之间协作注意友元破坏封装不要滥用二友元函数cpp运行class A { private: int x; public: friend void show(A a); // 友元函数 }; void show(A a) { cout a.x; // 可访问私有 }三友元类cpp运行class B; class A { friend class B; // B是A的友元类 private: int x; }; class B { public: void f(A a) { cout a.x; } };六、C 对象模型深入底层核心一对象占多少内存对象内存 所有非静态成员变量大小之和成员函数不占对象内存静态成员变量不属于对象属于类空对象大小1 字节占位示例cpp运行来源gy.baqiaoyijia.cn来源u1.baqiaoyijia.cn来源2k.baqiaoyijia.cn来源b0.baqiaoyijia.cn来源d9.baqiaoyijia.cn来源ya.baqiaoyijia.cn来源2c.baqiaoyijia.cn来源v9.baqiaoyijia.cn来源6d.baqiaoyijia.cn来源6o.baqiaoyijia.cnclass A { int a; double b; }; cout sizeof(A); // 16内存对齐二多态对象内存布局如果类中有虚函数对象前 4/8 字节多一个vptr 虚指针指向vtable 虚函数表多态调用底层p-speak()→ 通过对象找到 vptr → 通过 vptr 找到 vtable → 在表中找到函数地址 → 调用三this 指针底层每个非静态成员函数都隐含一个参数thisthis 指向当前调用对象的地址成员函数访问变量本质是this-x七、常函数、常对象与 mutable一常函数函数后加 constcpp运行void show() const { // 不能修改成员变量 }常函数中this 是 const 指针。二常对象cpp运行const Person p;只能调用常函数。三mutable被 mutable 修饰的成员变量在常函数中也可以修改。八、运算符重载工程规范保持运算符原有语义 不要做减法对称运算符建议全局重载 - * / ! 赋值运算符 必须成员重载自增自减返回值要符合惯例对象含指针必须重载 并深拷贝不要重载逻辑运算符 ||会丢失短路特性链式运算符必须返回引用 九、经典综合案例复数类Complexcpp运行#include iostream using namespace std; class Complex { private: double real, imag; public: Complex(double r0, double i0) : real(r), imag(i) {} // Complex operator(Complex c) { return Complex(realc.real, imagc.imag); } // bool operator(Complex c) { return realc.real imagc.imag; } // 前置 Complex operator() { real; imag; return *this; } // 友元 friend ostream operator(ostream out, Complex c); }; ostream operator(ostream out, Complex c) { out c.real c.imag i; return out; } int main() { Complex c1(1,2), c2(3,4); Complex c3 c1 c2; cout c3 endl; c3; cout c3 endl; return 0; }十、常见错误与陷阱重载 写成成员函数 → 无法链式调用自增后置不返回临时对象 → 逻辑错误赋值运算符不深拷贝 → 重复释放崩溃赋值运算符不判断自赋值 → 崩溃常函数修改成员 → 编译失败滥用友元 → 破坏封装、难以维护十一、本章总结本篇文章系统、深入、完整讲解了 C 高级面向对象核心运算符重载让对象支持 - * / ! -- [] ()友元函数 / 友元类授权访问私有成员对象内存模型成员不占对象内存、虚指针、虚表this 指针底层指向当前对象常函数、常对象、mutable深拷贝是重载赋值运算符的核心掌握本篇你将能够写出优雅、直观、接近自然语言的面向对象代码理解 C 对象底层实现彻底搞懂多态写出工程级、高健壮性的类为后续学习 STL 打下坚实基础下一篇预告第 9 篇《C 模板与泛型编程STL 核心思想》4000 字以上将带你学习函数模板类模板泛型编程思想模板特化、分离编译这是 STL标准模板库的基石
