String 是一个奇怪的引用类型

开局两张图，内容全靠刷！

马甲哥看到这样的现象，一开始还是有点懵逼。

这个例子，string是纯粹的引用类型，但是在函数传值时类似于值传递；
我之前给前后示例的内存变化图吧：

根因就是大多数高级语言都把String对象设计成不可变的:由一个字符串拘留池管理字符串面值。

对字符串的修改，会导致产生新的字符串对象空间。

为什么被设计成不可变。

这个我还真的搜索了一下：

总结起来：

string 被设计为不可变，是因为 string在现代任何语言中，使用很频繁：多个对象可能都是这个字符面值，然后就设计一个Pool来存储string。

这个拘留池生命周期伴随整个进程，不受gc控制。
这是普遍做法。

既然pool里面共享字符面值，修改的时候又不能影响到别人，那就只好重新拷贝产生新的字符面值。

C#提供了String.Intern和String.IsInterned接口，交给程序员自己维护内部的池。
string.Intern的工作方式很好理解，你将一个字符串作为参数使用这个接口，如果这个字符串已经存在池中，就返回这个存在的引用；如果不存在就将它加入到池中，并返回引用。
String.IsInterned
IsInterned，正如它的名字，判断一个字符串是不是已经在内部池中。如果传入的字符串已经在池中，则返回这个字符串对象的引用，如果不在池中，返回null。

不可变资源消除了多线程中的资源竞争，对于文本的修改都会导致创建新空间，因此在多个线程同时访问文本无需设置锁，这对频繁使用的string开发者很友好。
字符串不变性对于[在哈希表中使用字符串作为键]很友好，需要计算哈希值的对象必须是不可变的，以确保哈希值不变。

一个有意思的现象是： String虽然是引用类型，字符串对比时却表现的像值类型

string str1="FooFoo";
string strFoo="Foo";
string str2= strFoo + strFoo;
return str1 == str2;           //  返回true

正因为String不可变性 & Pool的机制，频繁变更字符串，会在池中产生很多临时的不用的字符串，所以我们有了缓解的套路：

StringBuilder

代表可变的字符串，一旦修改不会尝试创建新对象，而是动态扩展内存

var ss = new StringBuilder("Hello ", 100);  // 初次字符容量100
ss.Append("www.cnblogs.com");
Console.WriteLine(ss.ToString());  // ss打印结果为：Hello www.cnblogs.com

Span

Span该出圈了,
Span提供对内存连续区域的类型安全访问，该内存可以位于堆、堆栈、甚至是非托管内存；
与String不可变性相关的是ReadOnlySpan(值类型), 提供内存数据的只读视图，每次切片不会产生新对象，而是在存在的连续空间上创造新的视图。

var text = "https://www.cnblogs.com/JulianHuang/p/14817621.html";
ReadOnlySpan<char> nameSpan = text.AsSpan(8, 15);
nameSpan = nameSpan.Slice(4,7);
Console.WriteLine(nameSpan.ToString());

总结输出

今天从两张诡异的编程图聊到了String的不可变性、内存分布，延伸谈到了

String不可变性的设计设计考量(有先射箭再画靶的嫌疑☺️)
针对频繁修改的String如何做内存优化

不是自吹，文章内容在业界相当硬核(多次被各大佬/CSDN点赞/转载)，阅读/关注不是目的，更希望得到更多的阅读反馈、互相促进认知的提升(相当真诚☺️)。

原文地址：https://www.cnblogs.com/JulianHuang/p/14830235.html

String 是一个奇怪的引用类型

为什么被设计成不可变。

StringBuilder

Span

总结输出

相关推荐