C++与C#中struct与class的底层差异与应用场景

1. struct与class的本质差异解析

在C++和C#这类支持面向对象编程的语言中，struct（结构体）和class（类）的底层差异远比表面看起来要深刻。很多人以为它们只是"默认访问权限不同"，这种认知太过肤浅。让我们从内存布局这个底层视角切入：

cpp复制// 典型class的内存布局示例
class MyClass {
    int x;          // 默认private
    void method();  // 需要虚函数表指针
};
// 典型struct的内存布局示例
struct MyStruct {
    int a;          // 默认public
    double b;       // 连续内存排列
};

关键差异点：

1. 内存分配方式：struct默认栈分配（除非显式new），class默认堆分配。在C#中，struct是值类型，直接内联在父对象内存中；class是引用类型，通过指针间接引用。

2. 继承特性：C++中struct默认public继承，class默认private继承。但更本质的区别是，struct通常不用于多态场景（没有虚函数表开销）。

3. 拷贝语义：struct默认按位拷贝（浅拷贝），class拷贝需要定义拷贝构造函数。这也是为什么C#中struct要求所有字段必须显式初始化。

关键经验：需要高频创建/销毁的小型数据集合用struct，需要复杂继承关系的业务实体用class。

2. 值类型与引用类型的实战差异

通过一个C#的典型案例来说明行为差异：

csharp复制// 值类型struct
struct Point {
    public int X, Y;
    public Point(int x, int y) => (X, Y) = (x, y);
}

// 引用类型class
class Rectangle {
    public int Width, Height;
    public Rectangle(int w, int h) => (Width, Height) = (w, h);
}

void ModifyValues() {
    Point p = new Point(1, 2);  // 栈上分配
    Rectangle r = new Rectangle(3, 4);  // 堆上分配
    
    Point p2 = p;   // 值拷贝
    Rectangle r2 = r; // 引用拷贝
    
    p2.X = 10;  // 不影响原始p
    r2.Width = 30; // 原始r也被修改
}

性能关键点：

• struct在方法传参时会产生拷贝开销，超过16字节的结构体建议用const ref传递
• class的GC压力更大，但适合构建复杂对象图
• 现代C#中readonly struct可以避免防御性拷贝

3. 面向对象特性的支持程度

不同语言对二者的OOP支持存在显著差异：

设计原则：

1. 需要多态时必选class
2. 小型数据集合（坐标、颜色等）优先struct
3. 需要装箱/拆箱操作的场景慎用struct

4. 各语言中的特殊实现细节

4.1 C++中的POD类型

普通旧数据类型（Plain Old Data）是struct的典型应用场景：

cpp复制struct POD_Example {
    int x;
    char name[20];
    float values[3];
};
// 可以安全使用memcpy等底层操作
static_assert(std::is_pod<POD_Example>::value, "必须是POD类型");

4.2 C#中的ref struct

C# 7.2引入的ref struct专门用于栈内存分配：

csharp复制ref struct StackOnlyStruct {
    public int Data;
    // 不能实现接口
    // 不能作为类字段
}

4.3 Python中的名义区别

Python中class是唯一选择，但可通过__slots__模拟值类型行为：

python复制class Vector:
    __slots__ = ('x', 'y')  # 禁止动态属性，节省内存
    def __init__(self, x, y):
        self.x = x
        self.y = y

5. 高频问题解决方案

Q1：struct继承struct报错？

• C#中struct不能继承，但可以实现接口
• C++中struct继承要用public显式声明

Q2：如何选择值类型和引用类型？
参考决策树：

1. 数据大小 < 16字节 → 考虑struct
2. 需要频繁装箱 → 改用class
3. 需要作为字典键 → 优先不可变struct

Q3：为什么我的struct不能为null？

• C#中需要用Nullable包装：

csharp复制Point? p = null;  // 合法

性能优化技巧：

• 热循环中的大型struct改用readonly ref传递
• 频繁创建的临时对象考虑struct池化
• 包含引用类型的struct要小心内存泄漏

6. 现代语言的发展趋势

新兴语言如Rust彻底取消了class/struct的区分，统一用struct通过trait实现多态。而Swift的struct支持方法但不支持继承，这种折中方案正在成为新趋势。

在Unity DOTS等高性能框架中，struct的大量使用带来了显著的性能提升。ECS架构下，百万级实体用struct存储比class节省超过40%的内存。

最后分享一个真实案例：某高频交易系统将订单数据结构从class改为struct后，GC暂停时间从15ms降至1ms以下。这充分证明了正确选择数据类型的重要性。