字符串不是值类型，因为它们可能很大，需要存储在堆上。值类型(在CLR的所有实现中)存储在堆栈上。堆栈分配字符串会破坏各种各样的事情:32位的堆栈只有1MB, 64位的堆栈只有4MB，你必须装箱每个字符串，导致复制惩罚，你不能实习字符串，内存使用会膨胀，等等……

(编辑:增加了关于值类型存储是实现细节的说明，这导致了这种情况，即我们有一个具有值语义的类型没有从System.ValueType继承。由于本。)

字符串不是值类型，因为它们可能很大，需要存储在堆上。值类型(在CLR的所有实现中)存储在堆栈上。堆栈分配字符串会破坏各种各样的事情:32位的堆栈只有1MB, 64位的堆栈只有4MB，你必须装箱每个字符串，导致复制惩罚，你不能实习字符串，内存使用会膨胀，等等……

(编辑:增加了关于值类型存储是实现细节的说明，这导致了这种情况，即我们有一个具有值语义的类型没有从System.ValueType继承。由于本。)

并不像字符串由字符数组组成那么简单。我把字符串看作字符数组[]。因此，它们位于堆上，因为引用内存位置存储在堆栈上，并且指向数组在堆上内存位置的开始。字符串大小在分配之前是不知道的…非常适合堆。

这就是为什么字符串是不可变的，因为当你改变它时，即使它的大小相同，编译器也不知道，它必须分配一个新的数组，并将字符分配到数组中的位置。如果你认为字符串是语言保护你不需要动态分配内存的一种方式，这是有道理的(像编程一样阅读C语言)

它不是一个值类型，因为如果它是一个值类型，并且它的值每次传递给方法或从方法返回时都必须复制，那么性能(空间和时间!)会很糟糕。

它有价值语义来保持世界的理智。你能想象编码有多困难吗

string s = "hello";
string t = "hello";
bool b = (s == t);

设b为假?想象一下编写任何应用程序是多么困难。

简单地说，任何具有一定大小的值都可以被视为值类型。

事实上，许多人提到的堆栈和内存是关于值类型和基本类型的，因为它们必须适合微处理器中的寄存器。如果它占用的比特数超过了一个寄存器....的比特数，那么您就不能向堆栈中插入或从堆栈中取出某个东西例如，这些指令是“pop eax”——因为eax在32位系统上是32位宽的。

浮点基元类型由80位宽的FPU处理。

这早在OOP语言混淆原始类型定义之前就已经确定了，我认为值类型是专门为OOP语言创建的术语。