内存分配：堆栈还是堆？

Question 1

我对Stack vs Heap之间的内存分配基础感到困惑。根据标准定义（每个人都说），所有值类型都将分配到堆栈上，而引用类型将放入堆中。

现在考虑以下示例：

class MyClass
{
    int myInt = 0;    
    string myString = "Something";
}

class Program
{
    static void Main(string[] args)
    {
       MyClass m = new MyClass();
    }
}

现在，如何在c＃中进行内存分配？MyClass（m）的对象会完全分配给堆吗？也就是说，int myInt和string myString既会去堆？

还是将对象分为两部分，并分配给两个内存位置，即堆栈和堆？

Question 2

m在堆上分配，其中包括myInt。在方法调用期间在堆栈上分配原始类型（和结构）的情况是在方法调用期间，该方法为堆栈上的局部变量分配空间（因为它更快）。例如：

class MyClass
{
    int myInt = 0;

    string myString = "Something";

    void Foo(int x, int y) {
       int rv = x + y + myInt;
       myInt = 2^rv;
    }
}

rv，x，y都将在堆栈中。myInt在堆上的某个位置（必须通过this指针进行访问）。

Question 3

您应该考虑将对象分配在哪里作为实现细节的问题。精确地将对象的位存储在哪里对您来说都没有关系。一个对象是引用类型还是值类型可能很重要，但是您不必担心对象的存储位置，直到您开始优化垃圾回收行为为止。

尽管在当前的实现中，引用类型总是分配在堆上，但是值类型可以分配在堆栈上，但不一定。仅当值类型是未装箱的，未转义的局部或临时变量且未包含在引用类型中且未在寄存器中分配时，才在堆栈上分配值类型。

如果值类型是类的一部分（如您的示例所示），它将最终出现在堆上。
如果装箱，它将最终放在堆上。
如果在数组中，它将最终在堆上。
如果它是一个静态变量，它将最终在堆上。
如果被闭包捕获，它将最终在堆上。
如果在迭代器或异步块中使用它，它将最终出现在堆上。
如果它是由不安全或不受管理的代码创建的，则可以在任何类型的数据结构（不一定是堆栈或堆）中分配它。

我有什么想念的吗？

当然，如果我不链接到埃里克·利珀特（Eric Lippert）关于该主题的帖子，那我将是失职的：

Question 4

“所有的VALUE类型都会分配给堆栈”是非常非常错误的；结构变量可以作为方法变量存在于堆栈中。但是，类型上的字段与该类型一起使用。如果字段的声明类型是类，则这些值作为该对象的一部分在堆上。如果字段的声明类型是结构，则无论该结构存在于何处，这些字段都是该结构的一部分。

如果方法变量被捕获（lambda / anon-method），或者是（例如）迭代器块的一部分，那么它们甚至可以在堆上。

Question 5

出色的解释：

Question 6

叠放

的stack是存储器，用于存储一个块local variables和parameters。随着函数的输入和退出，堆栈在逻辑上会增长和收缩。

请考虑以下方法：

public static int Factorial (int x)
{
    if (x == 0) 
    {
        return 1;
    }

    return x * Factorial (x - 1);
}

此方法是递归的，这意味着它会自行调用。每次输入该方法时，都会在堆栈上分配一个新的int，并且每次该方法退出时，都会释放int。

堆

堆是objects（即reference-type instances）驻留的内存块。每当创建新对象时，都会在堆上分配该对象，并返回对该对象的引用。在程序执行期间，随着创建新对象，堆开始填充。运行时具有垃圾收集器，该垃圾收集器会定期从堆中取消分配对象，因此程序不会运行Out Of Memory。一旦对象本身未被任何对象引用，则该对象有资格进行释放alive。

堆也存储static fields。与在堆上分配的对象（可能会被垃圾回收）不同these live until the application domain is torn down。

请考虑以下方法：

using System;
using System.Text;

class Test
{
    public static void Main()
    {
        StringBuilder ref1 = new StringBuilder ("object1");
        Console.WriteLine (ref1);
        // The StringBuilder referenced by ref1 is now eligible for GC.

        StringBuilder ref2 = new StringBuilder ("object2");
        StringBuilder ref3 = ref2;
        // The StringBuilder referenced by ref2 is NOT yet eligible for GC.
        Console.WriteLine (ref3); // object2
    }
}

在上面的示例中，我们首先创建一个由变量ref1引用的StringBuilder对象，然后写出其内容。然后，该StringBuilder对象立即可以进行垃圾回收，因为随后没有任何人使用它。然后，我们创建另一个由变量ref2引用的StringBuilder，并将该引用复制到ref3。即使在那之后没有使用ref2，ref3也会使该StringBuilder对象保持活动状态-确保在我们完成使用ref3之前，它不符合收集条件。

值类型实例（和对象引用）位于声明该变量的任何位置。如果实例被声明为类类型中的字段或数组元素，则该实例将驻留在堆中。

Question 7

简单措施

值类型可以在堆栈上显示，它是可以分配给某些未来主义数据结构的实现细节。

因此，最好了解值和引用类型是如何工作的，值类型将按值复制，这意味着当您将值类型作为参数传递给FUNCTION时，比按自然方式将其复制意味着您将拥有一个总的新副本。

引用类型是通过引用传递的（再次，不要认为引用会在将来的某些版本中再次存储地址，它可能会存储在其他一些数据结构中。）

所以你的情况

myInt是一个int，它封装在一个类中，该类偏离了引用类型，因此它将与将存储在“ THE HEAP”上的类的实例绑定。

我建议，您可以开始阅读ERIC LIPPERTS撰写的博客。

埃里克的博客

Question 8

每次在其中创建对象时，都会进入称为堆的内存区域。如果原始变量（如int和double）是局部方法变量，则在堆栈中分配；如果它们是成员变量，则在堆中分配。在方法中，局部变量在调用方法时被压入堆栈，而在方法调用完成时递减堆栈指针。在多线程应用程序中，每个线程将拥有自己的堆栈，但将共享同一堆。这就是为什么应该在代码中注意避免堆空间中的任何并发访问问题的原因。堆栈是线程安全的（每个线程将拥有自己的堆栈），但是除非通过代码进行同步保护，否则堆不是线程安全的。

此链接也很有用http://www.programmerinterview.com/index.php/data-structures/difference-between-stack-and-heap/

Question 9

m是对MyClass对象的引用，因此m是存储在主线程堆栈中，而MyClass对象则存储在堆中。因此，myInt和myString存储在堆中。请注意，m只是一个引用（内存的地址），位于主堆栈上。当m被释放时，GC从堆中清除MyClass对象。有关更多详细信息，请阅读本文的所有四个部分 https://www.c-sharpcorner.com/article/C-Sharp-heaping-vs-stacking-in-net-第一部分