理解值类型和引用类型的区别，是掌握C#内存管理模型的第一步。很多看似奇怪的赋值结果、方法调用后的数据变化，本质上都源于这两种类型在内存中的存储方式不同。简单来说，值类型直接保存数据本身，而引用类型保存的是数据在托管堆中的地址。这一差异决定了变量复制时的行为、方法参数的传递效果，以及垃圾回收器对待它们的方式。
值类型在声明时，其内存空间已经分配在栈上，变量本身就包含了实际的数据。例如一个int变量，它的存储单元里直接放着具体的整数值。而引用类型在声明时，栈上只分配一个存储地址的空间，真正的对象数据被放在托管堆中。当执行MyClass obj = new MyClass()时，obj变量在栈上保存的是堆中对象的引用地址，而非对象本身。这种内存布局的直接后果是：复制值类型变量会得到一份完整的数据副本，而复制引用类型变量只会得到指向同一个堆对象的另一个地址。
从类型归属来看，C#中的值类型主要包括数值类型如int、double、decimal，布尔类型bool，字符类型char，以及枚举和结构体struct。引用类型则包括类class、接口interface、委托delegate、数组以及string。需要注意的是，string虽然属于引用类型，但因为其不可变特性，在比较和赋值时表现出类似值类型的行为，这一点后面会单独说明。
栈与堆的存储差异及赋值行为
栈的内存管理由操作系统和CLR自动维护，采用后进先出的方式，分配和释放速度极快。当方法调用结束时，栈上的局部变量会随着栈帧的弹出而自动清理。值类型通常分配在栈上，这使得短生命周期的小型数据可以高效地被创建和销毁。但需要注意的是，当值类型作为类的字段存在时，它会跟随类对象一起被分配到托管堆上，而不是单独留在栈中。也就是说，值类型并非永远在栈上，判断依据是它的声明位置。
托管堆的内存回收由垃圾回收器负责，对象的生命周期不再与创建它的方法严格绑定。引用类型的实例分配在堆上，栈上只保留指向它的引用。当一个对象不再被任何引用变量指向时，它就成为垃圾回收的候选对象。这种机制让开发者无需手动释放内存，但也带来了一定的性能开销，因为垃圾回收器需要扫描堆、标记存活对象并压缩内存空间。
赋值操作最能直观体现两者的差异。看下面这段代码：
// 值类型赋值：产生独立副本
int a = 10;
int b = a;
b = 20;
Console.WriteLine(a); // 输出 10，a不受b的修改影响
// 引用类型赋值：共享同一对象
class Person
{
public string Name { get; set; }
}
Person p1 = new Person { Name = "张三" };
Person p2 = p1;
p2.Name = "李四";
Console.WriteLine(p1.Name); // 输出 李四，p1和p2指向同一个堆对象
值类型的赋值会把a存储的数值完整复制一份给b，此后a和b互不影响。引用类型的赋值只复制了引用地址，p1和p2指向堆上的同一个Person对象，通过任意一个变量修改对象的字段，另一个变量都能观察到变化。这是面试中经常考到的核心区别，也是理解后续方法参数传递的基础。
方法传参与相等比较的语义差异
C#中方法参数的默认传递方式是按值传递，但值类型参数和引用类型参数的行为并不相同。当值类型作为参数传入方法时，方法内部拿到的是该值的副本，对参数的任何修改都不会影响调用方的原始变量。当引用类型作为参数传入时，传的是引用地址的副本，但因为这个副本仍然指向同一个堆对象，所以方法内部通过这个参数修改对象的成员，调用方的原始对象会发生变化。
这里有一个容易被误解的点：如果方法内部对引用类型参数本身进行重新赋值，比如param = new Person()，这种改变不会影响到调用方的变量，因为重新赋值只是让参数的副本指向了一个新地址，原始的引用变量仍然指向旧对象。只有通过param.Name = "修改"这样的成员访问才会反映到原对象。要改变调用方变量本身，需要使用ref或out关键字。
相等比较也体现出两种类型的语义差异。使用==运算符比较两个值类型变量时，比较的是它们的实际数值是否相等。而比较两个引用类型变量时，默认情况下==比较的是引用地址，即判断两个变量是否指向同一个堆对象。开发者可以在自定义类中重载==运算符和Equals方法，改变默认的引用比较行为。例如string类型就重载了==，使其比较字符串内容而不是引用地址，这也是为什么两个内容相同的字符串用==比较会返回true。
// 值类型相等比较——比较内容
int x = 5;
int y = 5;
Console.WriteLine(x == y); // true
// 引用类型相等比较——默认比较地址
class Point
{
public int X { get; set; }
public int Y { get; set; }
}
Point pt1 = new Point { X = 1, Y = 2 };
Point pt2 = new Point { X = 1, Y = 2 };
Console.WriteLine(pt1 == pt2); // false，两个不同的堆对象
// string重载了相等比较——比较内容
string s1 = "hello";
string s2 = "hello";
Console.WriteLine(s1 == s2); // true
除了==之外，Equals方法也存在类似差异。object.Equals的静态版本在比较引用类型时调用的是虚方法Equals，如果子类没有重写，行为与引用比较相同。值类型的Equals方法默认进行逐字段的内容比较，但性能可能不如直接使用==。在面试中，如果能准确说出这些细节，会体现出对CLR类型系统有比较深入的理解。
装箱拆箱与性能考量
装箱和拆箱是值类型与引用类型之间转换的桥梁。装箱发生在将一个值类型隐式转换为object类型或值类型实现的接口类型时。CLR会在托管堆上分配一块内存，把值类型的数据复制过去，并返回指向该对象的引用。拆箱则是从object引用中提取值类型数据的显式转换，它先检查引用指向的对象确实包含目标类型的实例，然后将堆上的数据复制回栈上的值类型变量。
装箱和拆箱是有性能代价的。装箱涉及堆内存分配和数据复制，频繁装箱会产生大量临时对象，增加垃圾回收的负担。拆箱同样需要类型检查以及一次数据复制。在需要大量处理数值型数据的循环中，如果使用ArrayList这类非泛型集合，每个元素入集合都会触发装箱，取元素时又需要拆箱，性能损耗非常明显。这也是C#引入泛型集合List<int>的重要原因之一，泛型在编译时就确定了元素类型，避免了运行时装箱拆箱。
// 装箱操作 int num = 100; object boxed = num; // 装箱：堆上创建对象，复制值 // 拆箱操作 int unboxed = (int)boxed; // 拆箱：从堆上取回值，复制到栈变量 // 避免装箱：使用泛型集合 System.Collections.Generic.List<int> numbers = new System.Collections.Generic.List<int>(); numbers.Add(100); // 无装箱，直接存储值类型 int first = numbers[0]; // 无拆箱
值类型和引用类型的选择还直接影响内存使用效率。值类型的内存布局紧凑，没有对象头等额外开销，适合表示小型、不可变的数据结构，例如坐标点、复数、日期范围等。但如果一个结构体包含大量字段，频繁赋值会导致大块内存的反复复制，此时使用引用类型反而更合适。此外，引用类型支持继承和多态，而值类型虽然可以实现接口，但不能从其他结构体或类继承。将值类型频繁转换为接口类型也会引入装箱，设计时需要权衡。
常见面试陷阱与string的特殊性
关于值类型和引用类型，面试中有几个高频的陷阱问题值得单独梳理。第一个问题是“值类型一定分配在栈上吗”。答案是否定的。值类型作为类的字段、数组的元素或者被装箱后，都会存储在托管堆上。栈上分配只适用于方法内的局部变量和方法参数中的值类型。同样，引用类型的对象本身在堆上，但保存引用的变量在栈上，如果引用变量是某个类的字段，它又会跟随对象一起放在堆中。内存归属要结合声明上下文来判断。
第二个常见问题是关于string的行为。从类型定义上看，string是引用类型，不继承自ValueType。但它的相等比较、赋值表现都类似值类型，这源于字符串的不可变特性。每次对字符串的修改，例如使用+=、Replace或ToUpper，都会创建一个全新的字符串对象，原有的字符串保持不变。这种设计使得字符串在作为字典键或进行内容比较时非常安全，但频繁拼接字符串会产生大量临时对象，造成堆内存压力，此时应当使用StringBuilder。
// string是引用类型但内容不可变
string original = "hello";
string modified = original.Replace('h', 'H');
Console.WriteLine(original); // 还是 hello
Console.WriteLine(modified); // Hello
Console.WriteLine(object.ReferenceEquals(original, modified)); // false
// 频繁拼接使用StringBuilder避免大量临时对象
System.Text.StringBuilder builder = new System.Text.StringBuilder();
for (int i = 0; i < 100; i++)
{
builder.Append(i);
}
string result = builder.ToString();
第三个常见考点是struct和class的选型标准。一般来说，如果对象在语义上表示一个独立实体，拥有身份概念，应该使用class；如果只是简单的数据容器，强调值语义，可以考虑使用struct。判断依据包括：结构体赋值后原变量和副本完全独立，而类对象赋值后共享同一份数据。结构体不能有显式的无参数构造函数，类的构造函数则没有这个限制。此外，结构体不支持继承，但可以实现接口；类支持继承和多态。在性能敏感的场景下，小型结构体可以借助栈分配避免垃圾回收压力，但结构体过大时值复制的开销可能反而高于引用复制。
最后，理解值类型和引用类型的区别，不能只停留在概念记忆上。建议读者动手写一些对比代码，尤其是方法传参、结构体内含引用类型字段、以及泛型集合与普通集合的性能对比。这些实践会帮助你真正内化内存分配和赋值语义的规则，在面试中即使遇到变体问题也能从容分析。