.Net的类型系统比较复杂，很多人经常给绕进来，比如《[原创]慢话interface是值类型还是引用类型》一文。而网上的、书上的关于.Net类型的表述一般是错误的或者不完全的，准确性最高的是MSDN上的表述，但那个表述又太简单了，让人很难理解。本文试着通俗的解释几个关于.Net类型的基础问题。
1. 托管与非托管
像现实生活中，有体制内和体制外之分，.Net 里也有托管和非托管之分。托管堆、GC这些是托管部分，非托管堆是非托管部分。
托管部分叫做组织，体制内，非托管部分叫做群众，体制外。
2. 引用类型是体制内的类型
有组织关系的，体制内的类型叫做引用类型。体制内的类型（引用类型）有什么特点呢？它不能脱离组织。由组织 new 它，死后魂归组织。生命周期由组织来维护。生是组织的人，死是组织的鬼。它是受组织保护的，你不能用指针这样粗暴野蛮危险的东西来威胁体制内的类型。
3. 值类型是体制外的类型
体制外的类型是值类型（非托管堆 或者 栈中）。
值类型要想进入体制内（托管堆），必须找到挂靠者。挂靠者必须是体制内的类型。这像贷款要担保一样，办杂志要找到托管单位一样，进入体制类，必须找到一个管理者。所以，一个值类型要想进入托管堆里，它必须是一个引用类型组成部分或者组成部分的组成部分……，它的生死存亡，和这个引用类型绑定在一起。
装箱是一种特殊的挂靠。
体制外的类型不受体制保护，所以可以用指针这样粗暴野蛮危险的东西来处置。
4.值类型和引用类型的区别
引用类型和值类型的区别是有没有组织关系，是体制内的还是体制外的，而不是常说的什么栈啊堆啊的blablabla。
引用类型是体制内的，一生都在体制内呆着。而值类型是体制外的人，平时在栈里和非托管堆里生存，想进体制内得挂靠体制内的人。
由于身份的不同，所受的待遇也不同。这就好比，一个群众和一个官员去办事，所受到的待遇不同一个道理。
5.办事大厅——栈
办事（函数调用）在栈里进行。
6.办事待遇
体制内的和体制外的办事待遇（传参）不一样。
组织里的人办事只用打电话就行了，不用亲自去。当然，他也没办法亲自去，他的脑袋、胳膊、腿都是组织的，都在托管堆上，托管堆不会放他走，他根本去不了。而体制外的人办事得亲自去。当然也可以不亲自去，但是得特殊处理（ref，out，或者指针）。
7.为什么要分体制内和体制外
像java都是体制内的该多好啊。.net 说不，要进行体制改革，让大量的个头小的类型变成体制外的，不然的话体制负担就太重了。
8. 接口是什么
接口是一个逻辑上的概念，是对类型行为的规范和约束。比如欧盟不承认中国的市场经济地位，他们觉得中国没有实现“市场经济地位”的一些规范。
9. 接口的实现
逻辑上的东西只落在头脑中和纸面上，而在现实中，逻辑上的东西是需要实现来保证的。接口有很多种实现方式。比如，C++中根本没提供接口的具体实现，那么经常将抽象类当接口用。再比如，haXe的typedef 实际上也是接口的一种实现，它用于编译时类型检测。
10. .Net 中接口的实现方案
接口有很多种实现方案，.Net选择了一种自己认为合理的一种：用引用类型来实现接口。
当然，.Net完全可以把接口实现为值类型，或者值类型与引用类型之外的第三种类型。而.Net既然把它实现为引用类型，我们就得接受这个观点，受它的约束。
11. 根据10，接口是引用类型，是体制内的类型
12. 从值类型转换为它所实现的接口类型要装箱
{
public Int32 Age;
public void SetAge( int age)
{
Age = age;
}
public Int32 GetAge()
{
return Age;
}
}
public interface IPerson
{
void SetAge( int age);
Int32 GetAge();
}
Person p = new Person();
p.SetAge( 5);
Console.WriteLine(p.Age);
IPerson ip = p;
ip.SetAge( 8);
Console.WriteLine(ip.GetAge());
Console.WriteLine(p.GetAge());
上面的代码输出结果是：
5
8
5
13. 在特殊情况下，接口是性能杀手
操作100万个值类型和将100万个值类型转换为引用类型再进行操作，性能大不一样。这时切忌为了抽象为了代码的优美，而用接口来操作值类型，性能会大幅度下降，GC也会表示压力很大。我就犯过这个错误，将图像的像素实现某个接口，用接口来操作像素。
14. 白条现象
不要认为某值类型实现了接口，它就“是”接口。实际上，它装箱后才是接口。这就好比打白条，白条可以转换为现金，但白条和现款是两码事。
而从12的测试结果看，值类型和接口类型是两码事。
一个值类型“实现”接口，意思是，这个值类型可以转换为该接口类型。
15. 绕口令：值类型不是值类型
typeof(ValueType).IsValueType == false
System.ValueType 是引用类型。
16. 值类型隐式继承自System.ValueType 类型的意思是值类型可以转换为System.ValueType 类型，转换过程中有装箱现象。这也是一种“白条”现象。
在 12 的代码基础上进行下列测试：
Person p = new Person();
p.SetAge(5);Console.WriteLine(p.Age);
IPerson ip = p;
ip.SetAge(8);
ValueType vt = p;
Person vtp = (Person)vt;
vtp.SetAge(9);
Console.WriteLine(ip.GetAge());
Console.WriteLine(p.GetAge());Console.WriteLine(vtp.GetAge());
结果是:
5
8
5
9
17. 所有类型隐式继承自Object类型是他们可以转换为Object 类型，当然，值类型转换过程中也有装箱现象。这也是一种“白条”现象。
Person p = new Person();
p.SetAge(5);
Console.WriteLine(p.Age);
IPerson ip = p;
ip.SetAge(8);
ValueType vt = p;
Object obj = p;
Person vtp = (Person)vt;
Person objp = (Person)p;
vtp.SetAge(9);
objp.SetAge(12);
Console.WriteLine(ip.GetAge());
Console.WriteLine(p.GetAge());
Console.WriteLine(vtp.GetAge());
Console.WriteLine(objp.GetAge());
结果是:
5
8
5
9
12
18. END
本文转自xiaotie博客园博客,原文链接http://www.cnblogs.com/xiaotie/archive/2012/09/08/2676450.html如需转载请自行联系原作者
xiaotie 集异璧实验室(GEBLAB)
