媒介
.net运行库经由历程垃圾接纳器自动处置惩罚接纳托管资本，非托管的资本须要手动编码处置惩罚。明白内存治理的事情道理，有助于进步运用递次的速率和机能。废话少说，切入正题。 主要论述的观点见下图:
观点
内存：又称为假造内存，或假造地点空间，windows运用假造寻址体系，在背景自动将可用的内存地点映射到硬件内存中的现实地点上，其效果就是32位处置惩罚器上的每一个历程都能够运用4GB的内存，用来寄存递次的一切部份，包含可实行代码（exe文件），代码加载的一切DLL，递次运行时运用的一切变量的内容。
内存栈
在历程的假造内存中，存在的一个变量的生存期必需嵌套的地区。
内存堆
在历程的假造内存中，在要领退出后的很长一段时间内数据照样可用的地区。
托管资本
垃圾接纳器在背景能自动处置惩罚的资本
非托管资本
须要手动编码，经由历程析构函数，Finalize，IDisposable，Using等机制或要领处置惩罚的资本。
内存栈
值范例数据存储在内存栈中，援用范例的实例地点值也放在内存栈中（见内存堆的议论），内存栈的事情道理，透过下面一段代码明白：
{ //block1最先
int a;
//solve something
{//block2最先
int b;
// solve something else
}//block2完毕}//block1完毕
以上代码注重2点：
1）C#中变量的作用域，遵照先声明的后逾越作用域，后声明的先逾越作用域，即b先开释，a后开释，开释递次老是与它们分派内存的递次相反。
2）b在一个零丁的块作用域（block2）中，而a地点的块名称为block1，其内嵌套着block2。
请看下面示意图：
栈内存治理中，一直都维护着一个栈指针，它一直指向站地区中下一个可用的地点，名字为sp，如图所示，假定它指向编号为1000的地点。
变量a 起首入栈，假定机子是32位的，int型占4个字节，即997~1000，入栈后，sp指向996，可见内存栈的增进方向为从高地点向低地点方向。
然后b入栈，占有993~996，sp指向992。当逾越块block2 时，变量b马上开释在内存栈上的存储，sp增添4个字节，指向996。
向外走，逾越块block1 时，变量a 马上开释，此时sp再增添4个字节，指向本来的初始地点1000，背面再入栈时，这些地点再被占用，然后再被开释，循环往复。
内存堆
只管栈有异常高的机能，但关于一切的变量它照样不太天真，由于位于内存栈上的变量的生存期必需嵌套。许多情况下，这类要求过于刻薄，由于我们愿望有些数据在要领退出后的很长一段时间内照样可用的。
只假如用new运算符来要求的堆存储空间，就满足数据声明期延时性，比方一切的援用范例。在.net中运用托管堆来治理内存堆上的数据。
.net中的托管堆和C++运用的堆差别，它在垃圾接纳器的掌握下事情，而C++的堆是初级的。
既然援用范例的数据存储在托管堆上，那末它们是怎样存储的呢？请看下面代码
void Shout()
{
Monkey xingxing; //猴子类
xingxing = new Monkey();
}
在这段代码中，假定两个类Monkey和AIMonkey，个中AIMonkey类扩大了Monkey对象。
在这里，我们称Monkey为一个对象，称xingxing为它的一个实例。
起首，声清楚明了一个Monkey援用xingxing，在栈上给这个援用分派存储空间，记着这仅是一个援用，而不是现实的Monkey对象。记着这一点很主要！！！
然后看下第2行代码：
xingxing = new Monkey();
它完成的操纵：起首，它分派堆上的内存，以贮存Monkey对象，注重了！！！这是一个真正的对象，它不是一个占用4个字节的地点！！！ 假定Monkey对象占用64个字节，这64个字节包含了Monkey实例的字段，和.NET中用于辨认和治理Monkey类实例的一些信息。这64个字节着实内存堆上分派的，假定内存堆上的地点1937~2000。new操纵符返回一个内存地点，假定为997~1000，并赋值给xingxing。示意图以下所示：
记着一点：
与内存栈差别的是，堆上的内存是向上分派的，由低地点到高地点。
从上面的例子中，能够看出竖立援用实例的历程要比竖立值变量的历程更庞杂，体系开支更大。那末既然开支这么大，它究竟上风安在呢？援用数据范例壮大究竟在那里？？？
请看下面代码：
{//block1
Monkey xingxing; //猴子类
xingxing = new Monkey();
{//block2
Monkey jingjing = xingxing; //jingjing也援用了Monkey对象
//do something
} //jinjing逾越作用域，它从栈中删除
//如今只需xingxing还在援用Monkey}//xingxing逾越作用域，它从栈中删除//如今没有在援用Monkey的了
把一个援用实例的值xingxing赋值予另一个雷同范例的实例jingjing，如许的效果就是有两个援用内存中的同一个对象Monkey了。当一个实例逾越作用域时，它会从栈中删除，但援用对象的数据照样保留在堆中，一直到递次停止，或垃圾接纳器接纳它位置，而只需该数据不再有任何实例援用它时，它才会被删除！
随意举一个现实运用援用的简朴例子：
//从界面抓取数据放到list中List<Person> persons = getPersonsFromUI(); //retrieve these persons from DBList<person> personsFromDB = retrievePersonsFromDB(); //do something to personsFromDBgetSomethingToPersonsFromDB();
叨教对personsFromDB的转变，能在界面上实时相应出来吗？
不能！
请看下面修正代码：
//从界面抓取数据放到list中List<Person> persons = getPersonsFromUI();
//retrieve these persons from DBList<Person> personsFromDB = retrievePersonsFromDB();
int cnt = persons.Count;for(int i=0;i<cnt;i++)
{
persons[i]= personsFromDB [i] ;
}
//do something to personsFromDBgetSomethingToPersonsFromDB();
修正后，数据能马上相应在界面上。由于persons与UI绑定，一切修正在persons上，天然能够马上相应。
这就是援用数据范例的壮大的处所，在C#.NET中普遍运用了这个特征。这表明，我们能够对数据的生存期举行异常壮大的掌握，由于只需坚持对数据的援用，该数据就肯定位于堆上！！！
这也表清楚明了基于栈的实例与基于堆的对象的生存期不婚配！
垃圾接纳器 GC
内存堆上会有碎片构成，.NET垃圾接纳器会紧缩内存堆，挪动对象和修正对象的一切援用的地点，这是托管的堆与非托管的堆的区分之一。
.NET的托管堆只须要读取堆指针的值即可，但黑白托管的旧堆须要遍历地点链表，找出一个处所来安排新数据，所以在.NET下实例化对象要快许多。
堆的第一部份称为第0代，这部份驻留了最新的对象。在第0代垃圾接纳历程当中遗留下来的旧对象放在第1代对应的部份上，顺次递归下去。。。
承先启后
以上部份就是对托管资本的内存治理部份，这些都是在背景由.NET自动实行的。下面看下非托管资本的内存治理，比方这些资本多是UI句柄，network衔接，文件句柄，Image对象等。.NET主要经由历程三种机制来做这件事。离别为析构函数、IDisposable接口，和二者的连系处置惩罚要领，以此完成最好的处置惩罚效果。下面离别看一下。
析构函数
C#编译器在编译析构函数时，它会隐式地把析构函数的代码编译为等价于Finalize()要领的代码，并肯定实行父类的Finalize()要领。看下面的代码：
public class Person
{
~Person()
{ //析构完成
}
}
~Person()析构函数生成的IL的C#代码：
protected override void Finalize()
{ try
{ //析构完成
} finally
{ base.Finalize();
}
}
放在finally块中确保父类的Finalize()肯定挪用。
C#析构函数要比C++析构函数的运用少许多，由于它的问题是不肯定性。在烧毁C++对象时，其析构函数会马上实行。但由于C#运用垃圾接纳器，没法肯定C#对象的析构函数什么时候实行。假如对象占用了 珍贵的资本，而须要尽快开释资本，此时就不能守候垃圾接纳器来开释了。
第一次挪用析构函数时，有析构函数的对象须要第二次挪用析构函数，才会真正删除对象。假如频仍运用析构，对机能的影响异常大。
IDisposable接口
在C#中，引荐运用IDisposable接口替换析构函数，该形式为开释非托管资本供应了肯定的机制，而不像析构那样什么时候实行不肯定。
假定Person对象依赖于某些外部资本，且完成IDisposable接口，假如要开释它，能够如许：
class Person:IDisposable
{ public void Dispose()
{ //implementation
}
}
Person xingxing = new Person();//dom somethingxingxing .Dispose();
上面代码假如在处置惩罚历程当中出现异常，这段代码就没有开释xingxing，所以修正为：
Person xingxing = null;try{
xingxing = new Person(); //do something}finally{ if(xingxing !=null)
{
xingxing.Dispose();
}
}
C#供应了一种语法糖，叫做using，来简化以上操纵。
using(Person xingxing = new Person())
{ // do something}
using在此处的语义差别于平常的援用类库作用。using用在此处的功用，仅仅是简化了代码，这类语法糖能够罕用！！！
总之，完成IDisposable的对象，在开释非托管资本时，必需手动挪用Dispose()要领。因而一旦遗忘，就会形成资本走漏。以下所示：
Image backImage = this.BackgroundImage;
if (backImage != null)
{
backImage.Dispose();
SessionToImage.DeleteImage(_imageFilePath, _imageFileName);
this.BackgroundImage = null;
}
在上面谁人例子中，backImage已肯定不再用了，而且backImage又是经由历程Image.FromFile(fullPathWay)从物理磁盘上读取的，黑白托管的资本，所以须要Dispose()一下，如许读取Image的这个历程就被封闭了。假如遗忘写backImage.Dispose();就会形成资本走漏！
连系 析构函数和IDisposable这2种机制
平常情况下，最好的要领是完成两种机制，取得这两种机制的长处。由于准确挪用Dispose()要领，同时把完成析构函数作为一种平安机制，以防没有挪用Dispose()要领。请参考一种连系两种要领开释托管和非托管资本的机制：
public class Person:IDisposable
{ private bool isDisposed = false;
//完成IDisposable接口
public void Dispose()
{
//为true示意清算托管和非托管资本
Dispose(true);
//通知垃圾接纳器不要挪用析构函数了
GC.SuppressFinalize(this);
}
protected virtual void Dispose(bool disposing)
{
//isDisposed: 是不是对象已被清算掉了
if(!isDisposed)
{
if(disposing)
{
//清算托管资本
}
//清算非托管资本
}
isDisposed = true;
}
~Person()
{
//false：挪用后只清算非托管资本
//托管资本会被垃圾接纳器的一个零丁线程Finalize()
Dispose(false);
}
}
当这个对象的运用者，直接挪用了Dispose()要领，比方
Person xingxing = new Person();//do somethingperson.Dispose();
此时挪用IDisposable.Dispose()要领，指定应清算一切与该对象相干的资本，包含托管和非托管资本。
假如未挪用Dispose()要领，则是由析构函数处置惩罚掉托管和非托管资本。
以上就是.NET框架-内存治理story与变量创建和烧毁详解（图）的细致内容，更多请关注ki4网别的相干文章！
