C++ OOP工作原理及成员方法与C风格函数指针差异问询

简单来说，C++的OOP就是通过**类（class）或结构体（struct）**把「数据（成员变量）」和「操作数据的行为（成员方法）」封装成一个整体，让代码更贴合现实世界的事物逻辑，核心围绕三个关键特性展开：

• 封装：把对象的内部状态（成员变量）隐藏起来，只对外暴露必要的接口（成员方法）。比如你用std::string的时候，不需要知道它底层怎么存字符，只需要调用size()、append()这些方法就行——这就是封装的好处，降低耦合，减少错误。
• 继承：允许一个类（子类/派生类）继承另一个类（父类/基类）的属性和方法，还能扩展或重写父类的行为。比如你有一个Animal基类，派生出Dog和Cat，它们可以复用Animal的eat()方法，同时重写makeSound()方法实现各自的叫声。
• 多态：让同一个接口可以被不同类型的对象调用，产生不同的行为。分两种：
  • 静态多态：编译期确定，比如函数重载、模板；
  • 动态多态：运行期确定，通过虚函数（virtual关键字）实现——基类的指针或引用可以指向派生类对象，调用虚函数时会根据实际对象类型执行对应的方法。

咱们一个个来拆解你的疑问：

1. 为什么空类/空结构体的对象大小是1字节？ #

C++标准有个硬性规定：任何对象都必须有唯一的内存地址。如果空类的对象大小是0，那两个空对象就会占用同一个内存地址，编译器根本没法区分它们。所以编译器会给空类的实例分配至少1字节的空间，用来标记这个对象的存在——这就是你看到空结构体对象大小为1字节的原因。

2. C++成员方法不是函数指针，那它们是怎么实现的？ #

其实成员方法（非静态）在编译阶段会被编译器偷偷改造：编译器会给每个非静态成员方法添加一个隐藏的第一个参数——this指针！

举个例子，你写了这样的代码：

class MyClass {
public:
    void doSomething(int x) {
        // 这里可以用this->访问成员变量
    }
};

MyClass obj;
obj.doSomething(10);

编译器会把它转换成类似这样的底层调用：

doSomething(&obj, 10);

这个&obj就是this指针，它指向调用方法的对象实例。

也就是说，成员方法的代码并不存在于对象的内存中——所有同一个类的对象共享这一套方法代码，只是通过this指针来区分是哪个对象在调用。这也是为什么你去掉成员变量后，对象大小会骤降的原因：对象内存里只存成员变量（还有虚表指针，后面说），成员方法是存在代码段的。

3. 类在没有指针的情况下，是如何知晓自身成员方法的？ #

这其实是编译器的功劳：

• 对于非虚方法：编译期就已经确定了调用哪个函数。编译器会根据对象的静态类型（你写代码时声明的类型）直接绑定到对应的方法代码，不需要对象里存任何指针。
• 对于虚方法：这时候类会生成一个「虚函数表（vtable）」，里面存着所有虚方法的地址；同时每个对象里会有一个隐藏的「虚表指针（vptr）」，指向这个vtable。当你通过基类指针/引用调用虚方法时，会通过vptr找到对应的vtable，再找到要执行的方法地址——这就是动态多态的实现，这时候对象大小会多一个指针的空间（比如64位系统是8字节）。

至于你提到的12字节的对象，大概率是这个类里有3个4字节的成员变量（比如int类型），因为成员变量是实实在在存在对象内存里的，所以大小是3*4=12字节。

内容的提问来源于stack exchange，提问作者Mihail Fufin