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