C#中调用含类实例的方法时，栈与堆的存储机制解析

先纠正你之前的核心误解：不管是static还是实例方法，方法的代码本身既不在栈也不在堆，而是存在进程的**元数据区（方法区）**里——这是专门存放类型定义、方法代码等元数据的区域。下面分两种场景详细说明栈和堆的存储内容：

一、非static（实例方法）场景 #

栈（Stack）存储的内容： #

• Main方法的调用栈帧（激活记录）：包含局部变量（比如你创建的Program实例引用prog）、方法的返回地址、临时数据。
• 每次ReverseString实例方法调用的栈帧：
  • 方法传入的参数（比如初始的"abc"、递归时的"bc""c"）
  • 方法内的局部变量（递归过程中生成的临时字符串片段）
  • 当前方法执行完后要回到的代码位置（返回地址）
  • 额外的this指针：因为是实例方法，每个栈帧都会包含指向堆中Program实例的引用（哪怕这个实例没有任何成员变量，this依然存在）

堆（Heap）存储的内容： #

• Program类的实例对象：你通过new Program()创建的实例存放在堆里，哪怕它没有成员变量，也会占用少量堆内存。
• 所有字符串对象：C#里字符串是引用类型，不管是原字符串、递归拆分的子串还是最终反转后的"cba"，都存储在堆的字符串池（或普通堆区域）中。

二、static方法场景 #

栈（Stack）存储的内容： #

• Main方法的调用栈帧：包含局部变量（比如接收反转结果的reversed）、返回地址等。
• 每次Program.ReverseString静态方法调用的栈帧：
  • 方法的传入参数（各个阶段的字符串）
  • 方法内的局部变量（临时字符串片段）
  • 返回地址
  • 没有this指针：静态方法不依赖类实例，所以栈帧里不需要这个引用

堆（Heap）存储的内容： #

• 所有字符串对象：和实例方法场景完全一致，所有参与递归的字符串都存在堆中。
• 无Program类实例：因为静态方法不需要实例化类就能调用，所以堆里不会有Program的实例对象。

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