1不鼓励在F#中使用null，请改用Option类型。

类的实例存储在托管堆上。“包含”实例的所有变量都只是对堆上实例的引用。将对象传递给方法会导致传递引用的副本，而不是对象本身。

结构（从技术上讲，值类型）存储在使用它们的任何地方，很像原始类型。运行时可以随时复制内容，而无需调用自定义的复制构造函数。将值类型传递给方法涉及复制整个值，同样无需调用任何自定义代码。

C++/CLI名称使这种区别更加明显：“ref class”是第一个类，“value class”是第二个类。C#使用的关键字“class”和“struct”只是必须学习的东西。

基元值类型或结构类型的每个变量或字段都持有该类型的唯一实例，包括其所有字段（公共和私有）。相比之下，引用类型的变量或字段可能为空，或者可能引用存储在其他位置的对象，其他引用也可能存在。结构的字段将存储在与该结构类型的变量或字段相同的位置，该变量或字段可能位于堆栈上，也可能是另一个堆对象的一部分。

创建原始值类型的变量或字段将使用默认值创建它；创建结构类型的变量或字段将创建一个新实例，以默认方式创建其中的所有字段。创建引用类型的新实例将首先以默认方式创建其中的所有字段，然后根据类型运行可选的附加代码。

将一个基本类型的变量或字段复制到另一个将复制值。将结构类型的一个变量或字段复制到另一个变量将前一个实例的所有字段（公共和私有）复制到后一个实例。将一个引用类型的变量或字段复制到另一个将导致后者引用与前者相同的实例（如果有的话）。

需要注意的是，在某些语言（如C++）中，类型的语义行为与它的存储方式无关，但在.NET中则不是这样。如果一个类型实现了可变值语义，则将该类型的一个变量复制到另一个变量会将第一个实例的财产复制到第二个实例所引用的另一个实例，并且使用第二个实例的成员来变异它将导致第二个例子被改变，而不是第一个。如果一个类型实现了可变的引用语义，那么将一个变量复制到另一个变量并使用第二个变量的成员来变异对象将影响第一个变量所引用的对象；具有不可变语义的类型不允许变异，因此复制是创建新实例还是创建对第一个实例的另一个引用在语义上无关紧要。

在.NET中，值类型可以实现上述任何语义，前提是它们的所有字段都可以这样做。然而，引用类型只能实现可变引用语义或不可变语义；具有可变引用类型字段的值类型限于实现可变引用语义或奇怪的混合语义。

在.NET中，结构和类声明区分引用类型和值类型。

传递引用类型时，实际存储的只有一个。访问实例的所有代码都在访问同一个实例。

传递值类型时，每个值类型都是副本。所有代码都在自己的副本上运行。

这可以用一个例子来说明：

struct MyStruct 
{
    string MyProperty { get; set; }
}

void ChangeMyStruct(MyStruct input) 
{ 
   input.MyProperty = "new value";
}

...

// Create value type
MyStruct testStruct = new MyStruct { MyProperty = "initial value" }; 

ChangeMyStruct(testStruct);

// Value of testStruct.MyProperty is still "initial value"
// - the method changed a new copy of the structure.

对于一个班级来说，这将是不同的

class MyClass 
{
    string MyProperty { get; set; }
}

void ChangeMyClass(MyClass input) 
{ 
   input.MyProperty = "new value";
}

...

// Create reference type
MyClass testClass = new MyClass { MyProperty = "initial value" };

ChangeMyClass(testClass);

// Value of testClass.MyProperty is now "new value" 
// - the method changed the instance passed.

类可以是空的-引用可以指向空。

结构是实际值-它们可以为空，但决不能为空。因此，结构总是有一个没有参数的默认构造函数——它们需要一个“起始值”。

从微软在类和结构之间的选择。。。

根据经验，框架中的大多数类型应该是类。然而，在某些情况下值类型的特性使其更适合使用结构。✓ 考虑结构而不是类：如果该类型的实例很小并且通常很短，或者通常嵌入在其他对象中。X避免结构，除非该类型具有以下所有属性特点：它在逻辑上表示单个值，类似于原始类型（int、double等）。它的实例大小小于16字节。它是不可变的。（无法更改）它不必经常装箱。

每个项目的简短摘要：

仅限班级：

可以支持继承是引用（指针）类型引用不能为空每个新实例的内存开销

仅结构：

无法支持继承是值类型按值传递（如整数）不能有空引用（除非使用了Nullable）每个新实例没有内存开销-除非“装箱”

类和结构：

复合数据类型通常用于包含一些具有某种逻辑关系的变量吗可以包含方法和事件可以支持接口