浅谈值类型和引用类型在堆和栈中的存储一

首先，让咱们来简单了解一下什么是“栈”（stack），什么是“堆”（heap）。“栈”其实就是一种后入先出（LIFO）的数据结构。在咱们.NET Framework里面，由CLR负责管理，咱们程序员不用去担忧垃圾回收的问题；每个线程都有本身的专属的“栈”。“堆”的存放就要零散一些，而且由 Garbage Collector（GC）执行管理，咱们关注的垃圾回收部分，就是在“堆”上的垃圾回收；其次就是整个进程共用一个“堆”。

 

 

咱们先来记住两条黄金法则：

1.引用类型老是被分配到“堆”上。

2.值类型老是分配到它声明的地方：

   a.做为引用类型的成员变量分配到“堆”上

   b.做为方法的局部变量时分配到“栈”上

 

要真正理解上面的两条黄金法则，还须要了解一下，“栈”和“堆”是如何工做的。首先如下面的这个方法为例：

public int AddFive(int pValue)
{
　　int result; 
　　result = pValue + 5; 
　　return result;
}

1.方法AddFive()被压入“栈”

2.紧接着方法参数pValue被压入“栈”

3.而后是须要为result变量分配空间，这时被分配到“栈”上。

4.最后返回结果

经过将栈指针指向 AddFive()方法曾使用的可用的内存地址，全部在“栈”上的该方法所使用内存都被清空，且程序将自动回到“栈“上最初的方法调用的位置。

 

 

下面咱们来看看，值类型的变量分配到“堆”上到状况。

public class MyInt
{
    public int MyValue;
}

public MyInt AddFive(int pValue)
{
    var result = new MyInt();
    result.MyValue = pValue + 5;
    return result;
}

和前面同样，线程开始执行函数，函数参数被压入线程堆栈。

因为 MyInt 为引用类型，它被分配在“堆”上，而且由一个位于“栈”上的指针引用。

AddFive()函数执行完毕后，“栈”一样会被清空。

 

最后，只剩下一个 MyInt 类被留在“堆”上（“栈”上再也没有指向这个 MyInt 类的指针）！这个时候就须要GC机制来处理了。

 

好了，你们对“栈”和“堆”有必定的了解以后，下面让咱们来稍微深刻一点，来看两个例子。

public int ReturnValue()
{
    int x = 3; 
    int y = x;
    y = 4;
    return x;
}

返回值你们其实已经知道了吧，仍是3。这是为何呢？这是由于，值类型，使用的就是值自己，其实在作int y = x的时候，就把3作了一份“拷贝”赋值给了y，而后在y = 4的时候，操做的是这个“拷贝”，并不会操做原来的3。

接下来咱们看另一个例子，MyInt仍是使用上面例子中使用过的MyInt类。

public int ReturnValue()
{
    var x = new MyInt();
    x.MyValue = 3; 
    MyInt y; 
    y = x;
    y.MyValue = 4; 
    return x.MyValue;
}

在这个代码中，x.MyValue是否仍是会是3呢？是否y.MyValue仍是操做的3的“拷贝”呢？其实只要运行一下这个代码，就能够得出结果，x.MyValue仍是被修改为了4。这是由于，当咱们使用引用类型时，咱们其实是在使用指向这些对象的地址，而不是直接使用这些对象自己。

 

好了，暂时就介绍到这里，若是有什么疑问，或者有误的地方，欢迎你们指点和交流。