類的字段，它們是存儲在堆棧還是堆？

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或匿名方法的本地數據，並且不在迭代器塊中。當然，如果有自由寄存器，抖動可以完全自由地將它們放在堆棧上並放入寄存器。

但是真的，我不得不問，爲什麼你在乎堆棧上發生了什麼以及堆上發生了什麼？堆棧上的東西是我們可以便宜地放在堆棧上的東西;一切都在堆上。