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

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

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

需要注意的是，在某些语言（如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.

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

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

类中声明的事件通过锁（this）自动锁定其+=和-=访问，以使其线程安全（静态事件根据类的类型锁定）。结构中声明的事件没有自动锁定其+=和-=访问。结构的锁（this）无法工作，因为只能锁定引用类型表达式。创建结构实例不能导致垃圾收集（除非构造函数直接或间接创建引用类型实例），而创建引用类型的实例会导致垃圾收集。结构始终具有内置的公共默认构造函数。类DefaultConstructor{静态空隙Eg（）{直接yes=新的直接（）；//始终编译正常InDirect可能=新InDirect（）；//如果构造函数存在且可访问，则编译//...}}这意味着结构总是可实例化的，而类可能不是，因为它的所有构造函数都可以是私有的。类不可实例化{private NonInstantiable（）//确定{}}结构Direct{private Direct（）//编译时错误{}}结构不能有析构函数。析构函数只是对象的重写。伪装完成，结构作为值类型，不受垃圾收集的影响。结构Direct{~Direct（）｛｝//编译时错误}InDirect类{~InDirect（）｛｝//编译正常}~Indirect（）的CIL如下所示：.method家族hidebysig虚拟实例无效Finalize（）cil已管理{// ...}//方法结束间接：：Finalize结构是隐式密封的，类不是。结构不能是抽象的，类可以。结构不能在其构造函数中调用：base（），而没有显式基类的类可以。结构不能扩展另一个类，类可以。结构不能声明类可以声明的受保护成员（例如，字段、嵌套类型）。结构不能声明抽象函数成员，抽象类可以。结构不能声明虚函数成员，类可以。结构不能声明密封的函数成员，类可以。结构不能声明重写函数成员，类可以。此规则的一个例外是，结构可以重写System.Object的虚拟方法，即Equal（）、GetHashCode（）和ToString（）。

结构和类别之间的差异：

结构是值类型，而类是引用类型。结构存储在堆栈上，而类存储在堆值类型将其值保存在声明它们的内存中，但引用类型保存对内存中对象的引用。值类型在作用域丢失后立即销毁，而引用类型仅在作用域丢失后销毁变量。该对象随后被垃圾收集器销毁。将结构复制到另一个结构时，该结构的新副本创建。修改的结构不会影响其他结构。将一个类复制到另一个类时，它只复制参考变量。两个引用变量都指向堆上的同一对象。对一个变量所做的更改将影响另一个参考变量。结构不能有析构函数，但类可以有析构器。结构不能具有显式无参数构造函数，而类可以。结构不支持继承，但类支持支持从接口继承。结构为密封型。

结构是实际值-它们可以为空，但不能为空

这是正确的，但是也要注意，从.NET2开始，结构支持Nullable版本，C#提供了一些语法糖，使其更易于使用。

int? value = null;
value  = 1;

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

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

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

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

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