根据C#语言规范：

1.7结构与类一样，结构是可以包含数据成员和函数成员的数据结构，但与类不同，结构是值类型，不需要堆分配。结构的变量类型直接存储结构的数据，而类类型存储对动态分配对象的引用。结构类型不支持用户指定的继承，并且所有结构类型隐式继承自类型对象。结构对于具有值语义。复数、坐标系中的点或字典中的键值对都是结构的好例子。这个对小数据结构使用结构而不是类可以应用程序内存分配数量的巨大差异执行。例如，以下程序创建并初始化100个点的阵列。将Point实现为类，101单独的对象被实例化，一个用于数组，另一个用于100个元素。

class Point
{
   public int x, y;

   public Point(int x, int y) {
      this.x = x;
      this.y = y;
   }
}

class Test
{
   static void Main() {
      Point[] points = new Point[100];
      for (int i = 0; i < 100; i++) points[i] = new Point(i, i);
   }
}

另一种方法是使Point成为结构。

struct Point
{
   public int x, y;

   public Point(int x, int y) {
      this.x = x;
      this.y = y;
   }
}

现在，只实例化了一个对象，即数组的对象，Point实例存储在数组中。

结构构造函数是用新运算符调用的，但这并不意味着正在分配内存。结构构造函数不是动态分配对象并返回对它的引用，而是简单地返回结构值本身（通常在堆栈上的临时位置），然后根据需要复制该值。

使用类，两个变量可以引用同一个对象，因此对一个变量的操作可能会影响另一个变量引用的对象。对于结构，每个变量都有自己的数据副本，对其中一个变量的操作不可能影响另一个变量。例如，以下代码片段产生的输出取决于Point是类还是结构。

Point a = new Point(10, 10);
Point b = a;
a.x = 20;
Console.WriteLine(b.x);

如果Point是一个类，则输出为20，因为a和b引用相同的对象。如果Point是一个结构，则输出为10，因为将a赋值给b会创建一个值的副本，并且该副本不受后续对a.x赋值的影响。

上一个示例突出了结构的两个限制。首先，复制整个结构通常比复制对象引用效率低，因此与引用类型相比，结构的赋值和值参数传递可能更昂贵。第二，除了ref和out参数之外，不可能创建对结构的引用，这在许多情况下排除了它们的使用。

除了常见的性能差异之外，让我再补充一个方面，那就是默认值的使用意图。

如果其字段的默认值不表示建模概念的合理默认值，请不要使用结构。

Eg.

即使所有字段都设置为默认值，“颜色”或“点”也有意义。RGB 0,0,0是一种非常好的颜色，（0,0）作为2D中的点也是如此。但是Address或PersonName没有合理的默认值。我的意思是，你能理解FirstName=null和LastName=null的PersonName吗？

如果你用一个类实现了一个概念，那么你可以强制执行某些不变量，例如一个人必须有名字和姓氏。但对于结构，总是可以创建一个实例，将其所有字段设置为默认值。

因此，当对没有合理默认值的概念进行建模时，更喜欢类。类的用户会明白null意味着没有指定PersonName，但如果您给他们一个PersonName结构实例，并将其所有财产设置为null，他们会感到困惑。

（通常的免责声明：性能考虑可能会凌驾于此建议之上。如果您有性能问题，请在决定解决方案之前进行衡量。试试BenchmarkDotNet，这很好！）

我不同意原帖子中给出的规则。以下是我的规则：

当存储在数组中时，可以使用结构来提高性能。（另请参见结构何时是答案？）在向C/C传递结构化数据的代码中需要它们++除非需要，否则不要使用结构：它们的行为与赋值下的“正常对象”（引用类型）不同当作为参数传递时，这可能导致意外行为；如果查看代码的人不知道他们正在处理一个结构。它们不能被继承。将结构作为参数传递比类更昂贵。

结构是值类型。如果将结构分配给新变量，则新变量将包含原始变量的副本。

public struct IntStruct {
    public int Value {get; set;}
}

执行以下操作将导致存储在内存中的结构的5个实例：

