该随笔受启发于《CLR Via C#(第三版)》第四章4.4运行时的相互联系
一、内存分配的几个区域
1、线程栈
局部变量的值类型 和 局部变量中引用类型的指针(或称引用)会被分配到该区域上（引用类型的一部分内存被分配到该区域内）。
该区域由系统管控，不受垃圾收集器的控制。当所在方法执行完毕后，局部变量会自动释放(引用类型只释放指针，而不释放指针指向的数据)。
堆栈的执行效率很高，但容量有限。
2、GC Heap(回收堆)
用于分配小对象（引用类型），如果引用类型的实例大小 小于85000个字节，则会被分配到该区域上。
3、LOH(Large Object Heap)
超过 85000个字节的大对象(引用类型)会被分配到该区域上。
LOH 和 GC Heap区别在于：当有内存分配或者回收时，垃圾收集器可能会对GC Heap进行压缩，而 LOH 不会被压缩，只是在垃圾回收时被回收。
二、栈桢(stack frame)
栈桢是实现函数调用的数据结构，从逻辑上看，栈桢是一个函数执行的环境(上下文)，包括：函数参数、返回地址和函数局部变量。
注意：上述的“返回地址” 不是函数的返回值，而是完成函数调用后的CPU接下来要执行的代码的位置。
更多参见： 维基百科 call stack
三、浅拷贝 和 深拷贝(Clone、或克隆)
浅拷贝和深拷贝是内存拷贝的两种方式，在传参的过程中通常会发生内存拷贝并且是浅拷贝，比如下面代码、两个参数就是两次浅拷贝。
class="brush:csharp;gutter:true;"> public void Test1()
{
string name = "test1";
int size = 1;
Test2(name, size);// 两次浅拷贝
}
public void Test2(string pName, int pSize)
{
}
浅拷贝 前后的内存结果如下图所示：
浅拷贝对于值类型(例如：int)，拷贝的是栈中的具体值。
浅拷贝对于引用类型(例如：string)，拷贝的是栈中的引用、其新引用 所指向的 托管堆中的地址 还是原来的地址。
深拷贝和浅拷贝的区别在于对 堆中数据（即对象）的处理：
浅拷贝只拷贝栈中的引用，不拷贝堆中的对象，新引用指向原有对象。
深拷贝会拷贝栈中的引用，并且会在堆中创建新的对象，新对象的属性值 “可能” 来源于原有对象（因为、在C#中实现深拷贝需要自己编写额外的代码，
即实现 ICloneable 接口，深拷贝的结果是不确定的。不过建议大家尽可能避免使用该接口），新引用地址指向新的对象。因此，深拷贝只针对于引用类型，
对于值类型没有太多的意义。
四、Demo
如果说前三项是做铺垫，那么该Demo算是正文了。
事先已经定义好的如下类：
public class Data
{
public string Name;
public int Size;
}
假设代码即将调用Test1函数：
public void Test1()
{
string name = "test1";
int size = 1;
Data data = new Data() { Name = "test1", Size = 1 };
Test2(name, size, data);
object obj = size;
int temp = (int)obj;
}
public void Test2(string pName, int pSize, Data pData)
{
pName = "test2";
pSize = 2;
pData.Name = "test2";
pData.Size = 2;
pData = new Data() { Name = "test3", Size = 3 };
}
此时线程栈和托管堆内的情况如下图所示（图1）:
1、开始调用Test1函数，这时会向栈中压入一个栈桢(stack frame)。
栈桢包含3部分数据：
1）函数参数，当然Test1函数没有参数。
2）返回地址，在Test1函数中，以当前代码环境为例该地址没有什么实际意义不作说明。
3）函数局部变量，此时Test1函数中的所有的局部变量都会被压入栈。 有如下五个局部变量会被压入栈：
string name, int32 size, Data data, object obj, int32 temp。（当然实际是六个局部变量，第六个是编译器自动生成的，在随笔结尾处再做解释。）
压入一个栈桢后，内存结果如下图所示(图2)：
2、接下来执行Test1函数的代码，给name赋值，给size赋值，给data赋值。内存结果将会如下图所示(图3)：
上图中的红线和编译器生成的变量 将在随笔结尾出做解释。
3、接下来将调用Test2函数，这时还会向栈中压入一个栈桢。
栈桢包含3部分数据：
1）函数参数，Test2函数有三个参数，三个参数都是浅拷贝。
2）返回地址，该地址为调用Test2函数代码位置的下一行(或者称下一个指令)的位置，即：
obj = size; // 在调用Test1函数压入栈桢的时候已经完成了 object obj; 的操作
完成函数调用后，将执行上述代码。
3）函数局部变量，编译器会自动生成一个变量(随笔结尾处，将做出解释)
故，此时的内存结果如下图所示(图4):
两条橙色线是参数浅拷贝的结果。
4、 在执行完Test2函数的函数体，未返回Test1函数之前，内存结果如下图所示(图5)：
红线 将在随笔结尾处做解释。
黄线 需要注意，string是特殊的引用类型，其外在表现和值类型一致，但其本质上还是引用类型。由于string的不可变性，对string的每一次赋值
都会产生一个新的对象（如果新对象不存在），所以导致了黄线的出现。
浅绿线 我想这条线应该没有问题吧。
5、 完成Test2函数的调用，代码将返回到 Test2函数栈桢返回地址所示位置，在这一过程中 Test2函数栈桢 将被弹出，结果如下图所示（图6）:
托管堆中的不被使用的对象将由GC进行自动回收，被回收的时间不确定。
6、 由3可以知，接下来将执行 obj = size; 的操作——装箱，从字面上可以这样理解：将值类型装进引用类型的箱子里。
大致的操作过程如下：
1）首先、在堆中创建一个新的对象。(由于该操作导致装箱操作的性能降低)
2）将size的值复制到对象中。
3）最后将obj的引用指向新创建的对象。
最后的结果如下图所示(图7):
7、最后一个操作——拆箱。
装箱，是将值类型装进引用类型的箱子里，在这一过程中，发生对象创建和内存复制。
然而拆箱，并没有那么复杂，也没有类似的“拆”的过程，只是将对象中的值类型读取出来(最耗时的操作应该是寻找值类型所在的内存地址的操作)，相对于装箱，其性能要好很多。
最终结果如下图所示(图8)：
五、 语法糖——对象初始化器
如下的两个代码片段是完全等效的:
Data temp = new Data(); // 编译器自动生成的变量名不一定叫temp
temp.Name = "test1";
temp.Size = 1;
data = temp;
data = new Data() { Name = "test1", Size = 1 };
第二种写法，可以看作是一种简写，编译器在编译的时候会将第二种写法的代码进行转化，转化成第一种写法。所以对象初始化器，C#3.0的语法新特性，
完全是一种语法糖，CLR没有起到任何作用。
当看到这的时候，再想想上面的红线 一切迎刃而解。
相关文章
