值类型是编程语言中基础的数据类型分类，在内存中存储时存在两种完全不同的表示形式，这两种形式对应不同的存储区域和访问逻辑，直接影响程序的性能表现。理解这两种表示形式的差异，是掌握值类型核心特性的关键。
值类型对象的两种表示形式
值类型对象的两种表示形式分别是未装箱形式和已装箱形式，二者的核心差异在于存储位置和附加信息的不同。
未装箱形式
未装箱形式是值类型的默认表示形式，当值类型变量没有被转换为对象类型时，就以这种形式存在。未装箱的值类型对象直接存储在栈内存中，或者作为引用类型对象的字段嵌入在引用类型的存储空间中。
未装箱形式的特点如下：
- 存储位置：如果是局部变量，存储在栈内存；如果是引用类型的字段，嵌入在引用类型的堆内存空间中
- 没有额外的类型信息开销，仅存储值类型本身的数据内容
- 访问速度更快，因为不需要通过对象头等信息定位数据
以C#语言为例，定义一个简单的结构体值类型，其未装箱形式的存储示例如下：
// 定义值类型结构体
struct Point
{
public int X;
public int Y;
}
// 局部变量p为未装箱的值类型对象，存储在栈中
Point p;
p.X = 10;
p.Y = 20;
已装箱形式
已装箱形式是值类型被转换为System.Object类型或者该值类型实现的接口类型时的表示形式。装箱操作会将未装箱的值类型对象转换为已装箱形式，此时值类型对象会被存储在堆内存中，并且附加对象头、方法表指针等额外信息。
已装箱形式的特点如下：
- 存储位置：固定在堆内存中，由垃圾回收器管理生命周期
- 包含额外的对象开销，包括对象头（存储同步块索引等信息）和方法表指针（指向该值类型对应的类型信息）
- 访问时需要通过对象头等信息定位实际数据，速度比未装箱形式慢
同样以C#为例，将上面的Point值类型装箱的代码如下：
struct Point
{
public int X;
public int Y;
}
Point p;
p.X = 10;
p.Y = 20;
// 装箱操作，将未装箱的p转换为已装箱的对象，存储在堆中
object boxedPoint = p;
两种形式的转换：装箱与拆箱
未装箱形式和已装箱形式之间可以通过装箱和拆箱操作互相转换，但是这两种操作都会带来一定的性能开销。
装箱操作
装箱操作是将未装箱的值类型对象转换为已装箱形式的过程，具体步骤为：
- 在堆内存中分配一块内存，大小足以存储值类型的数据内容加上对象头和方法表指针的开销
- 将值类型的数据复制到新分配的堆内存空间中
- 返回堆中对象的引用
装箱操作会产生堆内存分配，频繁装箱会增加垃圾回收的压力，影响程序性能。
拆箱操作
拆箱操作是将已装箱的值类型对象转换回未装箱形式的过程，具体步骤为：
- 检查已装箱对象的引用是否为空，以及该对象是否是对应值类型的已装箱实例，如果不是则抛出
InvalidCastException异常 - 从已装箱对象的堆内存空间中复制值类型的数据到未装箱的值类型变量中
拆箱操作本身不会分配堆内存，但是拆箱之后通常需要紧接着进行值的复制，也会带来一定的性能开销。
拆箱的示例代码如下：
struct Point
{
public int X;
public int Y;
}
Point p;
p.X = 10;
p.Y = 20;
// 装箱
object boxedPoint = p;
// 拆箱，需要将object类型显式转换为Point类型
Point unboxedPoint = (Point)boxedPoint;
两种表示形式的使用建议
在实际开发中，应该尽量减少不必要的装箱和拆箱操作，优先使用值类型的未装箱形式，具体建议如下：
- 尽量避免将值类型变量直接赋值给
object类型变量，或者作为需要object类型参数的方法实参，减少装箱操作 - 如果需要让值类型支持接口调用，尽量通过泛型方法的方式实现，避免将值类型转换为接口类型产生装箱
- 当值类型的实例较小且生命周期较短时，使用未装箱形式存储在栈中，效率更高
- 如果需要在多个地方共享值类型的数据，或者需要将其作为对象存储，再考虑使用已装箱形式
两种形式的对比总结
为了更清晰地区分两种表示形式的差异，以下是二者的核心对比：
| 对比维度 | 未装箱形式 | 已装箱形式 |
|---|---|---|
| 存储位置 | 栈或引用类型的字段中 | 堆内存中 |
| 额外开销 | 无 | 对象头、方法表指针 |
| 生命周期管理 | 跟随作用域或所属引用类型 | 垃圾回收器管理 |
| 访问速度 | 快 | 慢 |
| 转换操作 | 装箱可转为已装箱形式 | 拆箱可转为未装箱形式 |
理解值类型对象的两种表示形式，能够帮助开发者更合理地使用值类型，在编写代码时规避不必要的性能损耗，提升程序的运行效率。