面向对象编程中类方法内部实现与对象内存开销问询

嘿，这个问题问到了面向对象编程的核心内存细节上，作为有几年经验的开发者，我来结合C++的实现给你掰扯明白：

1. 对象共享类方法的内部原理 #

面向对象里，对象的核心职责是存储自身独有的状态（属性），而方法是操作这些状态的通用逻辑——这类逻辑是类层面的公共规则，完全不需要每个对象都复制一份。

在C++中，非虚成员函数在编译阶段就会被转换成普通的全局函数，只是编译器会偷偷给它加一个隐藏的this指针参数。当你写obj.method()时，编译器实际会编译成Method(&obj)，把当前对象的地址传给函数，这样函数就能通过this精准访问到该对象的属性。

这种设计既大幅节省了内存（不用每个对象冗余存储方法），又保证了方法能正确操作对应对象的状态。

2. C++中方法是否指向同一内存地址？ #

分两种核心场景来看：

• 非虚成员函数：所有对象调用的都是同一个函数地址。这类函数是编译时静态绑定的，属于类的全局资源，和具体对象无关。你可以通过取函数地址验证：

  class MyClass {
  public:
      void func() {}
  };
  
  int main() {
      MyClass a, b;
      // 输出1（true），说明两个对象的func地址完全相同
      std::cout << (&MyClass::func == &MyClass::func) << std::endl;
      return 0;
  }
  

• 虚成员函数：每个对象会持有一个虚表指针（vptr），指向类的虚表（vtable）——虚表是类层面的全局结构，里面存储了该类所有虚函数的地址。所以不同对象的vptr指向同一个vtable，对应的虚函数地址也完全相同，除非子类重写了虚函数（此时子类会有自己的独立vtable）。

3. 无属性类创建大量对象的内存开销 #

如果类没有属性，内存开销分两种情况：

• 无虚函数的空类：C++标准规定空类的大小至少为1字节。这是为了保证每个对象都有唯一的内存地址（否则多个空对象会占用同一个地址，程序无法区分它们）。这类对象不会存储任何方法相关的指针，方法调用完全靠编译时绑定。
• 包含虚函数的空类：每个对象会多占用一个指针的内存（64位平台是8字节，32位是4字节），用来存储vptr指向类的虚表。但虚表本身是类共享的，不会为每个对象复制。

换句话说，不管类有多少非虚方法，只要没有属性和虚函数，创建多少对象，每个对象只占1字节；如果有虚函数，每个对象占指针大小的内存——绝对不会为每个对象复制方法的地址指针，内存开销非常小。

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