C++面向对象三大特性

前言C 是一门支持面向对象编程OOP的语言其三大特性——封装、继承、多态是构建高内聚、低耦合、可扩展软件的基石。本文将从概念到实现结合代码详细讲解每一个特性并深入剖析多态的底层机制vptr、vtable、虚析构原理帮助你彻底理解 C 的 OOP 精髓。一、封装Encapsulation封装是将数据属性和操作数据的方法函数捆绑在一起并隐藏内部实现细节仅对外暴露必要的接口。1.1 为什么需要封装安全性防止外部代码随意修改对象内部状态。模块化使用者只需关心接口不依赖内部实现。维护性内部逻辑可以自由修改只要接口不变外部代码不受影响。1.2 访问控制修饰符修饰符类内部派生类类外部private✅❌❌protected✅✅❌public✅✅✅1.3 代码示例银行账户#include iostream #include string using namespace std; class BankAccount { private: double balance; // 私有成员外部无法直接访问 string password; // 密码也隐藏起来 public: BankAccount(string pwd, double init 0.0) : password(pwd), balance(init) {} // 公开的存款接口 void deposit(double amount) { if (amount 0) balance amount; } // 公开的取款接口内部验证密码 bool withdraw(string pwd, double amount) { if (pwd ! password) return false; if (amount 0 amount balance) { balance - amount; return true; } return false; } // 只读查询余额不暴露修改能力 double getBalance(string pwd) const { if (pwd password) return balance; return -1; } }; int main() { BankAccount acc(1234, 1000); // acc.balance 9999; // 错误private 成员不可访问 acc.deposit(500); acc.withdraw(1234, 200); cout 余额: acc.getBalance(1234) endl; // 输出 1300 return 0; }封装的好处银行账户的余额只能通过公开的deposit/withdraw修改无法直接篡改。密码验证也隐藏在内部外部无需关心。二、继承Inheritance继承允许一个类子类/派生类获得另一个类父类/基类的成员属性和方法并可以增加新的功能或重写已有的功能。2.1 继承的类型实现继承派生类直接复用基类的实现代码。接口继承派生类只继承基类的函数声明纯虚函数必须自己实现。可视继承主要与GUI相关一般指子类继承父类的界面外观。2.2 继承的访问控制继承方式基类public基类protected基类privatepublic 继承仍是public仍是protected不可访问protected 继承变成protected变成protected不可访问private 继承变成private变成private不可访问实际开发中public继承最常用。2.3 代码示例交通工具#include iostream using namespace std; // 基类 class Vehicle { protected: string brand; int speed; public: Vehicle(string b, int s 0) : brand(b), speed(s) {} void accelerate(int delta) { speed delta; } void show() const { cout brand 当前速度: speed km/h endl; } }; // 派生类 Carpublic 继承 class Car : public Vehicle { private: int doors; public: Car(string b, int d, int s 0) : Vehicle(b, s), doors(d) {} void honk() const { cout 嘟嘟 endl; } // 可以重写 show 函数 void show() const { Vehicle::show(); // 调用基类 show cout 车门数: doors endl; } }; int main() { Car myCar(Tesla, 4, 50); myCar.accelerate(30); // 继承自 Vehicle myCar.honk(); // Car 自己的方法 myCar.show(); // 重写的方法 return 0; }继承的好处Car复用了Vehicle的brand、speed和accelerate避免重复代码并且可以扩展新功能honk、增加车门数。三、多态Polymorphism多态的意思是“同一个接口不同的实现”。C 支持两种形式的多态编译时多态静态多态在编译阶段确定调用哪个函数。包括函数重载、运算符重载、模板。运行时多态动态多态在程序运行时根据对象实际类型决定调用哪个函数。通过虚函数和继承实现。3.1 编译时多态(1) 函数重载同名函数参数列表不同类型、个数或顺序编译器根据实参选择合适版本。#include iostream using namespace std; void print(int i) { cout 整数: i endl; } void print(double d) { cout 浮点数: d endl; } void print(string s) { cout 字符串: s endl; } int main() { print(42); // 调用 print(int) print(3.14); // 调用 print(double) print(Hello); // 调用 print(string) return 0; }(2) 运算符重载允许自定义类型使用 、-、[] 等运算符。#include iostream using namespace std; class Vector2D { public: int x, y; Vector2D(int x 0, int y 0) : x(x), y(y) {} Vector2D operator(const Vector2D other) const { return Vector2D(x other.x, y other.y); } }; int main() { Vector2D v1(1, 2), v2(3, 4); Vector2D v3 v1 v2; cout v3.x , v3.y endl; // 输出 4, 6 return 0; }(3) 模板泛型编程模板实现了“编译时多态”的另一种形式同一段代码可以操作不同数据类型。#include iostream using namespace std; template typename T T max(T a, T b) { return (a b) ? a : b; } int main() { cout max(3, 7) endl; // int cout max(3.14, 2.71) endl; // double cout max(a, c) endl; // char return 0; }模板的实例化在编译时完成编译器根据调用参数生成不同版本函数因此没有运行时开销。3.2 运行时多态虚函数运行时多态是面向对象最核心的机制用基类指针或引用指向派生类对象调用虚函数时会执行派生类的版本。3.2.1 虚函数基本示例#include iostream using namespace std; class Animal { public: virtual void speak() const { // 声明为虚函数 cout Animal makes a sound. endl; } virtual ~Animal() {} // 虚析构函数后面详解 }; class Dog : public Animal { public: void speak() const override { // override 表示重写 cout Dog barks: Woof! endl; } }; class Cat : public Animal { public: void speak() const override { cout Cat meows: Meow! endl; } }; // 多态函数接受基类指针调用实际对象版本的 speak() void makeSound(const Animal* a) { a-speak(); } int main() { Dog d; Cat c; makeSound(d); // 输出 Dog barks: Woof! makeSound(c); // 输出 Cat meows: Meow! return 0; }为什么需要virtual如果没有virtualmakeSound会根据编译时类型Animal*调用Animal::speak永远输出“Animal makes a sound.”。virtual让调用在运行时动态决定。3.2.2 虚函数的底层原理vptr 和 vtable彻底详解这是理解多态的关键。我们先从内存布局入手。① 没有虚函数时的对象class Animal { int age; public: void eat() {} };sizeof(Animal)在 32 位系统下是 4 字节只有age。普通成员函数不占用对象内存它们像普通函数一样存在代码段。② 引入一个虚函数class Animal { int age; public: virtual void speak() {} };现在sizeof(Animal)在 32 位系统下通常是8 字节int age4字节 一个隐藏指针4字节。这个隐藏指针称为vptr虚指针。在 64 位系统下指针是 8 字节所以对象大小可能是 16 字节对齐后。③ 每个类都有自己的虚函数表vtable编译器在编译时会为每个包含虚函数的类生成一张虚函数表vtable。vtable 是一个数组里面存储了该类的所有虚函数的函数指针。Animal的 vtable包含Animal::speakDog的 vtable包含Dog::speakCat的 vtable包含Cat::speak④ 每个对象都有一个 vptr指向它所属类的 vtableAnimal a; // 对象 a 的 vptr 指向 Animal 的 vtable Dog d; // 对象 d 的 vptr 指向 Dog 的 vtable内存布局示意图32位系统Animal 对象无虚函数 ------- | age | 4字节 ------- Animal 对象有虚函数 -------------- | vptr | age | 8字节vptr 在对象开头 -------------- | --------- Animal 的 vtable: ---------------- | Animal::speak | ---------------- Dog 对象 -------------- | vptr | age | 继承自 Animal 的成员 -------------- | --------- Dog 的 vtable: -------------- | Dog::speak | --------------⑤ 动态绑定的具体过程当通过基类指针调用虚函数时比如Animal* p new Dog(); p-speak();编译器生成的代码大致等价于// 1. 从 p 指向的对象中取出 vptr void** vptr *(void***)p; // 2. 从 vtable 中取出 speak 函数的地址假设 speak 是 vtable 的第一个条目 void* func vptr[0]; // 3. 调用该函数 ((void(*)())func)();因为p指向的实际对象是Dog所以它的vptr 指向Dog的 vtable因此调用的是Dog::speak。⑥关键总结概念说明vtable虚函数表类级别的每个有虚函数的类都有一张表存储虚函数地址。vptr虚指针对象级别的每个对象都有一个隐藏的 vptr指向所属类的 vtable。动态绑定过程通过 vptr 找到 vtable再通过偏移取出函数地址并调用。性能开销一次间接寻址比普通函数调用稍慢但通常可以忽略。3.2.3override和final关键字override显式声明函数重写基类的虚函数如果签名不匹配会编译报错避免笔误。final禁止派生类继续重写该虚函数或者禁止类被继承。class Base { virtual void foo(); virtual void bar() final; // 不能在派生类中重写 }; class Derived : public Base { void foo() override; // 正确 // void bar() override {} // 错误bar 是 final };3.2.4 虚析构函数为什么基类析构函数必须是虚函数彻底讲透先看一个错误的例子#include iostream using namespace std; class Base { public: ~Base() { cout Base destructor endl; } // 非虚 }; class Derived : public Base { private: int* data; public: Derived() { data new int[100]; } ~Derived() { delete[] data; cout Derived destructor endl; } }; int main() { Base* p new Derived(); delete p; // 只调用 Base::~Base() return 0; }运行结果Base destructorDerived的析构函数没有被调用这导致了data指向的堆内存泄漏。为什么会这样当delete p时编译器看到p是Base*类型。如果Base的析构函数不是虚函数那么编译器就静态绑定直接调用Base::~Base()。它不会去查找实际对象类型Derived因此Derived的析构函数不会执行。解决方案将基类析构函数声明为virtual。class Base { public: virtual ~Base() { cout Base destructor endl; } };修改后运行结果Derived destructor Base destructor为什么virtual就能调用子类析构析构函数也是虚函数。当一个类有虚函数时它的对象就有 vptr。当delete p时编译器生成代码通过p的vptr 找到虚函数表从表中取出析构函数的地址也是动态绑定。由于p实际指向Derived对象vptr 指向Derived的 vtable所以调用的是Derived::~Derived()。Derived的析构函数执行完毕后会自动调用基类析构函数这是 C 保证的。虚析构函数的规则只要一个类会被作为基类使用就应该将其析构函数声明为virtual。如果一个类没有虚函数不可能被继承析构函数不需要虚析构。抽象类的析构函数也应该是虚函数3.3 模板多态 vs 运行时多态特性模板多态编译时虚函数多态运行时绑定时机编译期运行期性能无额外开销内联友好一次间接寻址稍微慢一点灵活性类型必须编译期确定可以在运行时动态决定对象类型代码膨胀可能产生多份实例化代码无额外膨胀适用场景高性能、类型严格、无继承的泛型多态容器、插件架构、框架设计3.4 常见面试追问与扩展Q1内联函数可以是虚函数吗答可以但内联请求会被忽略。因为内联是在编译期展开函数体而虚函数调用是运行时动态绑定两者矛盾。不过如果通过对象而非指针/引用调用虚函数编译器可能静态解析并内联。Q2静态成员函数可以是虚函数吗答不能。静态成员函数属于类没有this指针无法参与动态绑定。Q3构造函数可以是虚函数吗答不能。构造函数执行时对象的vptr 还未正确设置还没完全构造完成无法进行动态绑定。Q4一个类最多有几个虚函数表答单继承时有一个多继承时每个直接或间接基类如果含有虚函数就会有自己的 vtable 子表实际编译器可能会生成多个 vtable 或一个包含多个部分的大表。Q5虚函数表存放在哪里答通常是只读数据段.rodata或类似不是堆也不是栈。所有对象共享同一张表。四、三大特性协同工作示例最后用一个完整的例子展示封装、继承和多态如何配合。#include iostream #include vector #include memory using namespace std; // 抽象基类接口 class Shape { public: virtual double area() const 0; // 纯虚函数 virtual ~Shape() default; // 虚析构 }; // 派生类Rectangle class Rectangle : public Shape { private: // 封装 double width, height; public: Rectangle(double w, double h) : width(w), height(h) {} double area() const override { return width * height; } }; // 派生类Circle class Circle : public Shape { private: double radius; public: Circle(double r) : radius(r) {} double area() const override { return 3.14159 * radius * radius; } }; // 多态函数 void printArea(const Shape s) { cout 面积: s.area() endl; } int main() { vectorunique_ptrShape shapes; shapes.push_back(make_uniqueRectangle(4, 5)); shapes.push_back(make_uniqueCircle(3)); for (const auto sp : shapes) { printArea(*sp); // 运行时多态调用正确的 area() } return 0; }封装Rectangle的width和height私有外部只能通过构造函数或接口间接使用。继承Rectangle和Circle继承了Shape接口并实现了纯虚函数。多态printArea接受基类引用调用虚函数area动态分发到具体类版本。五、总结特性核心作用实现方式封装隐藏内部数据提供安全接口private/protected成员继承复用代码建立 is-a 关系class Derived : public Base多态同一接口不同行为扩展性虚函数运行时模板/重载编译时理解虚函数表vtable和虚指针vptr是掌握多态的关键每个有虚函数的类都有一张vtable。每个对象都有一个vptr 指向 vtable。通过 vptr 间接调用虚函数实现了运行时动态绑定。基类析构函数必须是虚函数否则派生类资源无法正确释放。希望本文能帮助你彻底理解 C 的封装、继承、多态并在实际开发中灵活运用。