1. 为什么需要结构体？
在C#开发中，我们经常需要处理一组相关的数据。比如要表示一个二维坐标点，传统做法可能是这样：
csharp复制int x = 10;
int y = 20;
这种分散的变量定义方式存在明显问题：数据缺乏组织性，传递时需要单独处理每个变量。当我们需要在方法间传递坐标时，必须这样写：
csharp复制void DrawPoint(int x, int y) { /*...*/ }
结构体（struct）就是为了解决这类问题而生的。它允许我们将多个相关的数据项打包成一个逻辑单元：
csharp复制struct Point {
public int X;
public int Y;
}
现在我们可以用一个Point变量代替两个int变量，代码组织性和可读性都得到了提升。
提示：结构体特别适合表示轻量级的、不可变的数据类型，如坐标、颜色、尺寸等简单值类型。
2. 结构体与类的本质区别
2.1 值类型 vs 引用类型
结构体是值类型，而类是引用类型。这是它们最根本的区别。让我们通过一个例子来理解：
csharp复制// 类（引用类型）
class PersonClass {
public string Name;
}
// 结构体（值类型）
struct PersonStruct {
public string Name;
}
var class1 = new PersonClass { Name = "Alice" };
var class2 = class1;
class2.Name = "Bob";
Console.WriteLine(class1.Name); // 输出 "Bob"
var struct1 = new PersonStruct { Name = "Alice" };
var struct2 = struct1;
struct2.Name = "Bob";
Console.WriteLine(struct1.Name); // 输出 "Alice"
这个例子展示了关键区别：类实例的赋值是引用拷贝，而结构体实例的赋值是值拷贝。
2.2 内存分配差异
结构体通常分配在栈上（除非被装箱或作为类的成员），而类实例总是分配在堆上。这意味着：
- 结构体的内存分配和释放更快
- 结构体没有垃圾回收开销
- 结构体可能导致栈溢出（如果结构体过大）
注意：作为经验法则，当类型的大小小于16字节时，考虑使用结构体；否则，使用类可能更合适。
3. 结构体的高级特性
3.1 构造函数与初始化
结构体可以有构造函数，但与类不同：
csharp复制struct Point {
public int X;
public int Y;
// 结构体构造函数必须初始化所有字段
public Point(int x, int y) {
X = x;
Y = y;
}
}
结构体不能有无参构造函数，因为编译器总是会提供一个默认的无参构造函数，将所有字段初始化为默认值。
3.2 只读结构体
C# 7.2引入了只读结构体，可以确保结构体的不可变性：
csharp复制readonly struct ImmutablePoint {
public readonly int X;
public readonly int Y;
public ImmutablePoint(int x, int y) {
X = x;
Y = y;
}
}
只读结构体有以下优势：
- 明确的语义：数据不可变
- 更好的性能：编译器可以进行更多优化
- 线程安全：不可变数据天然线程安全
3.3 ref结构体
C# 7.2还引入了ref结构体，这种结构体只能分配在栈上：
csharp复制ref struct StackOnlyStruct {
public int Value;
}
ref结构体的限制：
- 不能作为类或普通结构体的字段
- 不能实现接口
- 不能装箱
- 不能用于async方法
Span
4. 结构体的性能考量
4.1 装箱与拆箱开销
结构体是值类型，当需要转换为引用类型（如object或接口）时会发生装箱：
csharp复制struct Point { public int X, Y; }
Point p = new Point();
object boxed = p; // 装箱
Point unboxed = (Point)boxed; // 拆箱
装箱操作会：
- 在堆上分配内存
- 将值类型数据复制到堆上
- 返回堆上对象的引用
频繁装箱会严重影响性能，应尽量避免。
4.2 大型结构体的性能问题
虽然结构体通常比类更高效，但当结构体过大时，传递和复制会产生显著开销：
csharp复制// 不好的实践：过大的结构体
struct LargeStruct {
public long A, B, C, D, E, F, G, H;
}
void ProcessStruct(LargeStruct s) {
// 每次调用都会复制整个结构体
}
在这种情况下，使用类可能更合适，或者考虑将大结构体拆分为更小的部分。
5. 结构体的最佳实践
5.1 何时使用结构体
适合使用结构体的场景：
- 表示简单的值类型（坐标、颜色等）
- 数据不可变或很少改变
- 实例大小小于16字节
- 不需要继承或多态
- 频繁创建和销毁，且需要高性能
5.2 结构体设计指南
- 保持结构体小巧（理想情况下16字节或更小）
- 考虑将结构体设为只读（readonly struct）
- 重写Equals和GetHashCode方法
- 实现IEquatable
接口 - 考虑重载运算符（如==, !=）
- 避免可变结构体（可能导致意外行为）
5.3 常见陷阱与解决方案
陷阱1：可变结构体
csharp复制struct MutablePoint {
public int X, Y;
public void Move(int dx, int dy) {
X += dx;
Y += dy;
}
}
var points = new MutablePoint[10];
points[0].Move(1, 1); // 编译错误！因为数组返回的是副本
解决方案：要么将结构体设为只读，要么避免修改结构体实例。
陷阱2：装箱开销
csharp复制struct Point { /*...*/ }
var points = new ArrayList();
points.Add(new Point()); // 装箱！
解决方案：使用泛型集合（如List
6. 实际案例：高性能数学库中的结构体应用
在游戏开发或科学计算中，结构体可以显著提升性能。以下是一个简单的向量结构体实现：
csharp复制public readonly struct Vector3 : IEquatable<Vector3> {
public readonly float X;
public readonly float Y;
public readonly float Z;
public Vector3(float x, float y, float z) {
X = x;
Y = y;
Z = z;
}
// 向量加法
public static Vector3 operator +(Vector3 a, Vector3 b) {
return new Vector3(a.X + b.X, a.Y + b.Y, a.Z + b.Z);
}
// 实现IEquatable<T>
public bool Equals(Vector3 other) {
return X == other.X && Y == other.Y && Z == other.Z;
}
// 重写Equals和GetHashCode
public override bool Equals(object obj) {
return obj is Vector3 other && Equals(other);
}
public override int GetHashCode() {
return HashCode.Combine(X, Y, Z);
}
}
这个实现展示了结构体的多个最佳实践：
- 只读结构体确保不可变性
- 实现IEquatable
提升比较性能 - 重载运算符提供直观语法
- 正确实现Equals和GetHashCode
在游戏循环中，这样的向量结构体可以高效处理大量数学运算，而不会产生垃圾回收压力。
7. 结构体在.NET框架中的应用
.NET框架本身大量使用结构体来实现高性能基础类型。一些典型例子：
- System.Int32：int实际上是结构体
- System.DateTime：表示日期时间的结构体
- System.Drawing.Point：表示二维坐标的结构体
- System.Numerics.Vector2/3/4：高性能数学向量
- System.Collections.Generic.List
.Enumerator ：枚举器实现为结构体
这些实现都遵循了结构体的最佳实践：小巧、不可变、高效。
我在实际项目中发现，合理使用结构体可以将某些热点代码的性能提升30%以上。特别是在处理大量小型数据时，结构体相比类有明显的优势。不过要注意监控内存使用情况，避免意外的大结构体复制开销。