.net托管内存如何处理对象内的值类型？

Question

public class MyClass
{
    public int Age;
    public int ID;
}

public void MyMethod() 
{
    MyClass m = new MyClass();
    int newID;
}

据我了解,以下是真实的:

1. 当MyMethod()退出时,引用m存在于堆栈上并超出范围.
2. 值类型newID存在于堆栈中,并在MyMethod()退出时超出范围.
3. 当MyMethod()退出时,由new运算符创建的对象存在于堆中并由GC回收,假设不存在对该对象的其他引用.

这是我的问题:

1. 对象中的值类型是否存在于堆栈或堆上？
2. 对象中的装箱/取消装箱值类型是否值得关注？
3. 关于这个主题,是否有任何详细但可理解的资源？

从逻辑上讲,我认为类中的值类型会在堆中,但我不确定是否必须将它们装入盒中.

编辑:

建议阅读本主题:

1. CLR通过C#by Jeffrey Richter
2. Don Box的Essential .NET

Answer 1

类的值类型值必须与托管堆中的对象实例一起存在.方法的线程堆栈仅在方法的持续时间内存在; 如果该值仅存在于该堆栈中,该值如何保持不变？

托管堆中的类对象大小是其值类型字段,引用类型指针和其他CLR开销变量(如同步块索引)的总和.当一个值为对象的value-type字段赋值时,CLR将该值复制到该特定元素字段的对象内分配的空间.

举个例子,一个带有单个字段的简单类.

public class EmbeddedValues
{
  public int NumberField;
}

有了它,一个简单的测试类.

public class EmbeddedTest
{
  public void TestEmbeddedValues()
  {
    EmbeddedValues valueContainer = new EmbeddedValues();

    valueContainer.NumberField = 20;
    int publicField = valueContainer.NumberField;
  }
}

如果您使用.NET Framework SDK提供的MSIL反汇编程序来查看EmbeddedTest.TestEmbeddedValues()的IL代码

.method public hidebysig instance void  TestEmbeddedValues() cil managed
{
  // Code size       23 (0x17)
  .maxstack  2
  .locals init ([0] class soapextensions.EmbeddedValues valueContainer,
           [1] int32 publicField)
  IL_0000:  nop
  IL_0001:  newobj     instance void soapextensions.EmbeddedValues::.ctor()
  IL_0006:  stloc.0
  IL_0007:  ldloc.0
  IL_0008:  ldc.i4.s   20
  IL_000a:  stfld      int32 soapextensions.EmbeddedValues::NumberField
  IL_000f:  ldloc.0
  IL_0010:  ldfld      int32 soapextensions.EmbeddedValues::NumberField
  IL_0015:  stloc.1
  IL_0016:  ret
} // end of method EmbeddedTest::TestEmbeddedValues

请注意,CLR被告知将堆栈中加载的值"20" stfld加载到加载的EmbeddValues的NumberField字段位置,直接进入托管堆.类似地,在检索值时,它使用ldfld指令直接将该托管堆位置的值复制到线程堆栈中.这些类型的操作不会发生框/拆箱.