C++的类（class）是这门语言实现面向对象编程的基石，但很多开发者只停留在会写类的层面，对其背后的实现机制理解不深。事实上，类并不是简单的“结构体加函数”，它涉及内存布局、访问控制、继承体系、虚函数表、动态绑定等多套机制的协同工作。理解这些机制，是写出高质量C++代码、排查疑难问题的基础。
一、封装机制：类如何把数据和操作绑定在一起
封装是类最基础的机制。从内存角度看，一个不含虚函数的类，其成员变量的布局与C语言的结构体几乎完全一致，成员按声明顺序依次排列，编译器会根据对齐规则插入填充字节。可以用sizeof验证这一点。
#include <iostream>
class Point {
private:
int x;
int y;
public:
Point(int a, int b) : x(a), y(b) {}
int getX() const { return x; }
};
int main() {
std::cout << sizeof(Point) << std::endl; // 输出8，与两个int的结构体相同
return 0;
}
成员函数并不存储在对象内部。所有对象共享同一份函数代码，编译器在编译时把成员函数转换为普通函数，并通过一个隐藏的this指针把当前对象的地址传进去。例如pt.getX()实际上被处理成类似getX(&pt)的调用形式。这就解释了为什么成员函数不占用对象的大小。
访问控制（private、protected、public）则是纯编译期机制。编译器在语法检查阶段拦截非法访问，编译产物中并不存在任何运行时的权限信息。这也是为什么通过指针强转或内存操作可以绕过private限制，但这样做是未定义行为的温床，实践中绝对不推荐。
二、继承机制：对象模型如何叠加与裁剪
继承允许一个类在已有类的基础上扩展。单继承下，派生类对象的内存布局是“基类子对象在前，新增成员在后”。也就是说，派生类对象内部天然包含一个完整的基类对象，编译器可以安全地把派生类指针隐式转换为基类指针，因为地址值不变。
class Animal {
public:
int age;
void eat() { std::cout << "eating" << std::endl; }
};
class Dog : public Animal {
public:
int tailLength;
};
// sizeof(Dog) 等于 sizeof(Animal) + sizeof(int)（不考虑对齐）
构造与析构的顺序由这套对象模型决定：构造时先构造基类部分再构造派生部分，析构时顺序完全相反。这个顺序保证了在任何时刻，已构造的部分总是可以安全使用。多重继承则更复杂，派生类中会包含多个基类子对象，指针在不同基类之间转换时可能发生地址偏移，这也是多重继承容易引发隐蔽bug的原因之一。
三、多态机制：虚函数表与动态绑定
封装和继承本质上都是编译期机制，而多态是类体系中唯一依赖运行时支持的机制，其核心是虚函数表（vtable）。一旦类中声明了虚函数，编译器就会为该类生成一张函数指针数组，并在每个对象头部插入一个隐含的vptr指针，指向所属类的虚函数表。这也是为什么含虚函数的类，sizeof结果会在成员变量基础上多出一个指针的大小（64位系统上通常是8字节）。
class Shape {
public:
virtual double area() const { return 0; }
virtual ~Shape() {}
};
class Circle : public Shape {
double r;
public:
Circle(double r) : r(r) {}
double area() const override { return 3.14159 * r * r; }
};
void printArea(const Shape& s) {
std::cout << s.area() << std::endl; // 动态绑定
}
调用s.area()时，编译器生成的代码会先通过对象头部的vptr找到虚函数表，再按固定槽位取出area的实际地址并调用。因为Circle重写了area，其虚函数表中对应槽位存放的是Circle版本的地址，所以即使通过基类引用调用，执行的也是派生类的实现。这就是动态绑定，它带来运行期的灵活性，代价是每次调用多一次寻址和一次间接跳转，同时阻碍了编译器内联优化。
与之相对，普通函数调用属于静态绑定，目标在编译期就已确定。需要注意，动态绑定只在指针或引用调用时生效，用对象直接调用、或者在值传递时把派生类对象赋给基类对象，都会发生“对象切片”——派生类新增部分被裁掉，只保留基类子对象，多态随之失效。
四、几个必须掌握的实践要点
第一，基类析构函数要声明为virtual。通过基类指针delete派生类对象时，如果析构函数不是虚函数，只会调用基类析构，派生类部分资源泄漏。上面的Shape示例中virtual ~Shape()就是为此而设。
第二，不要在构造函数和析构函数中调用虚函数。构造基类部分时，对象的动态类型还是基类，此时虚函数调用不会下放到派生类版本，容易造成逻辑错误。第三，理解虚函数的代价后再决定是否使用：对于小而频繁的函数调用，普通函数配合模板或重载往往性能更好；而对于需要运行期扩展性的场景，虚函数依然是最优雅的方案。
总而言之，C++的类实现了封装、继承、多态三大机制：封装依靠编译期访问控制和隐藏的this指针完成数据与行为的绑定；继承通过对象内存布局的叠加实现代码复用与类型转换；多态则借助虚函数表和动态绑定，在运行期根据对象真实类型分派行为。掌握了这些底层原理，你在设计类层次、排查内存问题、做性能优化时都会游刃有余。