☰
01-03-认知篇-C#内存模型深度解析
2026/9/30 2:41:42 网站建设 项目流程

C# 内存模型深度解析

篇章:01-认知篇 |阅读时间:约 40 分钟 |前置知识:了解 C# 基本语法


一、引言

GC 管理的对象在 C# 的托管堆上分配。但并非所有数据都在托管堆上——值类型可以在栈上分配,引用类型的引用在栈上但对象在堆上。理解 C# 内存模型的每个细节,是准确分析 GC 行为的前提。


二、托管堆

托管堆是 GC 管理的内存区域,所有引用类型对象(class 实例、数组、委托、字符串)都分配在此。

托管堆布局: ┌────────────────────────────────────────────┐ │ Gen 0 │ Gen 1 │ Gen 2 │ LOH │ │ (新对象) │ (晋升) │ (长期存活) │ (大对象) │ └────────────────────────────────────────────┘

关键特征:

  • 堆上的对象通过可达性分析判断生死
  • 对象被回收后内存可能被压缩(移动对象)
  • 分配在堆上的对象具有不确定的生命周期

三、栈

每个线程有独立的栈,存储:

  • 局部变量和方法参数
  • 函数调用的返回地址
  • 值类型实例(当作为局部变量时)

栈的自动管理特性:

  • 分配快:只需移动栈指针(SP)
  • 释放快:方法返回时 SP 恢复
  • 不产生 GC:栈上的数据随方法返回自动释放
void Example() { int x = 42; // x 在栈上,不经过 GC MyClass obj = new(); // obj 引用在栈上,对象在堆上 // x 随方法返回自动释放,不产生 GC // obj 指向的堆对象由 GC 管理 }

四、值类型与引用类型

维度值类型(struct)引用类型(class)
存储位置栈(局部变量)或堆(装箱/字段)堆
赋值语义复制整个数据复制引用(指针)
GC 管理不直接管理(栈上)GC 标记-清扫
默认传递传值(复制)传引用(指针复制)
可为 null可(Nullable)可
多态不支持(无虚函数表指针)支持

五、对象头与内存布局

每个托管对象从对象头开始,然后是实际数据:

┌─────────────────┐ │ Object Header │ 8-16 字节(同步块索引 + 方法表指针) ├─────────────────┤ │ 字段 1 │ │ 字段 2 │ │ ... │ 实际数据 │ 字段 N │ ├─────────────────┤ │ 填充 (Padding) │ 对齐到 4/8 字节 └─────────────────┘

对象头的开销:

  • 32 位:8 字节(SyncBlockIndex 4B + MethodTable* 4B)
  • 64 位:16 字节(SyncBlockIndex 4B + 填充 4B + MethodTable* 8B)

六、GC Roots

GC 从一组称为 Roots 的引用出发遍历对象图:

Roots 类型内容数量级
栈变量每个线程栈上的对象引用数百
静态变量全局静态字段数百到数千
寄存器CPU 寄存器中的引用数十
GC HandleGCHandle.Alloc 固定的对象数百
Finalizer 队列待执行 Finalizer 的对象数十

七、总结

C# 内存模型的核心在于"栈引用 → 堆对象"的架构。栈上的值类型自动释放不经过 GC,堆上的引用类型由 GC 管理。理解这个基础架构是正确分析 GC 分配来源和优化策略的前提。

八、内存模型对 GC 性能的影响

内存区域GC 管理分配速度回收方式性能影响
托管堆GC 标记-清扫中(bump ptr)GC 周期回收GC 暂停
栈自动(SP移动)极快(1指令)函数返回零暂停
LOHGC 特殊管理慢(空闲链表)Gen2 GC长暂停
PinnedGC + 手动正常阻碍压缩增加碎片

需要专业的网站建设服务?

联系我们获取免费的网站建设咨询和方案报价,让我们帮助您实现业务目标

立即咨询