C# 类型系统：值类型与引用类型的区别

C# 中的变量分为两大类：值类型（Value Types）和引用类型（Reference Types）。它们在内存分配、赋值行为、比较方式等方面有本质区别。正确理解这两者的差异，能避免常见错误，写出更高效、可靠的代码。

1. 基本概念区分

值类型直接存储数据本身，而引用类型存储的是指向数据的“地址”（引用）。

• 值类型包括：

  • 所有内置数值类型（如 int、float、bool、char）
  • 枚举（enum）
  • 结构体（struct）

• 引用类型包括：

  • 类（class）
  • 接口（interface）
  • 委托（delegate）
  • 数组（如 int[]）
  • 字符串（string）

注意：string 虽然看起来像值类型（比如不可变性），但它实际上是引用类型。

2. 内存分配位置不同

值类型通常分配在栈（stack）上，而引用类型的对象分配在堆（heap）上，变量本身（引用）在栈上。

• 栈：内存连续、分配释放快，生命周期由作用域自动管理。
• 堆：内存分散、需垃圾回收器（GC）管理，适合大对象或长期存在的数据。

例如：

int a = 10;           // a 是值类型，10 直接存在栈上
string s = "hello";   // s 是引用类型，"hello" 存在堆上，s 存的是地址

3. 赋值行为完全不同

这是最易出错的地方。

对值类型变量赋值，会复制整个数据；对引用类型变量赋值，只复制引用（地址），不复制对象本身。

示例：值类型赋值

int x = 5;
int y = x;    // 复制值：y 得到一个独立的 5
x = 10;       // 修改 x 不影响 y
Console.WriteLine(y); // 输出 5

结果：y 保持不变，因为它是 x 的一个完整副本。

示例：引用类型赋值

class Person { public string Name; }

Person p1 = new Person { Name = "Alice" };
Person p2 = p1;        // 复制引用：p2 和 p1 指向同一个对象
p1.Name = "Bob";       // 通过 p1 修改对象
Console.WriteLine(p2.Name); // 输出 Bob

关键结论：修改 p1.Name 会影响 p2，因为两者共享同一个对象。

4. 默认值与初始化

值类型有明确的默认值（零值），而引用类型默认值为 null。

你可以用 default 关键字获取任意类型的默认值：

int a = default;      // a == 0
string s = default;   // s == null

5. 比较方式差异

值类型比较的是内容是否相等，引用类型默认比较的是是否指向同一对象（即引用是否相同）。

值类型比较

int a = 10;
int b = 10;
Console.WriteLine(a == b); // True —— 比较值

引用类型比较（默认）

Person p1 = new Person { Name = "Alice" };
Person p2 = new Person { Name = "Alice" };
Console.WriteLine(p1 == p2); // False —— 虽然内容相同，但对象不同

即使两个 Person 对象的 Name 都是 "Alice"，== 返回 False，因为它们是两个独立对象。

例外：string 类型重载了 == 运算符，使其按内容比较：

string s1 = "hello";
string s2 = "hello";
Console.WriteLine(s1 == s2); // True —— 特殊处理：按内容比较

若要对普通引用类型按内容比较，需重写 Equals 方法或使用自定义逻辑。

6. 作为方法参数传递时的行为

值类型作为参数传递时，默认是按值传递（pass by value）——方法内修改不影响原变量。

引用类型作为参数传递时，传递的是引用的副本，因此方法内可通过该引用修改对象内容，但不能改变原引用本身。

值类型传参

void Modify(int x) {
    x = 100;
}

int num = 5;
Modify(num);
Console.WriteLine(num); // 输出 5 —— 未被修改

引用类型传参

void Modify(Person p) {
    p.Name = "Charlie";   // 修改对象内容 → 有效
    p = null;             // 修改引用本身 → 无效（仅局部生效）
}

Person person = new Person { Name = "David" };
Modify(person);
Console.WriteLine(person.Name); // 输出 Charlie
// person 本身不为 null

关键点：你能改对象的内容，但不能让原变量指向新对象（除非用 ref 或 out）。

7. 如何判断一个类型是值类型还是引用类型？

检查类型是否继承自 System.ValueType。

• 所有值类型都隐式继承自 ValueType。
• 引用类型继承自 System.Object，但不继承 ValueType。

你也可以用代码判断：

bool isValueType = typeof(int).IsValueType;        // true
bool isRefType = typeof(string).IsValueType;       // false

8. 性能与使用建议

• 优先使用值类型：当数据简单、体积小（如坐标、颜色、ID）、且不需要多态时，用 struct。
• 避免大 struct：超过 16 字节的结构体在赋值或传参时会复制全部数据，可能影响性能。
• 引用类型适合复杂对象：需要继承、多态、或对象较大时，用 class。
• 不可变性设计：对于引用类型，尽量设计为不可变（如 string），可减少副作用。

9. 常见误区澄清

10. 实战：何时该用 struct 还是 class？

用 struct（值类型）当且仅当满足以下所有条件：

1. 表示单一值（如 Point、Color、DateTime）
2. 实例大小小于 16 字节
3. 不可变（immutable）
4. 不需要继承或多态

否则，一律使用 class。

例如：

// 合理：小、简单、值语义
struct Point {
    public double X, Y;
    public Point(double x, double y) => (X, Y) = (x, y);
}

// 不合理：太大、可变、有行为
struct DatabaseConnection { /* 包含 socket、状态等 */ } // 应改用 class

创建一个 Point 变量时，数据直接存在栈上；而 DatabaseConnection 若用 struct，每次赋值都会复制整个连接状态，极易出错且低效。