类的字段，它们是存储在堆栈还是堆？

Question

我昨天看到一个问题，提出了（对我来说）另一个问题。请看下面的代码：

public class Class1 
{ 
    int A; //as I uderstand, int is value type and therefore lives in the stack 
} 

class Class2 
{ 
    Run() 
    { 
     Class1 instance1 = new Class1(); 
     instance1.A = 10; //it points to value type, but isnt this reference (on heap)? 
    } 
} 

或者在创建Class1的实例时，它的字段类型也在堆上创建？但是，我不明白什么时候它真的会在堆栈上，因为几乎总是需要创建一个对象的实例才能使用它的字段。

Answer 1

本地结构（值类型）变量存储在堆栈中，类的值类型字段存储在堆上。

Answer 2

Ok int是一个值类型，但'1'（一个类的可怕名称）是一个引用类型。这意味着任何“1”的实例都在堆上。

Answer 3

据我所知，int是值类型，因此住在堆栈

你的理解是不正确。值类型被称为“值类型”，因为它们是按值复制的。引用类型被称为“引用类型”，因为它们通过引用被复制。 “价值类型总是活在堆栈中”并非完全正确。如果这是真的，他们将被称为“堆栈类型”和“堆类型”。

事实是，这是一个实现细节。不同的框架实现可以根据需要选择使用堆栈和堆。下面是Microsoft实现的方式：

• 引用类型变量的值是对堆内存的引用。参考基本上是一个32位或64位整数。
• 值类型变量的值是它的值。
• 局部变量的值存储在堆栈中，除非局部变量位于迭代器块中，或者是匿名方法或lambda表达式的外部变量的关闭。在这些情况下，局部变量的值存储在堆中。除非局部变量可以被优化掉，在这种情况下根本就没有存储。或者也许它们可以被注册，在这种情况下，它们既不在堆栈中，也不在堆中，它们在处理器寄存器中。
• 引用类型和静态变量的实例变量的值存储在堆上。

这是明确的吗？

它指向值类型，但不是此引用（在堆上）？

字段“A”是值类型的。它是一个字段，因此该变量存储在堆中。

在创建Class 1的情况下，它的字段类型在堆上创建的呢？

实例变量的存储位于堆上，是的。

但是，我不明白什么时候它真的会在堆栈上，因为几乎总是需要创建对象的实例才能使用它的字段。

它永远不会在堆栈上。正如我上面所说的，堆栈中唯一的东西是本地变量（和编译器生成的临时对象），它们不是闭包的lambda或匿名方法的本地数据，并且不在迭代器块中。当然，如果有自由寄存器，抖动可以完全自由地将它们放在堆栈上并放入寄存器。

但是真的，我不得不问，为什么你在乎堆栈上发生了什么以及堆上发生了什么？堆栈上的东西是我们可以便宜地放在堆栈上的东西;一切都在堆上。