[CLR via C#] 值类型与引用类型

1. 一句话核心摘要

值类型（struct）在线程栈上分配，直接存储数据，避免托管堆分配和GC压力；引用类型（class）在堆上分配，变量存地址，赋值只复制引用。选型错误会直接导致游戏运行时产生大量GC Alloc。

2. 考点拆解（理论 + 代码混合编排）

引用类型和值类型的核心区别在于内存分配位置和赋值语义。面试中会反复追问这两点。

分配位置与性能代价

引用类型用 class 声明，任何实例化都会在托管堆上分配，并伴随对象头（类型对象指针、同步块索引）初始化。频繁创建引用类型会快速填满堆，触发垃圾回收，游戏主线程中哪怕一次 Gen0 GC 也可能导致卡顿。

值类型用 struct 声明，实例分配在线程栈上。栈的分配和释放仅移动栈指针，速度快且无任何GC开销。以下代码能直观看到差异：

class MyRef { public int x; }      // 引用类型
struct MyVal { public int x; }     // 值类型

void Demo() {
    MyRef r = new MyRef(); // 堆分配 + 对象头
    MyVal v = new MyVal(); // 栈分配，仅4字节（x字段）
}

赋值语义与数据独立性

值类型赋值会逐字段完整复制，每个变量拥有独立的数据副本；引用类型赋值只复制地址，两个变量指向同一块堆内存。这在游戏中直接影响数据修改行为，尤其当 struct 作为方法参数传递时会发生拷贝，这一点常被面试官追问。

void AssignmentDemo() {
    MyVal v1 = new MyVal { x = 5 };
    MyVal v2 = v1;     // 完整复制数据，v2.x=5
    v1.x = 9;          // 只改v1，v2.x仍是5

    MyRef r1 = new MyRef { x = 5 };
    MyRef r2 = r1;     // 只复制引用
    r1.x = 8;          // r1和r2的x都变成8
}

初始化与编译保护

C# 强制值类型在使用前必须完整初始化。如果不用 new 而直接声明变量，编译器会认为字段未赋值，禁止访问。new 其实并未在堆上分配，只是让编译器知道所有字段已置零。

MyVal v1;           // 栈分配，但字段未初始化
int a = v1.x;       // 编译错误 CS0170
MyVal v2 = new MyVal(); // 编译通过，字段已默认置0

接口实现与密封特性

值类型虽不能继承自其他类型，但可以实现接口。这会导致一个关键性能陷阱：值类型通过接口调用方法时会发生装箱，把值类型复制到托管堆上变成对象。面试官常考“结构体实现接口会有什么问题”。

interface IPrint { void Print(); }
struct MyStruct : IPrint {
    public int x;
    public void Print() => Console.WriteLine(x);
}

void CallInterface(IPrint p) { p.Print(); }

void Main() {
    MyStruct s = new MyStruct { x = 10 };
    CallInterface(s);  // 装箱！在堆上生成MyStruct的副本
}

3. 游戏开发视角 · 性能红黑榜

红榜（收益）

• 将小而不可变的数据（如坐标Vector3、颜色Color、分数数据）定义为值类型，可完全消灭堆分配。
• 在Update、LateUpdate等每帧调用的方法中，使用局部struct变量不会产生GC Alloc，利于维持稳定帧率。
• struct数组存储的是连续数据本身，缓存命中率远高于引用类型数组，遍历速度更快。

黑榜（风险）

• 大struct（>16字节）作为方法实参传递时每次都会发生字段拷贝，CPU开销和栈内存占用均增大。如果此类方法在Update中高频调用，会显著增加CPU时间。
• 值类型实现接口后，通过接口类型访问该实例会触发装箱，在托管堆产生垃圾，成为GC的“暗箭”。
• 将可变struct误用为共享数据源，由于赋值是拷贝，修改无法传播到其他使用者，极易产生逻辑bug。

4. 面试复盘备忘录（实习必问）

追问1：什么时候该把类型设计成struct而不是class？
面试官想听的核心关键词：

• 不可变(immutable)
• 16字节以内
• 无继承需求
• 基元类型行为
• 无需作为引用传递

追问2：struct能实现接口吗？会有什么问题？
面试官想听的核心关键词：

• 装箱(boxing)
• 堆分配
• 性能损耗
• 接口调用

5. 重要程度标签

• [ 基石必考 ]：值类型与引用类型的区别、装箱拆箱、struct选型原则是C#面试铁打的考点。
• [ 性能刺客 ]：struct接口调用引发装箱、大struct频繁拷贝、误用class导致GC峰值，都是游戏运行时的常见性能杀手。
• [ 避坑常识 ]：struct中定义可变字段导致的“数据不同步”问题，属于日常易错点。