struct是值类型，内存通常分配在栈上或作为对象的一部分嵌入存储；class是引用类型，实例总是在托管堆上分配。struct的数据随其所在对象的生命周期自动管理，无需gc介入，适合小型、不可变的数据结构，复制时进行值拷贝，确保独立性；而class通过引用访问堆上的实例，支持共享状态、继承和多态，适用于复杂对象，生命周期由gc管理。选择struct应满足：代表逻辑上的值、实例小、避免频繁装箱、需要值语义及性能关键场景；选择class则适用于实体类、大对象、需引用语义、继承或多态以及长生命周期的情况。默认优先使用class，只有在明确符合struct适用条件时才使用struct。
C#里的
struct
和
class
，它们在内存分配上确实有着根本性的差异。简单来说，
struct
是值类型，通常直接在栈上分配内存，或者作为包含它的对象的一部分嵌入式存在；而
class
是引用类型，它的实例总是在托管堆上分配内存。这种差异直接决定了它们在程序运行时的行为、性能以及生命周期管理上的巨大不同。
解决方案
要深入理解C#中
struct
和
class
的内存分配区别，我们得从它们各自的本质说起。
struct
（值类型）的内存分配
当你在代码中声明一个
struct
类型的变量时，比如在一个方法内部：
public struct Point { public int X; public int Y;}public void MyMethod() { Point p1 = new Point { X = 10, Y = 20 }; // ...}
这个
p1
变量的实际数据（也就是
X
和
Y
的值）会直接存储在当前方法的栈帧上。栈内存的特点是分配和回收都非常快，当方法执行完毕，栈帧出栈，
p1
所占用的内存也就自动释放了，不需要垃圾回收器介入。
但如果一个
struct
是作为另一个
class
或
struct
的字段存在呢？
public class Circle { public Point Center; // Point是struct public int Radius;}public struct Rectangle { public Point TopLeft; // Point是struct public Point BottomRight;}
在这种情况下，
Point
结构体的数据会直接“内联”地嵌入到
Circle
类实例的堆内存中，或者嵌入到
Rectangle
结构体本身的栈内存（如果
Rectangle
是局部变量）或父结构体的内存中。它不会单独在堆上分配一块内存，也没有独立的引用。这就意味着，
struct
的内存是它所在对象的内存的一部分，与父对象同生共死。这种紧凑的内存布局，对于小数据量来说，对CPU缓存非常友好，能带来性能优势。
class
（引用类型）的内存分配
与
struct
截然不同，
class
的实例总是分配在托管堆上。当你创建一个
class
的实例时：
public class Person { public string Name; public int Age;}public void AnotherMethod() { Person p = new Person { Name = "Alice", Age = 30 }; // ...}
这里发生了两件事：
new Person()
会在托管堆上分配一块内存，用于存储
Person
对象的所有字段（
Name
和
Age
）。变量
p
本身并不直接包含
Person
对象的数据，它只在栈上存储一个指向堆上
Person
对象的“引用”（可以理解为内存地址）。
这意味着，
p
只是一个“指针”或“句柄”。当
AnotherMethod
执行完毕，栈上的
p
引用会被销毁，但堆上的
Person
对象并不会立即消失。它会一直存在，直到没有任何引用指向它，这时垃圾回收器（GC）才会在某个不确定的时间点将其回收。堆内存的分配和回收相对栈来说要慢一些，并且引入了GC的开销。
struct和class的复制行为有何不同，这在实际编程中意味着什么？
这是个特别有意思，也常常让人犯迷糊的地方。说白了，
struct
和
class
最直观的区别之一，就体现在它们的“复制”行为上。
当我们将一个
struct
变量赋值给另一个
struct
变量时，发生的是一次值复制（Value Copy）。这意味着源
struct
的所有数据成员都会被逐位复制到目标
struct
中，两者从此互不相干。比如：
public struct Point { public int X; public int Y;}Point p1 = new Point { X = 10, Y = 20 };Point p2 = p1; // 此时p2是p1的一个完整副本p2.X = 50; // 修改p2的XConsole.WriteLine($"p1.X: {p1.X}"); // 输出: p1.X: 10 (p1不受影响)Console.WriteLine($"p2.X: {p2.X}"); // 输出: p2.X: 50
你看，
p2
的修改完全不会影响到
p1
。它们是两个独立的内存区域，各自持有自己的数据。这在处理像坐标、颜色、日期时间这种“值”概念的数据时非常自然和安全。
然而，对于
class
，情况就完全不同了。当我们将一个
class
变量赋值给另一个
class
变量时，发生的是引用复制（Reference Copy）。这意味着我们复制的不是对象本身的数据，而是那个指向堆上对象的内存地址。结果就是，两个变量现在都指向了堆上的同一个对象。
public class Person { public string Name { get; set; } public int Age { get; set; }}Person person1 = new Person { Name = "Alice", Age = 30 };Person person2 = person1; // 此时person2和person1指向堆上同一个Person对象person2.Name = "Bob"; // 通过person2修改对象的NameConsole.WriteLine($"person1.Name: {person1.Name}"); // 输出: person1.Name: Bob (person1也看到了修改)Console.WriteLine($"person2.Name: {person2.Name}"); // 输出: person2.Name: Bob
这在实际编程中意味着什么呢？
struct
的独立性：如果你想确保一个数据副本的修改不会影响到原始数据，那么
struct
的这种行为是天然的优势。它避免了意外的副作用，尤其是在函数参数传递时。当
struct
作为参数传递时，也是值复制，函数内部对参数的修改不会影响到外部的原始变量。
class
的共享性：
class
的引用复制使得多个变量可以共享同一个对象的状态。这对于需要共享数据、实现多态性（比如基类引用指向派生类实例）、或者构建复杂对象图的场景至关重要。但也正因为这种共享，你必须小心处理状态的改变，因为通过任何一个引用对对象的修改，都会被所有其他引用“看到”。这可能导致一些难以追踪的bug，尤其是在多线程环境中。
一个值得注意的陷阱是：如果一个
struct
内部包含了一个
class
类型的字段，那么当这个
struct
被复制时，那个
class
字段复制的仍然是引用。也就是说，
struct
是值复制，但它内部的引用类型字段仍然是引用复制。这通常被称为“浅拷贝”行为。理解这一点，对于避免一些微妙的bug非常关键。
为什么说struct更适合小型数据结构，而class更适合复杂对象？
这其实是关于性能、设计哲学和内存管理开销的一个权衡。
struct
适合小型数据结构的原因：
内存局部性与缓存优势： 就像我前面说的，
struct
的数据要么在栈上，要么直接嵌入在父对象里。这意味着它们的数据通常在内存中是连续的，或者至少是紧挨着使用的。CPU在访问这些数据时，更有可能命中缓存（L1/L2/L3 Cache），从而显著提高访问速度。对于那些频繁创建、销毁的小对象（比如游戏里的粒子位置、图形里的颜色值），这种缓存优势能带来可观的性能提升。避免堆分配和GC开销： 每次
new class()
都会涉及堆内存的分配，并且当对象不再被引用时，垃圾回收器需要介入清理。频繁的堆分配和GC周期会引入性能开销，尤其是在性能敏感的应用中。而
struct
，特别是当它在栈上分配时，完全规避了这些开销，它的生命周期与栈帧绑定，方法返回时自动回收，非常高效。值语义的自然匹配： 很多小型数据，比如一个点（X, Y）、一个颜色（R, G, B）、一个日期（年, 月, 日），它们本质上就是“值”。我们通常希望它们在复制时是完全独立的副本，而不是共享同一个实例。
struct
的值语义完美契合了这种需求，让代码逻辑更直观、更安全。不可变性鼓励： 虽然
struct
可以是可变的，但业界普遍推荐将
struct
设计为不可变类型（即所有字段都是只读的）。不可变性大大简化了并发编程和数据流管理，而小型数据结构往往更容易实现不可变性。
class
适合复杂对象的原因：
引用语义与共享状态： 复杂对象往往需要被多个部分引用和共享。例如，一个
Customer
对象可能被订单系统、客服系统、报表系统同时引用。如果
Customer
是
struct
，每次传递或赋值都会产生一个完整的副本，这不仅效率低下，更重要的是，各系统看到的将是不同的副本，无法共享同一个客户的最新状态。
class
的引用语义允许所有引用都指向同一个堆上的实例，确保数据的一致性。继承与多态： 这是面向对象编程的核心。
class
支持继承，允许你构建复杂的类型层次结构，实现多态性（即通过基类引用操作派生类实例）。
struct
不支持继承（除了隐式继承自
ValueType
和
object
），这使得它无法参与到复杂的OO设计模式中。大对象与性能： 如果一个对象很大（比如包含几十个字段，或者内部有大型集合），那么每次复制它都会非常昂贵。将它放在堆上，只传递一个轻量级的引用，显然是更高效的选择。虽然堆分配有开销，但对于大对象而言，这个开销相比于频繁的深拷贝来说，通常是微不足道的。生命周期管理： 复杂对象往往有更长的、不确定的生命周期。它们可能在程序的多个模块中被传递和使用，直到不再被任何地方引用才需要被清理。
class
的垃圾回收机制完美地解决了这个问题，开发者无需手动管理内存，降低了内存泄漏的风险。
所以，一个简单的经验法则是：如果你的类型代表一个小的、不可变的“值”，并且它的行为更像一个基本数据类型（比如整数或布尔值），那么
struct
可能是更好的选择。如果你的类型代表一个具有身份、可能需要共享状态、支持继承或多态的“实体”，那么
class
几乎总是正确的答案。我个人在实践中，如果不是有明确的性能瓶颈且满足
struct
的小、值语义等条件，我通常会倾向于默认使用
class
，因为它在设计灵活性和避免一些隐晦bug方面更具优势。
什么时候应该优先选择struct，什么时候应该选择class，有什么经验法则吗？
这确实是个老生常谈的问题，但它背后的考量却很实际。选择
struct
还是
class
，不是拍脑袋决定的，而是要根据你的具体需求、数据特性和性能目标来权衡。
优先选择
struct
的场景：
类型代表一个逻辑上的“值”： 这是最核心的判断标准。比如，一个坐标点（X, Y）、一个颜色（RGB）、一个日期时间（DateTime）、一个全局唯一标识符（Guid）。这些数据通常被视为不可分割的整体，并且在逻辑上，一个副本的修改不应该影响到原始数据。实例很小： 一般来说，如果
struct
的实例大小在16字节以下（甚至更小，比如8字节），它的性能优势会更明显。因为过大的
struct
在值传递时会产生大量的复制开销，甚至可能导致性能下降，抵消了栈分配的优势。微软的Guidelines建议，如果
struct
大小超过16字节，或者包含引用类型字段，需要仔细评估。实例不常被装箱（Boxing）： 当
struct
被转换为
object
类型（例如，将其存储在非泛型集合如
ArrayList
中，或者作为
object
参数传递给方法时），它会发生“装箱”操作。这意味着
struct
的数据会被复制到堆上，生成一个临时的
object
实例。这个过程会产生堆分配和GC开销，频繁的装箱/拆箱操作会严重损害性能。如果你的
struct
会经常被装箱，那么它的性能优势可能荡然无存，甚至不如直接使用
class
。希望获得值语义的行为： 如果你明确希望每次赋值或方法参数传递都创建一个独立的副本，那么
struct
就是你的选择。性能是关键考量： 在一些性能敏感的场景，比如游戏开发、高性能计算，如果满足上述条件，
struct
能有效减少堆分配和GC压力，提升性能。
优先选择
class
的场景：
类型代表一个逻辑上的“实体”： 具有明确的身份（Identity），并且可能需要被多个地方共享和修改。比如一个
Customer
、一个
Order
、一个
FileStream
、一个
DatabaseConnection
。实例较大或包含大量数据： 如果对象包含很多字段，或者内部有大型集合、数组等，那么将它作为
class
放在堆上，只传递引用，效率会更高。需要引用语义的行为： 如果你希望多个变量能够引用同一个对象实例，并且对其中一个变量的修改会反映到所有其他变量上，那么
class
是唯一的选择。需要继承或多态性： 这是面向对象设计的基础。如果你需要构建类型层次结构、使用抽象类或接口实现多态行为，那么只能使用
class
。生命周期不确定或较长：
class
实例由垃圾回收器管理，你无需担心它们的生命周期，这大大简化了内存管理。
经验法则（我的个人看法）：
默认选择
class
。 这是最安全、最灵活的选择，能满足绝大多数业务逻辑的需求，并且提供了完整的面向对象特性。只在有明确理由时才考虑
struct
。 这个“理由”通常是：它是一个非常小的数据类型（比如16字节以下），逻辑上是一个“值”。你非常关心性能，并且经过分析确认，使用
struct
能带来显著的性能提升，同时没有严重的装箱问题或其他副作用。你明确需要值语义的行为，并且能够处理好所有可能出现的复制行为（特别是对于可变
struct
的潜在陷阱）。避免可变的
struct
。 除非你对它的行为模式了如指掌，并且有充分的理由。可变
struct
由于其值复制的特性，很容易导致一些难以发现的bug。例如，当你将一个可变
struct
作为属性返回时，修改返回的
struct
副本并不会影响到原始对象中的
struct
实例。这常常让人感到困惑。
总而言之，
class
是C#中构建复杂应用程序的主力，而
struct
更像是一种用于特定场景（小、值语义、性能敏感）的优化工具。理解它们的内存分配机制，能帮助你做出更明智的设计决策，写出更健壮、更高效的代码。
以上就是C#的struct和class在内存分配上有什么区别？的详细内容，更多请关注创想鸟其它相关文章！
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。
如发现本站有涉嫌抄袭侵权/违法违规的内容， 请发送邮件至 chuangxiangniao@163.com 举报，一经查实，本站将立刻删除。
发布者：程序猿，转转请注明出处：https://www.chuangxiangniao.com/p/1439071.html
微信扫一扫 
支付宝扫一扫 
