# 深入解析 C# 中类（class）与结构（struct）的异同
在 C# 这门以类型系统著称的面向对象语言中，class（类）与struct（结构）是两种最核心、也最容易被混淆的类型定义方式。
它们都可以封装数据与行为，但在内存模型、语义设计、继承能力、性能特征等方面存在本质差异。理解这些差异，不仅关系到代码正确性，更直接影响系统性能与可维护性。
一、共同点：class 与 struct 能做什么是一样的？
尽管底层语义不同，class 与 struct 在语言层能力上高度一致：
封装能力：
- 都可以定义字段（Field）、属性（Property）、方法（Method）、索引器（Indexer）、事件（Event）
- 均支持运算符重载
接口实现：
- 都可以实现一个或多个接口（Interface）
访问控制：
- 支持
public/private/protected/internal
- 支持
泛型支持：
- 都可作为泛型参数
- 都可定义为泛型类型（
class<T>/struct<T>）
构造函数：
- 都支持参数化构造函数（struct 有额外约束）
👉结论：
从“能写什么代码”来看，class 与 struct 非常相似；
真正的差异，来自于它们的类型语义与内存模型。
二、本质差异：引用类型 vs 值类型
| 维度 | class | struct |
|---|---|---|
| 类型本质 | 引用类型（Reference Type） | 值类型（Value Type） |
| 默认内存位置 | 托管堆（Heap） | 取决于宿主（通常为栈） |
| 继承能力 | 支持单继承 | 不支持继承（隐式继承 ValueType） |
| 构造函数 | 可自定义无参 / 有参 | 不可自定义无参，必须初始化全部字段 |
| 析构函数 | 支持（由 GC 调用） | 不支持 |
| 赋值语义 | 引用拷贝 | 值拷贝 |
| 可空性 | 默认可为null | 默认不可为null |
| GC 影响 | 需要 GC 回收 | 栈上无 GC，堆上随宿主回收 |
| 装箱拆箱 | 不存在 | 转 object / interface 会发生 |
三、几个最容易踩坑的关键差异
1️⃣ 值拷贝 vs 引用拷贝（核心中的核心）
Animal a1 = new Animal("Dog"); Animal a2 = a1; a2.Species = "Husky"; Console.WriteLine(a1.Species); // Husky- class：变量中存的是引用地址
- 多个变量 → 同一个对象
Cat c1 = new Cat("橘猫"); Cat c2 = c1; c2.Name = "布偶猫"; Console.WriteLine(c1.Name); // 橘猫- struct：变量中存的是完整数据副本
- 修改副本不会影响原值
⚠️ 注意：值拷贝 ≠ 逻辑深拷贝
- 如果 struct 内部包含引用类型字段，只会拷贝引用本身
2️⃣ struct 的内存位置并不“一定在栈上”
struct 的存储位置，取决于它的宿主- 局部变量 → 通常在栈
- class 字段 → 在堆
- 数组元素 → 在堆
- async / iterator → 可能被提升到堆
👉不要用“struct 在栈上 / class 在堆上”作为绝对判断
3️⃣ struct 的构造函数限制
struct Point { public int X; public int Y; public Point(int x, int y) { X = x; Y = y; // 必须初始化所有字段 } }- ❌ 不允许自定义无参构造函数
- ✅ 参数化构造函数必须初始化全部字段
- 编译器始终保留一个“零值初始化路径”
四、代码对比示例（精简直观）
// struct：值语义 struct Cat { public string Name; public Cat(string name) => Name = name; } // class：引用语义 class Animal { public string Species; public Animal(string species) => Species = species; }Cat c1 = new Cat("A"); Cat c2 = c1; c2.Name = "B"; // c1 不受影响 Animal a1 = new Animal("Dog"); Animal a2 = a1; a2.Species = "Cat"; // a1 被影响五、如何选择？实战决策指南
✅ 优先选择 struct 的场景
- 小而简单的数据结构（2~4 个字段）
- 强调值语义（数学、坐标、金额）
- 高频创建、短生命周期
- 不可变对象（readonly struct）
典型示例：
int/DateTime/GuidPoint/Vector/Color
✅ 优先选择 class 的场景
- 复杂业务对象
- 需要继承 / 多态
- 生命周期较长
- 需要 null 表示“不存在”
典型示例：
User/OrderService/Controller- 领域模型（Domain Model）
六、面试高频问题（附标准回答）
下面问题均来自C# / .NET 中高级面试真实高频题，可直接背诵使用。
Q1：class 和 struct 的本质区别是什么？
标准回答：
class 是引用类型，struct 是值类型。
class 变量保存的是对象引用，多个变量可指向同一实例；
struct 变量保存的是实际数据，赋值会产生值拷贝。
Q2：struct 一定分配在栈上吗？
标准回答：
不一定。struct 的存储位置取决于它的宿主。
作为局部变量时通常在栈上，作为类字段或数组元素时分配在堆上。
Q3：为什么 struct 不支持继承？
标准回答：
struct 的设计目标是轻量级值语义，如果允许继承会引入对象身份、多态和额外间接层，破坏其性能和语义一致性。
Q4：什么时候不应该使用 struct？
标准回答：
当对象体积较大、需要继承、多态，或生命周期较长时，不应使用 struct，否则会导致频繁值拷贝和性能下降。
Q5：struct 作为方法参数时会发生什么？
标准回答：
默认情况下会发生值拷贝，方法内部修改不会影响原变量。
可通过ref/in/out传递以避免拷贝。
Q6：什么是装箱和拆箱？什么时候发生？
标准回答：
当 struct 被转换为 object 或接口类型时会发生装箱（值复制到堆）。
从 object 再转回 struct 时发生拆箱。
装箱拆箱会产生额外分配和性能开销。
Q7：为什么 struct 不能定义无参构造函数？
标准回答：
因为 CLR 必须保证所有 struct 都可以被零值初始化，允许自定义无参构造函数会破坏这一约定。
Q8：readonly struct 有什么作用？
标准回答：
readonly struct 保证实例不可变，可避免 defensive copy，提高性能和线程安全性。
Q9：record struct 和 record class 有什么区别？
标准回答：
record struct 是值语义，record class 是引用语义。
二者都提供值相等性、解构和 with 表达式，但内存与拷贝语义不同。
Q10：实际项目中如何选择 class 还是 struct？
标准回答：
判断标准不是性能，而是语义：
- 需要对象身份、继承、多态 → class
- 表示纯数据、值语义、短生命周期 → struct
七、一句话总结（面试 & 记忆版）
class = 引用语义 + 继承 + 复杂对象
struct = 值语义 + 轻量数据 + 性能友好
终极判断标准：
👉你关心的是“对象身份”，还是“数据本身”？
class = 引用语义 + 继承 + 复杂对象
struct = 值语义 + 轻量数据 + 性能友好
选择标准不是“性能迷信”，而是：
👉你要的是“对象身份”，还是“数据本身”？