类方法与属性的内存存储位置及对象映射机制技术问询

一、属性的存储 #

• 对象的非静态属性会直接存储在对象自身的内存块中，不管对象是分配在栈还是堆上。每个对象都拥有独立的属性副本，彼此的属性修改不会互相影响。
• 针对示例的具体说明：
  • d1是栈上的对象，它的age就位于栈内存中d1对应的连续内存块里；
  • d2是堆上的对象（由new Dog()分配），它的age存储在堆内存中该对象的内存块里，而d2这个指针变量本身是存在栈上的，指向堆中对象的起始地址。

二、方法的存储 #

• 类的非虚成员方法（比如示例中的bark()）代码只会存在一份，存储在程序的**代码段（text segment）**中，所有该类的对象共享这一份代码实现，不会为每个对象单独复制方法代码。
• 补充说明：如果是虚成员方法，编译器会生成额外的虚表（vtable）来存储虚函数指针，但非虚方法没有这个额外开销，直接共用代码段中的实现。
• 针对示例的具体说明：bark()的代码就存放在程序的代码段里，d1和d2调用bark()时，执行的都是同一段代码。

三、方法与对象的关联机制 #

• 当你调用obj.foo()（或指针形式的obj->foo()）时，编译器会自动把当前对象的地址作为隐式参数（也就是我们常说的this指针）传递给成员方法。
• 在方法内部访问非静态属性（比如bark()里的age）时，编译器会自动把代码替换成this->age——本质上就是通过this指针找到对应对象的内存块，再访问其中的属性。
• 针对示例的具体说明：
  • 调用d1.bark()时，编译器会把&d1（d1的地址）作为this指针传递给bark()，所以方法里的age实际是this->age，也就是栈上d1对象的age；
  • 调用d2->bark()时，传递的this指针是d2的值（堆对象的起始地址），因此访问的是堆上对象的age。

四、C++标准的规定与实现细节 #

• C++标准并没有强制规定内存布局的具体细节（比如栈/堆的具体地址范围、代码段的具体名称），这些属于实现定义的内容，不同编译器（如GCC、Clang、MSVC）或硬件架构（x86-64、ARM）可能有细微差异，但核心逻辑是统一的：
  • 非静态属性属于对象实例，每个对象拥有独立副本；
  • 非虚成员方法是类级别的，所有对象共用一份代码；
  • 通过隐式的this指针完成对象与方法的关联。
• 以x86-64架构下的GCC为例：
  • 栈对象存储在当前线程的栈空间中，堆对象由new底层调用的malloc在堆空间分配；
  • 成员方法的代码放在.text段（代码段）；
  • this指针通常通过rdi寄存器传递（遵循x86-64的System V调用约定），编译器会在编译阶段把方法内的属性访问转换为this指针的偏移访问。

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