CLR支持两种类型：引用类型和值类型
关于引用类型，你必须要知道的：
- 内存必须从托管堆分配
- 堆上分配的每个对象都有一些额外成员，这些成员必须初始化
- 对象中的其他字节总是设为零
- 从托管堆分配对象时，可能会强制执行一次垃圾回收
关于值类型，你需要了解的：
- 轻量级类型
- 一般在线程栈上分配（有时也可作为字段嵌入到引用类型的对象中）
- 值类型实例变量中不包含指向实例的指针，相反变量中包含了实例本身的字段
- 值类型的实例不受垃圾回收器的控制
值类型有时能提供更好的性能，具体的说，除非满足以下全部条件，否则不应将类型声明为值类型，
也就是说在满足下面全部条件的情况事才考虑将类型声明为值类型：
- 类型具有基元类型的行为。也就是说，是十分简单的类型，没有成员会修改类型的任何实例字段
- 类型不需要从其他类型继承，也不派生出其他任何类型（因为值类型都是隐式密封的）
另外类型实例大小也在考虑范围内，
因为实参默认以传值方式传递，造成对值类型实例中的字段进行复制，对性能造成影响。
同样被定义为返回一个值类型的方法在返回时，实例中的字段会复制到调用者分配的内存中，对性能造成影响。
所以要将类型声明为值类型，除了满足以上全部条件，还必须满足一下任意条件：
- 类型的实例较小
- 类型的实例较大（但不作为方法实参传递，也不从方法返回），切记