var struct1 = new IntStruct() { Value = 0 }; // original
var struct2 = struct1;  // A copy is made
var struct3 = struct2;  // A copy is made
var struct4 = struct3;  // A copy is made
var struct5 = struct4;  // A copy is made

// NOTE: A "copy" will occur when you pass a struct into a method parameter.
// To avoid the "copy", use the ref keyword.

// Although structs are designed to use less system resources
// than classes.  If used incorrectly, they could use significantly more.

类是引用类型。将类分配给新变量时，该变量包含对原始类对象的引用。

public class IntClass {
    public int Value {get; set;}
}

执行以下操作只会导致内存中类对象的一个实例。

var class1 = new IntClass() { Value = 0 };
var class2 = class1;  // A reference is made to class1
var class3 = class2;  // A reference is made to class1
var class4 = class3;  // A reference is made to class1
var class5 = class4;  // A reference is made to class1  

结构可能会增加代码错误的可能性。如果将值对象视为可变引用对象，那么当所做的更改意外丢失时，开发人员可能会感到惊讶。

var struct1 = new IntStruct() { Value = 0 };
var struct2 = struct1;
struct2.Value = 1;
// At this point, a developer may be surprised when 
// struct1.Value is 0 and not 1

我使用结构来打包或解包任何类型的二进制通信格式。这包括读取或写入磁盘、DirectX顶点列表、网络协议或处理加密/压缩数据。

在这方面，你列出的三条准则对我来说并不有用。当我需要以特殊顺序写出400字节的内容时，我将定义一个400字节的结构，并用它应该具有的任何不相关的值填充它，我将以当时最合理的方式设置它。（好吧，四百字节会很奇怪——但当我以写Excel文件为生的时候，我处理的是多达四十字节的结构，因为这就是一些BIFF记录的大小。）

C#或其他.net语言中的结构类型通常用于保存应该表现为固定大小的值组的内容。结构类型的一个有用方面是，可以通过修改保存结构类型实例的存储位置来修改该实例的字段，而不是以其他方式。可以以这样的方式对结构进行编码，即变异任何字段的唯一方法是构造一个完整的新实例，然后使用结构赋值通过用新实例中的值覆盖目标的所有字段来对其进行变异，但除非结构不提供创建其字段具有非默认值的实例的方法，如果结构本身存储在可变位置，则其所有字段都是可变的。

请注意，如果结构包含一个私有类类型字段，那么可以设计一个结构类型，使其基本上表现为类类型，并将其自身成员重定向到包装的类对象的成员。例如，PersonCollection可能提供财产SortedByName和SortedById，这两个属性都持有对PersonCollection的“不可变”引用（在其构造函数中设置），并通过调用creator.GetNameSortedEnumerator或creator.GetIdSortedEnumerator来实现GetEnumerater。此类结构的行为与对PersonCollection的引用非常相似，除了它们的GetEnumerator方法将绑定到PersonCollection中的不同方法。也可以有一个结构来包裹数组的一部分（例如，可以定义一个ArrayRange＜T＞结构，该结构将保存一个称为Arr的T[]、一个int Offset和一个int Length，以及一个索引属性，对于范围0到Length-1的索引idx，该属性将访问Arr[idx+Offset]）。不幸的是，如果foo是这种结构的只读实例，当前的编译器版本将不允许像foo[3]+=4这样的操作；因为它们无法确定这些操作是否会尝试写入foo的字段。

也可以设计一个结构，使其行为类似于一个值类型，该值类型包含一个可变大小的集合（无论何时该结构都会被复制），但唯一可行的方法是确保该结构包含引用的对象不会暴露于任何可能使其发生变异的对象。例如，可以有一个类似数组的结构，它保存一个私有数组，其索引的“put”方法创建一个新数组，其内容与原始数组的内容相似，只有一个元素发生了更改。不幸的是，要使这种结构有效地执行可能有些困难。虽然有时结构语义可能很方便（例如，能够将类似数组的集合传递给例程，调用方和被调用方都知道外部代码不会修改集合，这可能比要求调用方和受调用方防御性地复制它们所提供的任何数据要好），类引用指向永远不会变异的对象的要求通常是一个相当严格的约束。