String 是一种引用类型，尽管它具有值类型的大部分特征，例如不可变和重载 == 以比较文本而不是确保它们引用同一个对象。
那么为什么字符串不只是一个值类型呢？
【问题讨论】：
is 测试），答案可能是“出于历史原因”。复制的性能不是原因，因为不需要物理复制不可变对象。现在，如果不破坏实际使用 is 检查（或类似约束）的代码，就不可能进行更改。
std::string 表现得像一个集合的决定是一个老错误，不能立即修复。
标签： c# string clr value-type reference-type
字符串是具有值语义的引用类型。这种设计是一种折衷，它允许某些性能优化。
引用类型和值类型之间的区别基本上是语言设计中的性能权衡。引用类型在构造和销毁以及垃圾收集方面有一些开销，因为它们是在堆上创建的。另一方面，值类型在赋值和方法调用上有开销（如果数据大小大于指针），因为整个对象被复制到内存中，而不仅仅是一个指针。因为字符串可以（并且通常）比指针的大小大得多，所以它们被设计为引用类型。此外，在编译时必须知道值类型的大小，而字符串并非总是如此。
但字符串具有值语义，这意味着它们是不可变的，并且按值（即字符串的逐个字符）进行比较，而不是通过比较引用。这允许某些优化：
Interning 意味着如果多个字符串已知相等，编译器可以只使用单个字符串，从而节省内存。此优化仅在字符串不可变时有效，否则更改一个字符串会对其他字符串产生不可预知的结果。
字符串文字（在编译时已知）可以被编译器实习并存储在内存的特殊静态区域中。这节省了运行时的时间，因为它们不需要被分配和垃圾收集。
不可变字符串确实会增加某些操作的成本。例如，您不能就地替换单个字符，您必须为任何更改分配一个新字符串。但与优化带来的好处相比，这只是一个很小的成本。
值语义有效地为用户隐藏了引用类型和值类型之间的区别。如果一个类型具有值语义，那么对于用户来说，该类型是值类型还是引用类型都无关紧要 - 它可以被视为实现细节。
【讨论】：
string 类型需要有一个固定大小的 char 缓冲区，这既限制又非常低效。
这是对一个老问题的较晚答案，但所有其他答案都没有抓住重点，即 .NET 直到 2005 年的 .NET 2.0 才有泛型。
String 是引用类型而不是值类型，因为确保字符串能够以最有效的方式存储在非泛型集合中对 Microsoft 至关重要，例如System.Collections.ArrayList.
在非泛型集合中存储值类型需要对类型object 进行特殊转换，这称为装箱。当 CLR 将值类型装箱时，它会将值包装在 System.Object 中并将其存储在托管堆中。
从集合中读取值需要逆向操作，称为拆箱。
装箱和拆箱都有不可忽略的成本：装箱需要额外分配，拆箱需要类型检查。
一些答案错误地声称string 永远不可能实现为值类型，因为它的大小是可变的。实际上，将字符串实现为包含两个字段的固定长度数据结构很容易：字符串长度的整数和指向 char 数组的指针。您还可以在此基础上使用小字符串优化策略。
如果泛型从一开始就存在，我猜将字符串作为值类型可能是一个更好的解决方案，它具有更简单的语义、更好的内存使用和更好的缓存局部性。仅包含小字符串的 List<string> 可能是单个连续的内存块。
【讨论】：
string 只包含它的大小和指向char 数组的指针，所以它不会是一个“巨大的值类型”。但这是这个设计决定的一个简单的相关原因。谢谢！
_firstChar 字段不是指针，它是一个字符。其余字符（如果有）直接位于其后。但是，是的，很多魔法正在发生。
简单来说，任何具有确定大小的值都可以被视为值类型。
【讨论】：
字符串不是值类型，因为它们可能很大，并且需要存储在堆上。值类型（在迄今为止的所有 CLR 实现中）存储在堆栈中。堆栈分配字符串会破坏各种事情：堆栈对于 32 位只有 1MB，对于 64 位只有 4MB，你必须对每个字符串进行装箱，会产生复制惩罚，你不能实习字符串和内存使用会气球，等等......
（编辑：添加了关于值类型存储作为实现细节的说明，这导致我们有一个类型的值语义不是从 System.ValueType 继承的。感谢 Ben。） p>
【讨论】：
String 不是可变大小。添加到它时，实际上是在创建另一个 String 对象，并为其分配新内存。
Int32 始终为 4 个字节，因此编译器在您定义字符串变量时分配 4 个字节。当遇到int 变量（如果它是值类型）时，编译器应该分配多少内存？了解当时尚未分配该值。
Int32 始终是 4 个字节，因此编译器在您定义 int 变量时分配 4 个字节。当遇到string 变量（如果它是值类型）时，编译器应该分配多少内存？了解当时尚未分配该值。
冒着又一次神秘的否决票的风险......许多人提到堆栈和内存与值类型和原始类型有关的事实是因为它们必须适合微处理器中的寄存器。如果它占用的位多于寄存器的位，则您不能将某些东西推入/弹出堆栈……指令是，例如“pop eax”——因为 eax 在 32 位系统上是 32 位宽。
浮点基本类型由 80 位宽的 FPU 处理。
这一切早在出现一种 OOP 语言来混淆原始类型的定义之前就已经决定了，我认为值类型是专门为 OOP 语言创建的术语。
【讨论】：
【讨论】：
不只是字符串由字符数组组成那么简单。我将字符串视为字符数组 []。因此它们在堆上，因为参考内存位置存储在堆栈上，并指向堆上数组内存位置的开头。字符串大小在分配之前是未知的……非常适合堆。
这就是为什么一个字符串是不可变的，因为当你改变它时，即使它的大小相同，编译器也不知道，必须分配一个新数组并将字符分配给数组中的位置。如果您将字符串视为语言保护您免于动态分配内存的一种方式，这是有道理的（像编程一样阅读 C）
【讨论】：
实际上，字符串与值类型几乎没有相似之处。首先，并非所有值类型都是不可变的，您可以随意更改 Int32 的值，它仍然是堆栈上的相同地址。
字符串是不可变的有一个很好的理由，它与它是引用类型无关，但与内存管理有很大关系。当字符串大小发生变化时创建一个新对象比在托管堆上转移东西更有效。我认为您将值/引用类型和不可变对象概念混合在一起。
至于“==”：就像你说的“==”是一个运算符重载，再次实现它是为了让框架在处理字符串时更有用。
【讨论】：
不仅字符串是不可变的引用类型。 还有多播代表。 这就是为什么写作是安全的
protected void OnMyEventHandler()
{
delegate handler = this.MyEventHandler;
if (null != handler)
{
handler(this, new EventArgs());
}
}
我认为字符串是不可变的，因为这是使用它们并分配内存的最安全方法。 为什么它们不是值类型？以前的作者在堆栈大小等方面是正确的。我还要补充一点，当您在程序中使用相同的常量字符串时，将字符串设为引用类型可以节省程序集大小。如果你定义
string s1 = "my string";
//some code here
string s2 = "my string";
有可能“我的字符串”常量的两个实例只会在您的程序集中分配一次。
如果您想像通常的引用类型一样管理字符串，请将字符串放在新的 StringBuilder(string s) 中。或者使用 MemoryStreams。
如果您要创建一个库，您希望在函数中传递大量字符串，请将参数定义为 StringBuilder 或 Stream。
【讨论】：
你怎么知道string 是一个引用类型？我不确定它的实施方式是否重要。 C# 中的字符串是不可变的，因此您不必担心这个问题。
【讨论】：
它不是一个值类型，因为如果它是一个值类型，性能（空间和时间！）会很糟糕，并且每次传递给方法或从方法返回时都必须复制它的值。
它具有保持世界理智的价值语义。你能想象如果编码会有多困难吗
string s = "hello";
string t = "hello";
bool b = (s == t);
将b 设置为false？想象一下，几乎任何应用程序的编码都是多么困难。
【讨论】：
new String("foo"); 和另一个new String("foo") 可以在同一个参考文献中进行评估，这不是你所期望的@ 987654326@运营商做。 （或者你能告诉我一个我想比较参考文献的案例吗？）
ReferenceEquals(x, y) 是一种快速测试，您可以立即返回 0，当与您的空测试混合时，甚至不会增加任何工作。
string 的默认值可以表现为空字符串（因为它在 pre- .net 系统）而不是作为空引用。实际上，我自己的偏好是有一个值类型String，其中包含一个引用类型NullableString，前者的默认值等于String.Empty，后者的默认值为null，并且特殊的装箱/拆箱规则（这样装箱默认值 NullableString 将产生对 String.Empty 的引用）。
此外，字符串的实现方式（每个平台不同）以及何时开始将它们拼接在一起。就像使用StringBuilder。它分配一个缓冲区供你复制，一旦你到达终点，它会为你分配更多的内存，希望如果你做一个大的连接性能不会受到阻碍。
也许 Jon Skeet 可以在这里帮忙？
【讨论】：