这是个字面量的问题,和引用类型几乎没什么关系。
的确就是编译器的行为,考虑一下编译器怎么处理字面量?
如果是简单的值类型,譬如说1、5、2000之类,那就直接编译成对应的代码就完了,也就是说字面量直接插在对应出现的地方。
但是对于引用类型,我们需要放一个引用在那里,因为最底层只能是加载引用到堆栈。那么我们需要先创建一个对象实例出来,然后才能得到引用。然后很自然的我们就会想到,字符串这种不可变的对象,完全没有必要对每一个字面量都创建一个新的实例,如果两个字面量是一模一样的字符串,那么我当然可以直接用同一个字符串实例就好了……
所以编译器在编译的时候,发现两个一样的字面量字符串,就会使用同一个实例……
本质上就是这么个事情。
其实这个牵涉到一个编译器行为的问题,因为字符串从字面量初始化是编译器内建支持并且有用CLI规定专用IL指令来实现的。所以要看最后的结果,最好是根据生成的IL指令来判断。
另外提一个点:其实字符串的intern是几乎要手动通过String.Intern操作的,实际上自动的所谓”Intern“只能存在这种编译器有优化进行字符串合并的情况下,生成了一些优化的代码,给了你一种会自动Intern的错觉。除开这个情况,String和其他引用类型的行为是没有什么差距的,直接去赋值会导致引用指向同一个对象。
例子:(Release)
第一个与第三个例子都被编译器成功识别,转换为同一个字面量的ldstr,而第二个就没那么幸运了,老老实实做了Concat最后再存储回去。第四个例子不用说,记住String不会自动Intern。